|
П |
A Survey on Attribute Grammars. Part III. Classified Bibliography |
1985 |
Deransart P., Jourdan M., Lorho B. |
|
|
INRIA |
|
01.05.2002 |
|
М |
Les Grammeires Attribuees: Implantation, Applications, Optimisations |
1984 |
Jourdan M. |
|
|
Univ. Paris VII |
|
18.04.2002 |
|
П |
Integrating Formal Verification Methods of Quantitative Real-Time Properties into a Development Environment for Robot Controllers |
1995 |
Jourdan M. |
|
|
INRIA |
|
06.12.1997 |
|
СТ |
Dynamic Attribute Grammars |
1996 |
Parigot D., Roussel G., Jourdan M., Duris E. |
|
|
|
Lecture Notes in Computer Science |
20.11.1996 |
|
СТ |
Static Timing Analysis of Real-Time Systems |
1995 |
Jourdan M., Maraninchi F. |
|
|
|
SIGPLAN Notices |
25.12.1995 |
|
СТ |
Coupling Evaluators for Attribute Coupled Grammars |
1994 |
Roussel G., Parigot D., Jourdan M. |
|
|
|
Lecture Notes in Computer Science |
27.04.1994 |
|
СТ |
Specification and Implementation of Grammar Couplings using Attribute Grammars |
1993 |
Jourdan M., Le Bellec C., Parigot D., Roussel G. |
|
|
|
Lecture Notes in Computer Science |
22.09.1993 |
|
СТ |
Embedding Daclarative Subprograms into Imperative Constructs |
1993 |
Jourdan M., Lagnier F., Maraninchi F., Raymond P. |
|
|
|
Lecture Notes in Computer Science |
22.09.1993 |
|
СТ |
Verifying quantitative real-time properties of synchronous programs |
1993 |
Jourdan M., Maraninchi F., Olivero A. |
|
|
|
Lecture Notes in Computer Science |
20.08.1993 |
|
СТ |
Application Development with the FNC-2 Attribute Grammar System |
1990 |
Jourdan M., Parigot D. |
|
|
|
Lecture Notes in Computer Science |
15.03.1991 |
|
СТ |
Evaluation Recursive Grammaires Attribuees deux Impalantations |
1985 |
Jourdan M. |
|
|
|
Информатика-85 |
14.02.1991 |
|
СТ |
Recursive Evaluation of Attrubute Grammars: Two Implementations |
1985 |
Jourdan M. |
|
|
|
Информатика-85 |
14.02.1991 |
|
СТ |
Application Development with the FNC-2 Attrubute Grammar System |
1990 |
Jourdan M., Parigot D. |
|
|
|
Compiler Compilers |
14.02.1991 |
