|
СТ |
Proving Correctness of Timed Concurrent Constraint Programs |
2002 |
de Boer F., Gabbrielli M., Meo M. C. |
|
|
|
Lecture Notes in Computer Science |
09.05.2002 |
|
СТ |
A Transformation System for CLP with Dynamic Scheduling and CCP |
1997 |
Etalle S., Gabbrielli M., Marchiori E. |
|
|
|
SIGPLAN Notices |
27.01.1998 |
|
СТ |
Semantics and Expressive Power of a Timed Concurrent Constraint Language |
1997 |
de Boer F., Gabbrielli M., Meo M. C. |
|
|
|
Lecture Notes in Computer Science |
25.11.1997 |
|
СТ |
Proving Correctness of Constraint Logic Programs with Dynamic Scheduling |
1996 |
de Boer F. S., Gabbrielli M., Palamidessi C. |
Lecture Notes in Computer Science |
|
|
Static Analysis |
04.10.1996 |
|
СТ |
A Transformation System for Modular CLP Programs |
1995 |
Etalle S., Gabbrielli M. |
|
|
|
Logic Programming: Proc. of the Twelfth Intern. Conf. |
13.05.1996 |
|
СТ |
Modeling Real-Time in Concurrent Constraint Programming |
1995 |
de Boer F. S., Gabbrielli M. |
|
|
|
Logic Programming: Proc. of the 1995 Intern. Symp. |
25.04.1996 |
|
СТ |
Declarative Interpretations Reconsidered |
1994 |
Apt K. R., Gabbrielli M. |
|
|
|
Logic Programming: Proc. of the Eleventh Intern. Conf. |
31.01.1996 |
|
СТ |
Confluence in Concurrent Constraint Programming |
1995 |
Falaschi M., Gabbrielli M., Marriott K., Palamidessi C. |
Lecture Notes in Computer Science |
|
|
Algebraic Methodology and Software Technology |
13.09.1995 |
|
СТ |
A Simple Semantics for Logic Programming Languages with Dynamic Scheduling |
1995 |
Marriot K., Falaschi M., Gabbrielli M., Palamidessi C. |
|
|
|
Australian Computer Science Communications |
12.07.1995 |
|
СТ |
Observational Equivalences for Logic Programs |
1992 |
Gabbrielli M., Levi G., Meo M. C. |
|
|
|
Logic Programming: Proc./ Joint Intern. Conf. and Symp. on Logic Programming |
15.12.1994 |
|
СТ |
Modeling Answer Constraints in Constraint Logic Programs |
1991 |
Gabbrielli M., Levi G. |
|
|
|
Logic Programming: Proc./Eighth Intern. Conf. |
19.09.1994 |
|
СТ |
New Semantic Tools for Logic Programming |
1993 |
Gabbrielli M., Levi G. |
|
|
|
Lecture Notes in Computer Science |
11.06.1993 |
|
СТ |
Unfolding and Fixpoint Semantics of Concurrent Constraint Logic Programs |
1992 |
Gabbrielli M., Levi G. |
|
|
|
Theoretical Computer Science |
17.11.1992 |
|
СТ |
On the Semantics of Logic Programs |
1991 |
Gabbrielli M., Levi G. |
|
|
|
Lecture Notes in Computer Science |
11.09.1991 |
