Specifying, programming and verifying with equational logic

MaRDI QIDQ3012523zbMATH OpenFDO

Authors Joseph Goguen, Kai Lin

Publication date 6 July 2011

zbMATH Keywords

first-order equational logiclogical programming languagesOBJ languages

Mathematics Subject Classification ID

Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• From OBJ to Maude and Beyond
• scientific article; zbMATH DE number 4074445
• Programming with equalities, subsorts, overloading, and parametrization in OBJ
• scientific article; zbMATH DE number 2172803
• Logical foundations of object-oriented and frame-based languages

Cited in

(9)

• Equational logic and categorical semantics for multi-languages
• Formalization of universal algebra in Agda
• scientific article; zbMATH DE number 4180832 (Why is no real title available?)
• scientific article; zbMATH DE number 4164151 (Why is no real title available?)
• scientific article; zbMATH DE number 4094872 (Why is no real title available?)
• scientific article; zbMATH DE number 1086649 (Why is no real title available?)
• Verification from Declarative Specifications Using Logic Programming
• From OBJ to Maude and Beyond
• Programming in equational logic: Beyond strong sequentiality

This page was built for publication: Specifying, programming and verifying with equational logic

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