Kids Library Home

Welcome to the Kids' Library!

Search for books, movies, music, magazines, and more.

Available items only
Author Fernández, Maribel, author.

Title Programming languages and operational semantics : a concise overview / Maribel Fernández.

Publication Info. Berlin : Springer, [2014]


Location Call No. OPAC Message Status
 Axe Books 24x7 IT E-Book  Electronic Book    ---  Available
Description 1 online resource (ix, 209 pages).
text txt rdacontent
computer c rdamedia
online resource cr rdacarrier
text file PDF rda
Series Undergraduate topics in computer science
Undergraduate topics in computer science.
Bibliography Includes bibliographical references and index.
Note Print version record.
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.
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.
Language English.
Subject Programming languages (Electronic computers) -- Semantics.
Programming languages (Electronic computers) -- Semantics. (OCoLC)fst01078716
Engineering & Applied Sciences.
Computer Science.
Computer Science.
Software Engineering/Programming and Operating Systems.
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Theory of Computation.
Logics and Meanings of Programs.
Genre/Form Electronic books.
Other Form: Print version: Fernández, Maribel. Programming languages and operational semantics. Berlin : Springer, 2014 9781447163671 (OCoLC)872711098
ISBN 9781447163688 (electronic bk.)
1447163680 (electronic bk.)
9781447163671 (pbk.)
1447163672 (pbk.)
Standard No. 10.1007/978-1-4471-6368-8 doi
AU@ 000057657018
DKDLA 820120-katalog:000670102
NLGGC 384131158
NLGGC 389777072
NZ1 15402375

Available items only