Papers of Maria Chiara Meo

Selected Papers of Maria Chiara Meo

2008

M. Gabbrielli and M. C. Meo. A compositional Semantics for CHR. ACM Transactions on Computational Logic (TOCL). To appear.
S. Bistarelli, M. Gabbrielli, M. C. Meo and F. Santini. Timed Soft Concurrent Constraint Programs. In Proc. of Coordination Models and Languages, 10^th International Conference, (COORDINATION 2008). Lecture Notes in Computer Science, 5052:(50—66). Springer-Verlag, Berlin, 2008.

P. Tacchella, M. Gabbrielli and M. C. Meo. Unfolding in CHR with propagation rules. In Proc. of the 9^th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP 07): (179—186). ACM Press, 2007.

M. Gabbrielli, M. C. Meo and P. Tacchella. A compositional Semantics for CHR with propagation rules In Proc. of the 3^rd Workshop on Constraint Handling Rules (CHR 2006): (93—107)

G. Delzanno, M. Gabbrielli, and M. C. Meo: A compositional semantics for CHR. In Proc. of the 7^th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP 05): (209—217). ACM Press, 2005.

F.S. de Boer, M. Gabbrielli, and M.C. Meo. A Timed Linda Language and its Denotational Semantic. Fundamenta Informaticae, 63 (4): 309 – 330, 2004.
F.S. de Boer, M. Gabbrielli, and M. C. Meo. Proving Correctness of Timed Constraint Programs. ACM Transactions on Computational Logic (TOCL). 5 (4): 706 - 731, 2004

G. Delzanno, M. Gabbrielli, and M. C. Meo. Compositional Verification of Infinite State Systems. Proc. of Logic Programming, 19^th International Conference,(ICLP 2003), Invited Talk, Lecture Notes in Computer Science, 2916:(47—48). Springer-Verlag, Berlin, 2003.

F.S. de Boer, M. Gabbrielli, and M. C. Meo. Proving Correctness of Timed Concurrent Constraint Programs. In Proc. of the 5^th International Conference on Foundations of Software Science and Computation Structures (FOSSACS 02). Lecture Notes in Computer Science, 2303: (37—51), Springer-Verlag, Berlin, 2002.

S. Etalle, M. Gabbrielli, and M. C. Meo. Transformations of CCP programs. ACM Transactions on Programming Languages and Systems (TOPLAS), 23 (3): 304 – 395, 2001.
M. Comini, G. Levi, and M. C. Meo. A Theory of Observables for Logic Programs. Information and Computation, 169 (1): 23--80, 2001.
F.S. de Boer, M. Gabbrielli, and M. C. Meo. A Temporal Logic for reasoning about Timed Concurrent Constraint Programs. In Proc. of the 8^th International Symposium on Temporal Representation and Reasoning, TIME 01: (227—233). IEEE Press, 2001.
F.S. de Boer, M. Gabbrielli, and M. C. Meo. A Denotational Semantics for a Timed Linda Language. In Proc. of the 3^rd International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP 01): (28—36). ACM Press, 2001.

F.S. de Boer, M. Gabbrielli, and M.C. Meo. A Timed Concurrent Constraint Language. Information and Computation, 161 (1): 45--83, 2000.
F.S. de Boer, M. Gabbrielli, and M. C. Meo. A Timed Linda Language. In Proc. 4th Conference on Coordination Models and Languages (COORDINATION 2000), Lecture Notes in Computer Science, 1906: (299—304). Springer-Verlag, Berlin, 2000.

