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.
Item type | Home library | Call number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|
![]() |
Biblioteca de la Facultad de Informática | D.3 STA (Browse shelf(Opens below)) | Consulta en Sala | DIF-01428 | ||
![]() |
Biblioteca de la Facultad de Informática | D.3 STA (Browse shelf(Opens below)) | Available | DIF-01172 |
Browsing Biblioteca de la Facultad de Informática shelves Close shelf browser (Hides shelf browser)
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.