The verification and synthesis of data structures

DOI10.1007/BF00288745zbMath0282.68013OpenAlexW2029126323MaRDI QIDQ1844075

Jay Spitzen, Ben Wegbreit

Publication date: 1975

Published in: Acta Informatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00288745

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Related Items (1)

Data types, abstract data types and their specification problem

Cites Work

• Unnamed Item
• Unnamed Item
• Automatic program verification. I: A logical basis and its implementation
• Proof of correctness of data representations
• An axiomatic definition of the programming language Pascal
• Toward automatic program synthesis

This page was built for publication: The verification and synthesis of data structures