A theory of programming language semantics. Part a: Indices and appendices, fundamental concepts, mathematical foundations. Part b: Standard semantics, store semantics, stack semantics. (English) Zbl 0357.68004
London: Chapman & Hall, a Halsted Press Book; New York: John Wiley & Sons, Inc. 858 p. £15.00 (1976).
MSC:
68-02 | Research exposition (monographs, survey articles) pertaining to computer science |
68N01 | General topics in the theory of software |