2026-07-20T09:01:06Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:3617 2024-03-06T10:34:25Z ddc:004 open_access

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 Curry property-oriented specifications semantics-based inference methods 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Giovanni Bacci and Marco Comini and Marco A. Feliú and Alicia Villanueva 2012 Is Part Of LIPIcs, Volume 17, Technical Communications of the 28th International Conference on Logic Programming (ICLP'12) (2012) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.ICLP.2012.144 urn:nbn:de:0030-drops-36174 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2012.144 eng https://creativecommons.org/licenses/by-nd/3.0/legalcode