|
П |
Language-Based Document Pricessing |
1992 |
Arnon D. S., Attali I., Franchi-Zannettacci P. |
|
|
INRIA |
|
12.04.2011 |
|
СТ |
From a Specification to an Equivalence Proof in Object-Oriented Parallelism |
1999 |
Attali I., Caromel D., Lippi S. |
|
|
|
Lecture Notes in Computer Science |
13.05.1999 |
|
СТ |
Semantic-Based Visualization for Parallel Object-Oriented Programming |
1996 |
Attali I., Caromel D., Ehmety S. O., Lippi S. |
|
|
|
SIGPLAN Notices |
20.02.1997 |
|
СТ |
Optimizing Sisal Programs: A Formal Approach |
1996 |
Attali I., Caromel D., Guider R., Wendelborn A. L. |
Lecture Notes in Computer Science |
|
|
Euro-Par 96 Parallel Processing |
11.10.1996 |
|
СТ |
Unification-Free Execution of Typol Programs by Semantic Attribute Evaluation |
1988 |
Attali I., Franchi-Zannettacci P. |
|
|
|
Logic Programming: Proc./Fifth Intern. Conf. and Symp. |
29.09.1994 |
|
СТ |
Incremental Evaluation of Natural Semantics Specifications |
1992 |
Attali I., Chazarain J., Gilette S. |
|
|
|
Lecture Notes in Computer Science |
13.10.1992 |
|
СТ |
Functional Evaluation of Natural Semantics Specifications |
1990 |
Attali I., Chazarain J. |
|
|
|
BIGRE |
16.02.1991 |
