Specification of Abstract Data Types in Modula

DOI10.1145/357114.357117MaRDI QIDQ3922141zbMATH OpenOpenAlexFDO

Authors George W. Ernst, William F. Ogden

Publication date 1980

Published in ACM Transactions on Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/357114.357117

zbMATH Keywords

hierarchical programmingmodularizationprogram verificationproof rulessoftware specification

Mathematics Subject Classification ID

Data structures (68P05) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited in

(1)

• Synthesizing precise and useful commutativity conditions

This page was built for publication: Specification of Abstract Data Types in Modula

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