Local Members

Marco Comini
Associate Professor
Demis Ballis
Assistant Professor
Andrea Baruzzo
Research Fellow
Giovanni Bacci
Ph.D.
Laura Titolo
Ph.D. Student

Worldwide Members

Maria Alpuente
Full Professor
Santiago Escobar
Associate Professor
Alicia Villanueva
Assistant Professor
Luca Torella
Ph.D. Student
Marco A. Feliú
Ph.D. Student

Main Research Topics

  1. Abstract Diagnosis, Abstract Verification and Analysis of Logic Languages
  2. Abstract Diagnosis, Abstract Verification and Analysis of Functional Languages
  3. Type Inference for Logic and Functional Languages
  4. Program Verification and Debugging for Functional and Functional-Logic Languages
  5. Analysis, Verification and Transformation of semi-structured data collections
  6. UML Quality: formal quality analysis of UML diagrams
  7. UML Consistency: formal consistency analysis of UML diagrams

Recent News

Follow as rss-feed

AbsSpec prototype

We are pleased to announce that a prototype version of AbsSpec has been made available on-...

4 weeks 2 days ago | see more

New Biblio Entries

Laura Titolo's bibliography has been added

1 year 1 week ago | see more

New Biblio Entries

Demis Ballis' bibliography has been added

1 year 2 weeks ago | see more

Recent Publications

2011

Alpuente, M., D. Ballis, J. Espert, and D. O. Romero, "Backward Trace Slicing for Rewriting Logic Theories", 23rd International Conference on Automated Deduction, CADE 23: Springer, 2011. Abstract
Bacci, G., and M. Comini, "Abstract Diagnosis of First Order Functional Logic Programs", Logic-based Program Synthesis and Transformation, 20th International Symposium, vol. 6564, Berlin, Springer-Verlag, pp. 215--233, 2011. Abstract
Bacci, G., M. Comini, M. A. Feliú, and A. Villanueva, "Automatic Synthesis of Specifications for Curry Programs", Logic-based Program Synthesis and Transformation, 21th International Symposium – Pre-Proceedings, Odense, Denmark, Springer-Verlag, 2011. Abstract
Ballis, D., and T. Kutsia, "Special Issue of the Journal of Symbolic Computation on Automated Specification and Verification of Web Systems (Preface)", Journal of Symbolic Computation, vol. 46, no. 2, pp. 93–94, 2011.
Comini, M., L. Titolo, and A. Villanueva, "Abstract Diagnosis for Timed Concurrent Constraint programs", Theory and Practice of Logic Programming, vol. 11, no. 4-5, pp. 487--502, 2011. Abstract
Comini, M., L. Titolo, and A. Villanueva, A Compact Goal-Independent Bottom-Up Fixpoint Modeling the Behavior of tccp, , no. DIMI-UD/01/2011/RR: Dipartimento di Matematica e Informatica, U. di Udine, 2011. Abstract
Bacci, G., "An Abstract Interpretation Framework for Semantics and Diagnosis of Lazy Functional-Logic Languages", Dipartimento di Matematica e Informatica, , no. ??: Università di Udine, 2011. Abstract

2010

Alpuente, M., D. Ballis, and M. Falaschi, "Transformation and Debugging of Functional Logic Programs", 25 Years GULP 2010: Springer, pp. 271–299, 2010. Abstract
Bacci, G., and M. Comini, "Abstract Diagnosis of First Order Functional Logic Programs", Logic-Based Program Synthesis and Transformation – 20th International Symposium – Pre-Proceedings, 20, vol. 10-14, Hagenberg, Austria, pp. 58–72, 2010. Abstract
Alpuente, M., M. A. Feliú, C. Joubert, and A. Villanueva, "Defining Datalog in Rewriting Logic", Proceedings of the 19th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR'09), vol. 6037: Springer-Verlag, pp. 188–204, 2010.