Marco Comini

María-del-Mar Gallardo

CoRR, 2021

2017

A program analysis framework for tccp based on abstract interpretation.

[BibT_eX]

[DOI]

María-del-Mar Gallardo

Formal Aspects Comput., 2017

2015

Abstract Analysis of Universal Properties for tccp.

[BibT_eX]

[DOI]

María-del-Mar Gallardo

Proceedings of the Logic-Based Program Synthesis and Transformation, 2015

2014

Abstract Diagnosis for tccp using a Linear Temporal Logic.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2014

2013

Towards an Effective Decision Procedure for LTL formulas with Constraints.

[BibT_eX]

[DOI]

CoRR, 2013

A Condensed Goal-Independent Fixpoint Semantics Modeling the Small-Step Behavior of Rewriting.

[BibT_eX]

[DOI]

Luca Torella

Proceedings of the 5th International Symposium on Symbolic Computation in Software Science, 2013

Automatic Inference of Term Equivalence in Term Rewriting Systems.

[BibT_eX]

[DOI]

Luca Torella

Proceedings of the 5th International Symposium on Symbolic Computation in Software Science, 2013

TRSynth: a tool for automatic inference of term equivalence in left-linear term rewriting systems.

[BibT_eX]

[DOI]

Luca Torella

Proceedings of the ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation, 2013

2012

Automatic synthesis of specifications for first order curry programs.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Declarative Programming, 2012

The additional difficulties for the automatic synthesis of specifications posed by logic features in functional-logic languages.

[BibT_eX]

[DOI]

Proceedings of the Technical Communications of the 28th International Conference on Logic Programming, 2012

2011

Abstract diagnosis for timed concurrent constraint programs.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2011

2010

A compact fixpoint semantics for term rewriting systems.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2010

Abstract Diagnosis of First Order Functional Logic Programs.

[BibT_eX]

[DOI]

Giovanni Bacci

Proceedings of the Logic-Based Program Synthesis and Transformation, 2010

2008

On Polymorphic Recursion, Type Systems, and Abstract Interpretation.

[BibT_eX]

[DOI]

Ferruccio Damiani

Samuel Vrech

Proceedings of the Static Analysis, 15th International Symposium, 2008

A Minimalist Visual Notation for Design Patterns and Antipatterns.

[BibT_eX]

[DOI]

Demis Ballis

Andrea Baruzzo

Proceedings of the Fifth International Conference on Information Technology: New Generations (ITNG 2008), 2008

A Methodology for UML Models V&V.

[BibT_eX]

[DOI]

Andrea Baruzzo

Proceedings of the First International Conference on Software Testing, 2008

2007

A Rule-based Method to Match Software Patterns Against UML Models.

[BibT_eX]

[DOI]

Demis Ballis

Andrea Baruzzo

Proceedings of the Eighth International Workshop on Rule Based Programming, 2007

2002

Preface.

[BibT_eX]

[DOI]

Moreno Falaschi

Proceedings of the 11th International Workshop on Functional and (Constraint) Logic Programming, 2002

Abstract Diagnosis of Functional Programs.

[BibT_eX]

[DOI]

Proceedings of the Logic Based Program Synthesis and Tranformation, 2002

2001

A Theory of Observables for Logic Programs.

[BibT_eX]

[DOI]

Maria Chiara Meo

Inf. Comput., 2001

Logic programs as specifications in the inductive verification of logic programs.

[BibT_eX]

[DOI]

Roberta Gori

Proceedings of the Declarative Programming, 2001

How to Transform an Analyzer into a Verifier.

[BibT_eX]

[DOI]

Roberta Gori

Proceedings of the Logic for Programming, 2001

2000

Assertion based Inductive Verification Methods for Logic Programs.

[BibT_eX]

[DOI]

Roberta Gori

Proceedings of the First Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, 2000

1999

Compositionality Properties of <i>SLD</i>-Derivations.

[BibT_eX]

[DOI]

Maria Chiara Meo

Theor. Comput. Sci., 1999

Abstract Interpretation based Verification of Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Verification of Logic Programs 1999, 1999

Abstract Diagnosis.

[BibT_eX]

[DOI]

J. Log. Program., 1999

Diagnosis of CHIP Programs Using Type Information.

[BibT_eX]

Wlodzimierz Drabent

Pawel Pietrzak

Proceedings of the 1999 Joint Conference on Declarative Programming, 1999

1998

Modular Abstract Diagnosis.

[BibT_eX]

Proceedings of the 1998 Joint Conference on Declarative Programming, 1998

1997

Tools and Environments for (Constraint) Logic Programming (Workshop Overview).

[BibT_eX]

Proceedings of the Logic Programming, 1997

1996

Proving Properties of Logic Programs by Abstract Diagnosis.

[BibT_eX]

[DOI]

Proceedings of the Analysis and Verification of Multiple-Agent Languages, 1996

The And-compositionality of CLP Computed Answer Constraints.

[BibT_eX]

Proceedings of the 1996 Joint Conf. on Declarative Programming, 1996

1995

Declarative Diagnosis Revisited.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 1995

Compositionality in SLD-Derivations and their Abstractions.

[BibT_eX]

[DOI]

Maria Chiara Meo

Proceedings of the Logic Programming, 1995

On the Abstract Diagnosis of Logic Programs.

[BibT_eX]

Proceedings of the 1995 Joint Conference on Declarative Programming, 1995

Efficient Detection of Incompleteness Errors in the Abstract Debugging of Logic Programs.

[BibT_eX]

Proceedings of the Second International Workshop on Automated Debugging, 1995

1994

An Algebraic Theory of Observables.

[BibT_eX]

Proceedings of the Logic Programming, 1994

Abstract Debugging of Logic Program.

[BibT_eX]

[DOI]