Procedures, parameters, and abstraction: Separate concerns

DOI10.1016/0167-6423(88)90062-7zbMath0661.68009OpenAlexW1999659898MaRDI QIDQ1113659

Carroll Morgan

Publication date: 1988

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0167-6423(88)90062-7

zbMATH Keywords

specificationsaxiomatic semanticsprocedure callsparameter passingALGOL's copy rulepost- conditionweakest pre-condition

Mathematics Subject Classification ID

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

Related Items (3)

Proof obligations for blocks and procedures ⋮ Predicate transformers and higher-order programs ⋮ Linking Event-B and Concurrent Object-Oriented Programs

Uses Software

• ALGOL 60

This page was built for publication: Procedures, parameters, and abstraction: Separate concerns