Programmming languages: design and implementation (2nd ed.)
Programmming languages: design and implementation (2nd ed.)
Structured Programming with go to Statements
ACM Computing Surveys (CSUR)
The denotational semantics of programming languages
Communications of the ACM
Exception handling: issues and a proposed notation
Communications of the ACM
An axiomatic basis for computer programming
Communications of the ACM
The remaining trouble spots in ALGOL 60
Communications of the ACM
A contribution to the development of ALGOL
Communications of the ACM
A mathematical approach to language design
POPL '75 Proceedings of the 2nd ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A Theory of Programming Language Semantics
A Theory of Programming Language Semantics
On the Relation between Direct and Continuation Semantics
Proceedings of the 2nd Colloquium on Automata, Languages and Programming
| Hi-index | 0.00 |
One way to approach software reliability is to design programming languages that satisfy criteria which ensure that undesirable semantic effects cannot occur. The effect of using the assignment rule of Hoare as such a criterion on the design of procedure-oriented, block-structured programming languages is investigated; after details of the Hoare formalism are discussed, language design guidelines derived from formal studies are informally presented and justified.