Towards Modular Algebraic Specifications for Pointer Programs: A Case Study

DOI10.1007/978-3-540-73147-4_12zbMath1186.68116OpenAlexW2116518308MaRDI QIDQ3608820

Claude Marché

Publication date: 6 March 2009

Published in: Rewriting, Computation and Proof (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-73147-4_12

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Uses Software

• KRAKATOA
• SMT-LIB
• JML
• Caduceus

This page was built for publication: Towards Modular Algebraic Specifications for Pointer Programs: A Case Study