The study of programming languages
Material type:
- 0137269366
Contents:
History of programming languages -- Syntax and grammars -- Location, reference, and expressions -- Data types -- Blocks, procedures, and modules -- PROLOG -- Lambda calculus -- Denotational semantics -- Axiomatic approach of Hoare.
Incluye ejercicios y bibliografía. --
History of programming languages -- Syntax and grammars -- Location, reference, and expressions -- Data types -- Blocks, procedures, and modules -- PROLOG -- Lambda calculus -- Denotational semantics -- Axiomatic approach of Hoare.