You are here

Publications

Search

Show only items where

Author

Type

Term

Year

Keyword

Export 5 results:

BibTex

Filters: First Letter Of Last Name is T [Clear All Filters]

Conference Proceedings

M. Comini, Levi, G., and Vitiello, G., “Abstract Debugging of Logic Programs”, Proc. Logic Program Synthesis and Transformation and Metaprogramming in Logic 1994, vol. 883. Springer-Verlag, pp. 440–450, 1994.

M. Comini and Torella, L., “TRSynth: a Tool for Automatic Inference of Term Equivalence in Left-linear Term Rewriting Systems”, ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation (PEPM'13). 2013.

Journal Article

M. Comini, Titolo, L., and Villanueva, A., “Abstract Diagnosis for Timed Concurrent Constraint programs”, Theory and Practice of Logic Programming, vol. 11, p. 487--502, 2011.

Technical Report

M. Comini, Titolo, L., and Villanueva, A., “A Compact Goal-Independent Bottom-Up Fixpoint Modeling the Behavior of tccp”. Dipartimento di Matematica e Informatica, U. di Udine, 2011.

M. Comini and Torella, L., “A Condensed Goal-Independent Fixpoint Semantics Modeling the Small-Step Behavior of Rewriting”. 2013.