Datatypes in Memory

DOI10.1007/978-3-540-73859-6_8MaRDI QIDQ3612487zbMATH OpenOpenAlexFDO

Authors Piotr Hoffman, D. Aspinall

Publication date 10 March 2009

Published in Algebra and Coalgebra in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-73859-6_8

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 4128365
• scientific article; zbMATH DE number 4056978
• Safe Data Type Specifications
• Towards pointer algebra
• A type system for bounded space and functional in-place update

Cited in

(1)

• Data types à la carte

This page was built for publication: Datatypes in Memory

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