Theory of Modules
From MaRDI portal
Publication:4727398
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
Hoare logicsoftware engineeringprogram verificationabstract data typesfunctional semanticsprogram specificationsAlphard formalismproof of module abstractions
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