Unfolding Abstract Datatypes

DOI10.1007/978-3-540-70594-9_8MaRDI QIDQ3521983zbMATH OpenOpenAlexFDO

Authors Jeremy Gibbons

Publication date 28 August 2008

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://ora.ox.ac.uk/objects/uuid:b51d2af6-25de-41ae-b3e7-9ac997de87b3

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Abstract data types; algebraic specification (68Q65)

Recommendations

• Correctness proofs for abstract implementations
• scientific article; zbMATH DE number 3938540
• scientific article; zbMATH DE number 408790
• On lists and other abstract data types in the calculus of constructions
• scientific article; zbMATH DE number 1008445

Cited in

(3)

• A systematic catalogue of reusable abstract data types
• scientific article; zbMATH DE number 1696885 (Why is no real title available?)
• Integrating ADTs in KeY and Their Application to History-Based Reasoning

This page was built for publication: Unfolding Abstract Datatypes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3521983)