An approach for data type specification and its use in program verification

DOI10.1016/0020-0190(79)90153-4zbMath0428.68026OpenAlexW2054344341MaRDI QIDQ1137374

Tarcisio Pequeno, Carlos J. P. Lucena

Publication date: 1979

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0020-0190(79)90153-4

zbMATH Keywords

program designformal specificationprogram verificationabstract data typesdata type specificationcorrectness of data representations

Mathematics Subject Classification ID

Data structures (68P05) General topics in the theory of software (68N01)

Cites Work

• Proof of correctness of data representations
• Abstract data types and the development of data structures
• An axiomatic basis for computer programming
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: An approach for data type specification and its use in program verification