Treffer: Concepts and Semantics of Programming Languages 2

Title:
Concepts and Semantics of Programming Languages 2
Concepts and Semantics of Programming Languages 2: Modular and Object‐oriented Constructs with OCaml, Python, C++, Ada and Java
Authors:
Hardin, Thérèse, Jaume, Mathieu, Pessaux, François, Viguié Donzeau-Gouge, Véronique
Contributors:
LIP6, Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS), Modélisation et Vérification (MoVe), Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS), Unité d'Informatique et d'Ingénierie des Systèmes (U2IS), École Nationale Supérieure de Techniques Avancées (ENSTA Paris), Institut Polytechnique de Paris (IP Paris)-Institut Polytechnique de Paris (IP Paris), CEDRIC. Systèmes sûrs (CEDRIC - SYS), Centre d'études et de recherche en informatique et communications (CEDRIC), Ecole Nationale Supérieure d'Informatique pour l'Industrie et l'Entreprise (ENSIIE)-Conservatoire National des Arts et Métiers [Cnam] (Cnam)-Ecole Nationale Supérieure d'Informatique pour l'Industrie et l'Entreprise (ENSIIE)-Conservatoire National des Arts et Métiers [Cnam] (Cnam)
Source:
ISTE Wiley, 2021, Print ISBN:9781786306029 |Online ISBN:9781119851196. ⟨10.1002/9781119851196⟩
Publisher Information:
CCSD; ISTE Wiley, 2021.
Publication Year:
2021
Collection:
collection:CNRS
collection:CNAM
collection:LIP6
collection:ENSTA_U2IS
collection:SORBONNE-UNIVERSITE
collection:SORBONNE-UNIV
collection:CEDRIC-CNAM
collection:SU-SCIENCES
collection:IP_PARIS
collection:TEST-HALCNRS
collection:ALLIANCE-SU
collection:TEST3-HALCNRS
collection:HESAM-CNAM
collection:HESAM
collection:SUPRA_MATHS_INFO
collection:ENSTA-PARIS
collection:ENSTA
Subject Terms:
ACM: D.: Software, ACM: F.: Theory of Computation, [INFO]Computer Science [cs]
Original Identifier:
HAL: hal-03337213
Document Type:
Buch book<br />Books
Language:
English
ISBN:
978-1-78630-602-9
978-1-119-85119-6
Relation:
info:eu-repo/semantics/altIdentifier/doi/10.1002/9781119851196
DOI:
10.1002/9781119851196
Availability:
https://hal.science/hal-03337213
Accession Number:
edshal.hal.03337213v1
Database:
HAL

Weitere Informationen

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.