Proving correctness w.r.t. specifications with hidden parts

DOI10.1007/3-540-53162-9_28zbMath1493.68228OpenAlexW1508416889MaRDI QIDQ5096185

Jordi Farrés-Casals

Publication date: 16 August 2022

Published in: Algebraic and Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-53162-9_28

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Cites Work

• Toward formal development of programs from algebraic specifications: Implementations revisited
• Specifications in an arbitrary institution
• Data Type Specification: Parameterization and the Power of Specification Techniques
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Proving correctness w.r.t. specifications with hidden parts