1 option
Programming Languages and Operational Semantics : A Concise Overview / by Maribel Fernández.
- Format:
- Book
- Author/Creator:
- Fernández, Maribel, author.
- Series:
- Computer Science (Springer-11645)
- Undergraduate topics in computer science 1863-7310
- Undergraduate Topics in Computer Science, 1863-7310
- Language:
- English
- Subjects (All):
- Software engineering.
- Computer programming.
- Programming languages (Electronic computers).
- Computers.
- Computer logic.
- Software Engineering/Programming and Operating Systems.
- Programming Techniques.
- Programming Languages, Compilers, Interpreters.
- Theory of Computation.
- Logics and Meanings of Programs.
- Local Subjects:
- Software Engineering/Programming and Operating Systems.
- Programming Techniques.
- Programming Languages, Compilers, Interpreters.
- Theory of Computation.
- Logics and Meanings of Programs.
- Physical Description:
- 1 online resource (IX, 209 pages) : 10 illustrations.
- Edition:
- First edition 2014.
- Contained In:
- Springer eBooks
- Place of Publication:
- London : Springer London : Imprint: Springer, 2014.
- System Details:
- text file PDF
- Summary:
- Providing a concise introduction to the essential concepts in programming languages, using techniques from operational semantics, this book highlights three major programming paradigms: · Imperative languages: the main features of these languages are illustrated with examples in Java, Python, C; · Functional languages: modern languages such as ML and Haskell are used to describe the functional style of programming; · Logic languages: the last part of the book gives an overview of logic programming using Prolog. Following a general description of each family of languages, their semantics are studied using abstract machines and structural operational semantics. Programming Languages and Operational Semantics gives an in-depth analysis of the basic concepts in programming languages instead of a mere survey of languages, assisting the understanding of the fundamental notions in programming languages over simply describing their properties. It is addressed to undergraduate students, as a complement to programming courses.
- 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.
- Other Format:
- Printed edition:
- ISBN:
- 978-1-4471-6368-8
- 9781447163688
- Access Restriction:
- Restricted for use by site license.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.