Programming Languages and Operational Semantics / Maribel Fernandez
Publication details: London Springer 2014Description: ix, 209 pISBN: 9781447163688; 9781447163671Subject(s): Programming languages (Electronic computers) -- SemanticsLOC classification: QA76.7 .S43 | F476 2014
Contents:
Introduction.- Mathematical Background.- General Features of Imperative Languages.- Operational Semantics of Imperative Languages.- General Features of Functional Languages.- Operational Semantics of Functional Languages.- General Features of Logic Programming Languages.- Operational Semantics of Prolog.- Answers to Selected Exercises.
Item type | Current library | Collection | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
BOOK | UNIMY PJ Library | TB | 005.13 FER (Browse shelf (Opens below)) | Available | 102684 | ||
BOOK | UNIMY PJ Library | TB | 005.13 FER (Browse shelf (Opens below)) | Available | 102685 | ||
BOOK | UNIMY PJ Library | TB | 005.13 FER (Browse shelf (Opens below)) | Available | 102686 |
Total holds: 0
Includes bibliographical references and index.
Introduction.- Mathematical Background.- General Features of Imperative Languages.- Operational Semantics of Imperative Languages.- General Features of Functional Languages.- Operational Semantics of Functional Languages.- General Features of Logic Programming Languages.- Operational Semantics of Prolog.- Answers to Selected Exercises.
There are no comments on this title.