Correctness proofs for abstract implementations

DOI10.1016/0890-5401(89)90016-3zbMath0671.68005OpenAlexW1984492558MaRDI QIDQ1119388

Gilles Bernot

Publication date: 1989

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0890-5401(89)90016-3

zbMATH Keywords

abstract data typescorrectness proofs

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01) Theory of computing (68Q99)

Related Items

Algebraic implementation of abstract data types: a survey of concepts and new compositionality results

Cites Work

• Abstract data types with exception handling: An initial approach based on a distinction between exceptions and errors
• Algebraic implementation of abstract data types
• Proof of correctness of data representations
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item