The role of logical interpretations in program development

DOI10.2168/LMCS-10(1:1)2014zbMath1314.68190arXiv1311.7090MaRDI QIDQ2871226

Manuel A. Martins, Luís Soares Barbosa, Alexandre Madeira

Publication date: 22 January 2014

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1311.7090

zbMATH Keywords

refinementalgebraic specificationdeductive systemlogical interpretation

Mathematics Subject Classification ID

Logic in computer science (03B70) Abstract data types; algebraic specification (68Q65) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Behavioral equivalence of hidden \(k\)-logics: an abstract algebraic approach

Uses Software

• Unnamed Item
• OBJ3
• CafeOBJ
• Maude
• Hets
• LATIN

This page was built for publication: The role of logical interpretations in program development