Concepts and Semantics of Programming Languages Volume 2 - A Semantical Approach with OCaml and Python (Hardcover)

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.

General

Imprint:	Iste
Country of origin:	United Kingdom
Release date:	November 2021
First published:	2021
Authors:	T. Hardin
Dimensions:	243 x 157 x 20mm (L x W x T)
Format:	Hardcover
Pages:	272
ISBN-13:	978-1-78630-602-9
Categories:	Books > Computing & IT > Computer programming > General Promotions
LSN:	1-78630-602-6
Barcode:	9781786306029

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!