Synthesis of logic programs from object-oriented formal specifications

DOI10.4230/LIPICS.ICLP.2011.95MaRDI QIDQ2909148zbMATH OpenOpenAlexFDO

Authors Ángel Herranz, Julio Mariño

Publication date 29 August 2012

Full work available at URL http://subs.emis.de/LIPIcs/frontdoor_6817.html

zbMATH Keywords

formal methodscorrect-by-constructionobject-orientedexecutable specificationslogic program synthesis

Mathematics Subject Classification ID

Logic programming (68N17) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• A formal approach to object-oriented software engineering
• scientific article; zbMATH DE number 980418
• scientific article; zbMATH DE number 792049
• scientific article; zbMATH DE number 4043304
• Logic programming and rapid prototyping

Cited in

(2)

• Diversification of object-languages for propositional logics
• scientific article; zbMATH DE number 139990 (Why is no real title available?)

This page was built for publication: Synthesis of logic programs from object-oriented formal specifications

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2909148)