文章基本信息

标题：The additional difficulties for the automatic synthesis of specifications posed by logic features in functional-logic languages
本地全文：下载
作者：Giovanni Bacci ; Marco Comini ; Marco A. Feli{\'u 等
期刊名称：LIPIcs : Leibniz International Proceedings in Informatics
电子版ISSN：1868-8969
出版年度：2012
卷号：17
页码：144-153
DOI：10.4230/LIPIcs.ICLP.2012.144
出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
摘要：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.
关键词：Curry; property-oriented specifications; semantics-based inference methods