Concepts and Semantics of Programming Languages 2 

Concepts and Semantics of Programming Languages 2 pdf

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


Download


Buy From Amazon

Thanks For Visiting Our Website http://www.freepdfbook.com To Support Us, Keep Share On Social Media.