DROPS

Document

DOI: 10.4230/LIPIcs.ICLP.2012.144

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ú, and Alicia Villanueva

Published in: LIPIcs, Volume 17, Technical Communications of the 28th International Conference on Logic Programming (ICLP'12) (2012)

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

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)

Copy BibTex To Clipboard

@InProceedings{bacci_et_al:LIPIcs.ICLP.2012.144,
  author =	{Bacci, Giovanni and Comini, Marco and A. Feli\'{u}, Marco and Villanueva, Alicia},
  title =	{{The additional difficulties for the automatic synthesis of specifications posed by logic features in functional-logic languages}},
  booktitle =	{Technical Communications of the 28th International Conference on Logic Programming (ICLP'12)},
  pages =	{144--153},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-939897-43-9},
  ISSN =	{1868-8969},
  year =	{2012},
  volume =	{17},
  editor =	{Dovier, Agostino and Santos Costa, V{\'\i}tor},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2012.144},
  URN =		{urn:nbn:de:0030-drops-36174},
  doi =		{10.4230/LIPIcs.ICLP.2012.144},
  annote =	{Keywords: Curry, property-oriented specifications, semantics-based inference methods}
}

@InProceedings{bacci_et_al:LIPIcs.ICLP.2012.144,
  author =	{Bacci, Giovanni and Comini, Marco and A. Feli\'{u}, Marco and Villanueva, Alicia},
  title =	{{The additional difficulties for the automatic synthesis of specifications posed by logic features in functional-logic languages}},
  booktitle =	{Technical Communications of the 28th International Conference on Logic Programming (ICLP'12)},
  pages =	{144--153},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-939897-43-9},
  ISSN =	{1868-8969},
  year =	{2012},
  volume =	{17},
  editor =	{Dovier, Agostino and Santos Costa, V{\'\i}tor},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2012.144},
  URN =		{urn:nbn:de:0030-drops-36174},
  doi =		{10.4230/LIPIcs.ICLP.2012.144},
  annote =	{Keywords: Curry, property-oriented specifications, semantics-based inference methods}
}

Search Results

Documents authored by Comini, Marco

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

Abstract

Cite as

Thanks for your feedback!

Could not send message