Programming languages and operational semantics [electronic resource] : a concise overview / Maribel Fernández.
2014
QA76.7
Linked e-resources
Linked Resource
Online Access
Concurrent users
Unlimited
Authorized users
Authorized users
Document Delivery Supplied
Can lend chapters, not whole ebooks
Details
Title
Programming languages and operational semantics [electronic resource] : a concise overview / Maribel Fernández.
Author
Fernández, Maribel, author.
ISBN
9781447163688electronic book
1447163680electronic book
9781447163671
1447163672
1447163680electronic book
9781447163671
1447163672
Published
Berlin : Springer, [2014].
Copyright
©2014
Language
English
Description
1 online resource (ix, 209 pages).
Item Number
10.1007/978-1-4471-6368-8 doi
Call Number
QA76.7
Dewey Decimal Classification
005.13
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.
Bibliography, etc. Note
Includes bibliographical references and index.
Access Note
Access limited to authorized users.
Source of Description
Description based on print version record.
Series
Undergraduate topics in computer science.
Available in Other Form
Programming languages and operational semantics.
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
All Resources
Table of 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.
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.