Concepts and Semantics of Programming Languages 2

Modular and Object-oriented Constructs with OCaml, Python, C++, Ada and Java Therese Hardin, Mathieu Jaume, ... [CON 14] CONCHON S., FILLIÂTRE J.-C., Apprendre à programmer avec OCaml : algorithmes et structures de données, Eyrolles, ...

Concepts and Semantics of Programming Languages 2

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.

More Books:

Concepts and Semantics of Programming Languages 2
Language: en
Pages: 272
Authors: Therese Hardin, Mathieu Jaume, François Pessaux, Veronique Viguie Donzeau-Gouge
Categories: Computers
Type: BOOK - Published: 2021-08-06 - Publisher: John Wiley & Sons

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
Codicology and Palaeography in the Digital Age
Language: de
Pages: 349
Authors: Malte Rehbein, Patrick Sahle, Torsten Schassan
Categories: Archival materials
Type: BOOK - Published: 2009 - Publisher: BoD – Books on Demand

Books about Codicology and Palaeography in the Digital Age
Unlimited Memory Improvement and Intelligence in Nature
Language: en
Pages: 68
Authors: Samuel Amoo
Categories: Archival materials
Type: BOOK - Published: 2017-06-07 - Publisher: Createspace Independent Publishing Platform

Do you want to Learn How to Use my newest working memory Strategies to Learn Faster, Be More Productive and Achieve More Success? Fact: Memory is like a muscle - the more it is used, the better it gets; and the more it is neglected, the worse it gets. This
French books in print, anglais
Language: fr
Pages: 3710
Authors: Electre
Categories: Archival materials
Type: BOOK - Published: 2000 - Publisher:

Books about French books in print, anglais