Hint

Swipe to navigate through the chapters of this book

2014 | OriginalPaper | Chapter

4. Operational Semantics of Imperative Languages

Author: Maribel Fernández

Publisher: Springer London

Published in: Programming Languages and Operational Semantics

» Get access to the full version

Abstract

The discussion of programming language features in the previous chapter was informal. However, informal semantic descriptions may be imprecise, as the following example shows.

Please log in to get access to this content

To get access to this content you need the following product:

Computer Science Explorer

Purchase now

G. Plotkin, A structural approach to operational semantics. Technical Report DAIMI FN-19 (Aarhus University, 1981)

H.R. Nielson, F. Nielson, Semantics with Applications: An Appetizer. Undergraduate topics in computer science (Springer, Berlin, 2007)

A.M. Pitts, Semantics of programming languages, Lecture Notes and Slides (Cambridge University, 2002)

G. Winskel, The Formal Semantics of Programming Languages, Foundations of Computing (MIT Press, 1993)

R. Harper, Practical Foundations for Programming Languages (Cambridge University Press, Cambridge, 2013)

A.P. Parkes, Introduction to languages, machines and logic—computable languages, abstract machines and formal logic, Undergraduate topics in computer science (Springer, 2002)

W. Kluge, Abstract Computing Machines, A Lambda Calculus Perspective Texts in Theoretical Computer Science: An EATCS Series (Springer, 2004)

Title

Operational Semantics of Imperative Languages

Book

Programming Languages and Operational Semantics

Print ISBN: 978-1-4471-6367-1

Electronic ISBN: 978-1-4471-6368-8

https://doi.org/10.1007/978-1-4471-6368-8

DOI

https://doi.org/10.1007/978-1-4471-6368-8_4

Author:

Maribel Fernández

Publisher

Springer London

Sequence number

Chapter number

Chapter 4