Synthesis of logic programs from object-oriented formal specifications

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

Authors: Ángel Herranz, Julio Mariño 

Publication date: 29 August 2012

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

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

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)

Cited In (2)

• Diversification of object-languages for propositional logics
• Title not available (Why is that?)

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)