|
П |
Proofs of Partial Correctness for Attribute Grammars and Recursive Procedures |
1984 |
Courcelle B., Deransart P. |
|
|
INRIA |
Lecture Notes in Computer Science |
01.05.2002 |
|
П |
A Survey on Attribute Grammars. Part III. Classified Bibliography |
1985 |
Deransart P., Jourdan M., Lorho B. |
|
|
INRIA |
|
01.05.2002 |
|
СТ |
Using Modes to Ensure Subject Reduction for Typed Logic Progranms with Subtyping |
2000 |
Smaus J. -G., Fages F., Deransart P. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
31.01.2001 |
|
СТ |
Towards a Language for CLP Choice-Tree Visualization |
2000 |
Aillaud C., Deransart P. |
|
|
|
Lecture Notes in Computer Science |
16.11.2000 |
|
СТ |
NSTO Programs (Not Subject To Occur-check) |
1991 |
Deransart P., Ferrand G., Teguia M. |
|
|
|
Logic Programmin: Proc./1991 Intern. Symp. |
04.01.1995 |
|
СТ |
Proof Method of Partial Correctness and Weak Completeness for Normal Logic Programs |
1992 |
Ferrand G., Deransart P. |
|
|
|
Logic Programming: Proc./ Joint Intern. Conf. and Symp. on Logic Programming |
15.12.1994 |
|
СТ |
Software Formal Specification by Logic Programming: The example of Standard Prolog |
1992 |
Ed-Dbali A., Deransart P. |
|
|
|
Lecture Notes in Artificial Intelligence |
04.10.1992 |
|
П |
Proof Methods of Declarative Properties of Definite Programs |
1990 |
Deransart P. |
|
|
INRIA |
|
23.08.1991 |
|
СТ |
Programmation logique et Grammaires d attributs |
1985 |
Deransart P., Maluszynski J. |
|
|
|
Информатика-85 |
14.02.1991 |
|
СТ |
Relating Logic Programs and Attribute Grammars |
1985 |
Deransart P., Maluszinski J. |
|
|
|
Информатика-85 |
14.02.1991 |
