From relational specifications to logic programs

DOI10.4230/LIPICS.ICLP.2010.144MaRDI QIDQ2883087zbMATH OpenOpenAlexFDO

Authors Joseph P. Near

Publication date 11 May 2012

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

zbMATH Keywords

specification languageslogic programmingexecutable specifications

Mathematics Subject Classification ID

Logic programming (68N17) Theory of compilers and interpreters (68N20) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 3947597
• scientific article; zbMATH DE number 4176425
• Constraint logic programming with a relational machine
• Logic programming in tabular allegories
• Implementing relational specifications in a constraint functional logic language

Cited in

(8)

• scientific article; zbMATH DE number 4128794 (Why is no real title available?)
• The Relationlog system prototype
• scientific article; zbMATH DE number 1962796 (Why is no real title available?)
• Logic programming in tabular allegories
• Implementing relational specifications in a constraint functional logic language
• E2: A new logic model for MVL relations
• Compiling logics
• scientific article; zbMATH DE number 3947597 (Why is no real title available?)

Describes a project that uses

Uses Software

• Z
• DLog
• Maude

This page was built for publication: From relational specifications to logic programs

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