Programming languages and operational semantics [electronic resource] : a concise overview / Maribel Fernández.
Fernández, Maribel, author.
2014
QA76.7
Available Online

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
DOI https://doi.org/10.1007/978-1-4471-6368-8
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
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.

Browse Subjects

Show more subjects...

Statistics

from
to
Export