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.
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.
Betaal eenvoudig met kaart, Klarna, Apple Pay of Google Pay. Niet tevreden? Je hebt altijd 14 dagen bedenktijd. Lees meer in onze voorwaarden. Heb je vragen, mail ons dan via hello@memmo.org.
Memmo maakt studeren makkelijker – waar je ook bent ter wereld. Wij brengen je cursusboeken en slimme studietools samen op één plek: samenvattingen, quizzen, podcasts en flashcards. En Ted, je studievriend die antwoord geeft op alles wat je je afvraagt. Meer dan 50.000 studenten studeren hier al – gebouwd om je sneller te laten leren en minder stress te geven.