Synthesis of logic programs from object-oriented formal specifications

DOI10.4230/LIPICS.ICLP.2011.95zbMATH Open1245.68063OpenAlexW2106479565MaRDI QIDQ2909148

Julio Mariño, Ángel Herranz

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

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

Related Items (1)

Diversification of object-languages for propositional logics

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)