Вы здесь

Sabelfeld V. K.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ SOKRAT: An Environment for Safe and Efficient Programming 1993 Kasyanov V. N., Kuzminov T. V., Pokrovsky S. B., Pottosin I. V., Sabelfeld V. K., Shelekhov V. I., Stepanov G. G., Zakharov L. I. CSAM 93: Abstracts/Intern. Congress on Computer Systems and Applied Mathematics 03.09.1993
СТ Aequivalente Transformationen fuer Flussdiagramme 1978 Sabelfeld V. K. Acta Informatica 24.01.1994
СТ Procedure implementation in the multi-language translator 1977 Sabelfeld V. K. Lecture Notes in Computer Science 24.01.1994
СТ An Algorithm deciding functional equivalence in a new class of program schemes 1990 Sabelfeld V. K. Theoretical Computer Science 25.01.1994
СТ Analysis of some semantic properties for programs of the applicative language AL 1993 Sabelfeld V. K. Lecture Notes in Computer Science 25.01.1994
СТ On Equivalent Transformation of Recursion Schemes 1991 Sabelfeld V. K. INRIA Informatika 91 25.01.1994
СТ How to take into account the properties of operations in program flow analysis 1987 Sabelfeld V. K. Program Spesification and Transformation 25.01.1994
П Program Flow Analysis - Accounting Operation Properties 1986 Sabelfeld V. K. Univ. Paris 25.01.1994
СТ The logic-termal quivalence is polynomial-time decidable 1980 Sabelfeld V. K. Information Processing Letters 25.01.1994
СТ Tree equivalence of linear recursive schemata is polynomial-time decidable 1981 Sabelfeld V. K. Information Processing Letters 25.01.1994
СТ Formal Methods in Program Analysis and Transformations 1995 Kasyanov V. N., Sabelfeld V. K. Intern. Conf. AMCA-95: Advanced Mathematics, Computations and Applications. Abstracts A-Kor 04.07.1995
СТ The Tree Equivalence Problem for Linear Recursion Schemes 1996 Sabelfeld V. K. Lecture Notes in Computer Science 15.02.1997
СТ Simple Semantic Analysis Problems for Functional Programs 1996 Sabelfeld V. K., Sabelfeld A. Joint Bull. of NCC and IIS 12.02.1998