Abstract Implementations and Their Correctness Proofs
From MaRDI portal
Publication:3662594
DOI10.1145/322374.322381zbMath0515.68014OpenAlexW2032554880MaRDI QIDQ3662594
Publication date: 1983
Published in: Journal of the ACM (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/322374.322381
formal specificationsequational theoriesinitial algebrasprogram verification and synthesisproof methodologysignature of constructors
Related Items (1)
This page was built for publication: Abstract Implementations and Their Correctness Proofs