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

Bacci, Giovanni; Comini, Marco; A. Feliú, Marco; Villanueva, Alicia

doi:10.4230/LIPIcs.ICLP.2012.144

Document

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

Authors Giovanni Bacci, Marco Comini, Marco A. Feliú, Alicia Villanueva

Part of: Volume: Technical Communications of the 28th International Conference on Logic Programming (ICLP'12) (ICLP 2012)
Part of: Series: Leibniz International Proceedings in Informatics (LIPIcs)
Part of: Conference: International Conference on Logic Programming (ICLP)
License: Creative Commons Attribution-NoDerivs 3.0 Unported license
Publication Date: 2012-09-05

PDF

File

PDF

LIPIcs.ICLP.2012.144.pdf

Filesize: 480 kB
10 pages

Document Identifiers

DOI: 10.4230/LIPIcs.ICLP.2012.144
URN: urn:nbn:de:0030-drops-36174

Subject Classification

Keywords

Curry
property-oriented specifications
semantics-based inference methods

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

PDF Downloads

0

Metadata Views

Abstract

This paper discusses on the additional issues for the automatic inference of algebraic property-oriented specifications which arises because of interaction between laziness and logical variables in lazy functional logic languages.
We present an inference technique that overcomes these issues for the first-order fragment of the lazy functional logic language Curry. Our technique statically infers from the source code of a Curry program a specification which consists of a set of equations relating (nested) operation calls that have the same behavior. Our proposal is a (glass-box) semantics-based inference method which can guarantee, to some extent, the correctness of the inferred specification, differently from other (black-box) approaches based on testing techniques.

Cite As Get BibTex

Giovanni Bacci, Marco Comini, Marco A. Feliú, and Alicia Villanueva. The additional difficulties for the automatic synthesis of specifications posed by logic features in functional-logic languages. In Technical Communications of the 28th International Conference on Logic Programming (ICLP'12). Leibniz International Proceedings in Informatics (LIPIcs), Volume 17, pp. 144-153, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012) https://doi.org/10.4230/LIPIcs.ICLP.2012.144

Author Details

Giovanni Bacci

Marco Comini

Marco A. Feliú

Alicia Villanueva

Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail