Hardin, Th�er�ese, <br/><br/>
Concepts and semantics of programming languages 2 :  modular and object-oriented constructs with Ocaml, Python, C++, Ada and Java / 
Th�er�ese Hardin, Mathieu Jaume, Francois Pessaux, Veronique Viguie Donzeau-Gouge. 
 - 1 online resource (1 volume) 
 - Computer engineering series .
 - Computer engineering series (London, England) .
<br/><br/> 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. 
<br/><br/><label>ISBN: </label>9781119851196 111985119X 1119851181 9781119851189 
<br/><br/><label>Standard No.: </label>10.1002/9781119851196  doi 
<br/><br/><label>Source: </label>9781119851189  Wiley 9781786306029  O'Reilly Media 
<br/><br/><label>Nat. Bib. No.: </label>GBC1D7816  bnb 
<br/><br/><label>Nat. Bib. Agency Control No.: </label>020300536  Uk 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Programming languages (Electronic computers)--Semantics.<br/>OCaml (Computer program language)<br/>Python (Computer program language)<br/>C++ (Computer program language)<br/>Ada (Computer program language)<br/>Java (Computer program language)<br/>Langages de programmation--S�emantique.<br/>OCaml (Langage de programmation)<br/>Python (Langage de programmation)<br/>C++ (Langage de programmation)<br/>Ada (Langage de programmation)<br/>Java (Langage de programmation)<br/>Ada (Computer program language)<br/>C++ (Computer program language)<br/>Java (Computer program language)<br/>OCaml (Computer program language)<br/>Programming languages (Electronic computers)--Semantics<br/>Python (Computer program language)
<br/><br/><label>LC Class. No.: </label>QA76.7 
<br/><br/><label>Dewey Class. No.: </label>005.13