From relational specifications to logic programs

DOI10.4230/LIPICS.ICLP.2010.144zbMATH Open1237.68053OpenAlexW2162112138MaRDI QIDQ2883087FDOQ2883087

Authors: Joseph P. Near 

Publication date: 11 May 2012

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

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

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)

Cited In (8)

• Title not available (Why is that?)
• The Relationlog system prototype
• Title not available (Why is that?)
• Logic programming in tabular allegories
• Implementing relational specifications in a constraint functional logic language
• E2: A new logic model for MVL relations
• Compiling logics
• Title not available (Why is that?)

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)