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

DOI10.4230/LIPIcs.ICLP.2012.144zbMath1281.68075OpenAlexW2240265104MaRDI QIDQ5398052

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

Publication date: 25 February 2014

Full work available at URL: https://doi.org/10.4230/lipics.iclp.2012.144

zbMATH Keywords

curryproperty-oriented specificationssemantics-based inference methods

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Logic programming (68N17) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Abstract Contract Synthesis and Verification in the Symbolic 𝕂 Framework

Uses Software

• EasyCheck

This page was built for publication: The additional difficulties for the automatic synthesis of specifications posed by logic features in functional-logic languages