Programming Languages and Operational Semantics

Fernandez, Maribel.

Programming Languages and Operational Semantics / Maribel Fernandez - London Springer 2014 - ix, 209 p.:

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.

9781447163688 9781447163671


Programming languages (Electronic computers)-- Semantics.

QA76.7 .S43 / F476 2014