Description |
1 online resource (1 volume) |
Series |
Computer engineering series |
|
Computer engineering series (London, England)
|
Summary |
This book - composed of two volumes - explores the syntactical constructs of the most common programming languages, and sheds a mathematical light on their semantics, providing also an accurate presentation of the material aspects that interfere with coding. Concepts and Semantics of Programming Languages 2 presents an original semantic model, collectively taking into account all of the constructs and operations of modules and classes: visibility, import, export, delayed definitions, parameterization by types and values, extensions, etc. The model serves for the study of Ada and OCaml modules, as well as C header files. It can be deployed to model object and class features, and is thus used to describe Java, C++, OCaml and Python classes. This book is intended not only for computer science students and teachers but also seasoned programmers, who will find a guide to reading reference manuals and the foundations of program verification. |
Subject |
Programming languages (Electronic computers) -- Semantics.
|
|
OCaml (Computer program language)
|
|
Python (Computer program language)
|
|
C++ (Computer program language)
|
|
Ada (Computer program language)
|
|
Java (Computer program language)
|
|
Langages de programmation -- Sémantique. |
|
OCaml (Langage de programmation) |
|
Python (Langage de programmation) |
|
C++ (Langage de programmation) |
|
Ada (Langage de programmation) |
|
Java (Langage de programmation) |
|
Ada (Computer program language) |
|
C++ (Computer program language) |
|
Java (Computer program language) |
|
OCaml (Computer program language) |
|
Programming languages (Electronic computers) -- Semantics |
|
Python (Computer program language) |
Added Author |
Jaume, Mathieu, author.
|
|
Pessaux, Francois, author.
|
|
Donzeau-Gouge, Véronique, author.
|
Other Form: |
Print version: Hardin, Therese. Concepts and semantics of programming languages 2. London : Wiley-ISTE, 2021 9781786306029 (OCoLC)1264399103 |
ISBN |
9781119851196 (electronic bk. ; oBook) |
|
111985119X (electronic bk.) |
|
1119851181 |
|
9781119851189 (electronic bk.) |
Standard No. |
10.1002/9781119851196 doi |
|