𝔖 Scriptorium
✦   LIBER   ✦
📁

Concepts and Semantics of Programming Languages 2

✍ Scribed by Thérèse Hardin; Mathieu Jaume; François Pessaux; Véronique Viguié Donzeau-Gouge

Year
2021
Tongue
English
Category
Library
⬇  Acquire This Volume

No coin nor oath required. For personal study only.

✦ Synopsis

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

📜 SIMILAR VOLUMES

Concepts and Semantics of Programming La
📁 Concepts and Semantics of Programming Languages 1: A Semantical Approach with OCaml and Python
✍ Therese Hardin; Mathieu Jaume; Francois Pessaux; Veronique Viguie Donzeau-Gouge 📂 Library 📅 2021 🏛 John Wiley & Sons 🌐 English

This book – the first of two volumes – explores the syntactical constructs of the most common programming languages, and sheds a mathematical light on their semantics, while also providing an accurate presentation of the material aspects that interfere with coding. <p><i>Concepts and Semantics of Pr

Concepts and Semantics of Programming La
📁 Concepts and Semantics of Programming Languages 2: Modular and Object-oriented Constructs with OCaml, Python, C++, Ada and Java
✍ Thérèse Hardin 📂 Library 📅 2021 🏛 Wiley-ISTE 🌐 English

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. <i>Concepts and Semantics of Programmi

Semantics of Programming Languages and M
📁 Semantics of Programming Languages and Model Theory
✍ Manfred Droste, Yuri Gurevich 📂 Library 📅 1993 🏛 CRC Press;Gordon & Breach 🌐 English

The interplay between mathematical logic and the theory of programming languages has aroused an increasing amount of interest during the last decades. In this research area, the mathematical fields of model theory, logic and ordered structures have received new stimuli from computer science. Simulta