TY  - GEN
AU  - Fernandez, Maribel.
TI  - Programming Languages and Operational Semantics
SN  - 9781447163688
AV  - QA76.7 .S43 F476 2014
PY  - 2014///
CY  - London
PB  - Springer
KW  - Programming languages (Electronic computers)
KW  -  Semantics
N1  - 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
ER  -