English
Programming Languages and Their Definition
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Note on a test example for ALGOL60 compilers by D.E. Knuth
-
Altmetric BadgeChapter 2 The assignment to a type procedure identifier in ALGOL60
-
Altmetric BadgeChapter 3 The meaning of names in PL/I
-
Altmetric BadgeChapter 4 Defining a language in its own terms
-
Altmetric BadgeChapter 6 Definable operations in general algebras, and the theory of automata and flowcharts
-
Altmetric BadgeChapter 7 Formalization of storage properties
-
Altmetric BadgeChapter 8 On the formal definition of programming languages
-
Altmetric BadgeChapter 9 A formal definition of a PL/I subset
-
Altmetric BadgeChapter 10 Mathematical semantics and compiler correctness
-
Altmetric BadgeChapter 11 Towards a mathematical theory of processes
-
Altmetric BadgeChapter 13 The semantics of parallel processing
-
Altmetric BadgeChapter 14 Nondeterministic functions and the semantics of CSP
-
Altmetric BadgeChapter 15 Nondeterministic programs : An example
-
Altmetric BadgeChapter 16 A model of nondeterminism: Indexed sets and their equivalence