Treffer: Concepts and Semantics of Programming Languages 1: A Semantical Approach with OCaml and Python

Title:
Concepts and Semantics of Programming Languages 1: A Semantical Approach with OCaml and Python
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:9781786305305 |Online ISBN:9781119824121. ⟨10.1002/9781119824121⟩
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
collection:DEPARTEMENT-DE-MATHEMATIQUES
Subject Terms:
ACM: D.: Software, ACM: F.: Theory of Computation, [INFO]Computer Science [cs]
Original Identifier:
HAL: hal-03337156
Document Type:
Buch book<br />Books
Language:
English
ISBN:
978-1-78630-530-5
978-1-119-82412-1
Relation:
info:eu-repo/semantics/altIdentifier/doi/10.1002/9781119824121
DOI:
10.1002/9781119824121
Availability:
https://hal.science/hal-03337156
Accession Number:
edshal.hal.03337156v1
Database:
HAL

Weitere Informationen

This book – the first of two volumes – explores the syntactical constructs of the most common programming languages, and sheds a mathematical light on their semantics, while also providing an accurate presentation of the material aspects that interfere with coding.Concepts and Semantics of Programming Languages 1 is dedicated to functional and imperative features. Included is the formal study of the semantics of typing and execution; their acquisition is facilitated by implementation into OCaml and Python, as well as by worked examples. Data representation is considered in detail: endianness, pointers, memory management, union types and pattern-matching, etc., with examples in OCaml, C and C++. The second volume introduces a specific model for studying modular and object features and uses this model to present Ada and OCaml modules, and subsequently Java, C++, OCaml and Python classes and objects.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.