Theory of Modules

DOI10.1109/TSE.1987.233493zbMath0617.68008OpenAlexW2129544368MaRDI QIDQ4727398

Richard Hamlet, John D. Gannon, Harlan D. Mills

Publication date: 1987

Published in: IEEE Transactions on Software Engineering (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/tse.1987.233493

zbMATH Keywords

Hoare logicsoftware engineeringprogram verificationabstract data typesfunctional semanticsprogram specificationsAlphard formalismproof of module abstractions

Mathematics Subject Classification ID

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

This page was built for publication: Theory of Modules