|
СТ |
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 |
|
СТ |
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 |
|
СТ |
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 |
|
СТ |
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 |
|
СТ |
An Algorithm deciding functional equivalence in a new class of program schemes |
1990 |
Sabelfeld V. K. |
|
|
|
Theoretical Computer Science |
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 |
|
СТ |
Tree equivalence of linear recursive schemata is polynomial-time decidable |
1981 |
Sabelfeld V. K. |
|
|
|
Information Processing Letters |
25.01.1994 |
|
СТ |
The logic-termal quivalence is polynomial-time decidable |
1980 |
Sabelfeld V. K. |
|
|
|
Information Processing Letters |
25.01.1994 |
|
СТ |
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 |
