The expressive power of intensional logic in the semantics of programming languages

Publisher Website

1 January 1977

book chapter
Published by Springer Nature in Lecture Notes in Computer Science

p. 303-311
https://doi.org/10.1007/3-540-08353-7_149

Abstract

No abstract available

Keywords

This publication has 2 references indexed in Scilit:

An axiomatic basis for computer programming
Communications of the ACM, 1969
Assigning meanings to programs
Published by American Mathematical Society (AMS) ,1967