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
Browsing UNIMY shelves, Shelving location: PJ Library Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
|
||
| 005.117 HOR Beginning C | 005.117 HOR Beginning C | 005.13 FER Programming Languages and Operational Semantics | 005.13 FER Programming Languages and Operational Semantics | 005.13 FER Programming Languages and Operational Semantics | 005.133 DEI C how to program | 005.133 DEI C how to program |
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.