| Book Name: | Concepts and Semantics of Programming Languages 2 |
| Category: | Computer Books ( CE & IT ) |
| Free Download: | Available |
Concepts and Semantics of Programming Languages 2
Book Description
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 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 is used to study Ada and OCaml modules and C header files. It can be used to model object and class features and is thus used to describe Java, C++, OCaml, and Python classes.
This book is for both students and teachers of computer science. Experienced programmers will find a guide to reading reference manuals and the basics of program verification.
Concepts and Semantics of Programming Languages 2: Modular and Object-oriented Constructs with OCaml, Python, C++, Ada and Java
Author(s): Thérèse Hardin
Publisher: Wiley-ISTE, Year: 2021
ISBN: 1786306026,9781786306029
