The role of logical interpretations in program development

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

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

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

refinement; algebraic specification; deductive system; logical interpretation

Mathematics Subject Classification ID

03B70: Logic in computer science

68Q65: Abstract data types; algebraic specification

68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)

Uses Software

• CASL
• OBJ3
• CafeOBJ
• Maude
• Hets
• LATIN