M. Comini, G. Levi, M. C. Meo, and G. Vitello. Abstract Diagnosis. Journal of Logic Programming, 39 (1-3): 43--93, 1999.
M. Comini and M. C. Meo. Compositionality properties of SLD-derivations. Theoretical Computer Science, 211 (1-2):275--309, 1999.
M. C. Meo. On the Expressiveness of Concurrent Constraint Languages. In Proc of the Workshop on Object-Oriented Technology (ECOOP'99), Lecture Notes in Computer Science, 1743: (261—265). Springer-Verlag, Berlin, 1999.

S. Etalle, M. Gabbrielli, and M.C. Meo. Transformation of CCP programs. In Proc. of 9th International Conference on Concurrency Theory (CONCUR '98), Lecture Notes in Computer Science, 1466: (348—365). Springer-Verlag, Berlin, 1998.

F.S. de Boer, M. Gabbrielli, and M.C. Meo. Semantics and expressive power of a timed concurrent constraint language. In G. Smolka. editor, Proc. Third Int'l Conf. on Principles and Practice of Constraint Programming (CP 97), Lecture Notes in Computer Science. 1330: (47—61). Springer-Verlag, Berlin, 1997.

A. Bossi, M. Bugliesi, M. Gabbrielli, G. Levi, and M. C. Meo. Differential Logic Programs: Programming Methodologies and Semantics. Science of Computer Programming, 27 (3): 217--262, 1996.
M. Gabbrielli, G. Levi, and M. C. Meo. Resultant Semantics for Prolog. Journal of Logic and Computation , 6 (4): 491--522, 1996.
M. Comini, G. Levi, M. C. Meo, and G. Vitello. Proving properties of Logic Programs by Abstract Diagnosis. In M. Dams editor, Proc of Fifth Int’l Workshop on Analysis and Verification of Multiple-Agent Languages, (LOMAPS 96), Lecture Notes in Computer Science, 1192: (22—50). Springer-Verlag, Berlin, 1996.

M. Gabbrielli, G. Levi, and M. C. Meo. Observable Behaviors and Equivalences of Logic Programs. Information and Computation, 122 (1): 1--29, 1995.
M. Comini, G. Levi, and M. C. Meo: Compositionality in SLD-Derivations and their Abstractions. In Logic Programming, Proceedings of the 1995 International Symposium (ILPS 1995): (561—575), The MIT Press, 1995.

A.Bossi, M.Gabbrielli, G.Levi, and M.C. Meo. A Compositional Semantics for Logic Programs. Theoretical Computer Science 122 (1-2): 3--47, 1994.
P. Bruscoli, F. Levi, G. Levi, and M. C. Meo: Compilative Constructive Negation in Constraint Logic Programs. In Proc of 19th International Colloquium on Trees in Algebra and Programming (CAAP '94) Lecture Notes in Computer Science, 787: (52—67). Springer-Verlag, Berlin, 1994.
A. Bossi., M. Fabris, and M. C. Meo. A Bottom-up Semantics for Constructive Negation. In P.Van Hentenryck editor, Proc. of Eleventh Int’l Conference on Logic Programming (ICLP 94): (520—534), The MIT Press, 1994.
A. Bossi, M. Bugliesi, M. Gabbrielli, G. Levi, and M. C. Meo. Differential Logic Programming. In Proc. Twentieth Annual ACM SIGACT/SIGPLAN Symposium on Principles of Programming Languages (POPL 93): (359—370). ACM Press, 1993.

A. Bossi, M. Gabbrielli, G. Levi, and M. C. Meo. An OR-compositional Semantics for Logic Programs. In Jean-Marie Jaquet, editor, Constructing Logic programs. John Wiley & Sons Ltd, 1993.
A. Bossi, M. Bugliesi, M. Gabbrielli, G. Levi, and M. C. Meo. Differential Logic Programming. In Proc. Twentieth Annual ACM SIGACT/SIGPLAN Symposium on Principles of Programming Languages (POPL 93): (359—370). ACM Press, 1993.

A. Bossi, M. Gabbrielli, G. Levi, and M. C. Meo. Contributions to the Semantics of Open Logic Programs. In Proc. Int'l Conference on Fifth Generation Computer Systems (FGCS 92): (570—590). ICOT Press, Tokyo. 1992.
M. Gabbrielli, G. Levi, and M. C. Meo. Observational Equivalences for Logic Programs. In Proc. Joint Conference and Symposium on Logic Programming (JCSLP 92): (131—145). The MIT Press, Cambridge, Mass. 1992.
M. Gabbrielli and M. C. Meo. Fixpoint semantics for Partial answers and Call Patterns. In Proc. Third Int'l Conference on Algebraic and Logic Programming (ALP 92), Lecture Notes in Computer Science, 632: (84—99). Springer-Verlag, Berlin, 1992.

A. Bossi, M. Gabbrielli, G. Levi, and M. C. Meo. An OR-Compositional Semantics for Logic Programs. In Proc. ICLP Workshop on Construction of Logic Programs: (215--240). 1991.