On the notion of expressiveness and the rule of adaptation
- 31 August 1983
- journal article
- research article
- Published by Elsevier in Theoretical Computer Science
- Vol. 24 (3) , 337-347
- https://doi.org/10.1016/0304-3975(83)90009-9
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Ten Years of Hoare's Logic: A Survey—Part IACM Transactions on Programming Languages and Systems, 1981
- Sound and complete Hoare-like calculi based on copy rulesActa Informatica, 1981
- The logic of aliasingActa Informatica, 1981
- A simple relation between relational and predicate transformer semantics for nondeterministic programsInformation Processing Letters, 1980
- Completeness with Finite Systems of Intermediate Assertions for Recursive Program SchemesSIAM Journal on Computing, 1980
- Assignment and Procedure Call Proof RulesACM Transactions on Programming Languages and Systems, 1980
- Programming Language Constructs for Which It Is Impossible To Obtain Good Hoare Axiom SystemsJournal of the ACM, 1979
- Soundness and Completeness of an Axiom System for Program VerificationSIAM Journal on Computing, 1978
- Proof rules for the programming language EuclidActa Informatica, 1978
- An axiomatic basis for computer programmingCommunications of the ACM, 1969