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

executable specificationslogic programmingspecification languages

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

(9)

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

Describes a project that uses

Uses Software

• Maude
• DLog
• Z

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)