rdf-syntax-grammar
mods:
  schema location: http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
  title info:
    title: Concepts and semantics of programming languages 2
    sub title: modular and object-oriented constructs with Ocaml, Python, C++, Ada and Java
  name:
    name part: Hardin, Thérèse
    role:
      role term: creator
    role:
      role term: author.
  name:
    name part: Jaume, Mathieu
    role:
      role term: author.
  name:
    name part: Pessaux, Francois
    role:
      role term: author.
  name:
    name part: Donzeau-Gouge, Véronique
    role:
      role term: author.
  type of resource: text
  genre: Electronic books.
  origin info:
    place:
      place term: enk
    date issued: 2021
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: remote
    extent: 1 online resource (1 volume)
  abstract: 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.
  note: Thérèse Hardin, Mathieu Jaume, Francois Pessaux, Veronique Viguie Donzeau-Gouge.
  subject:
    topic: Programming languages (Electronic computers)
    topic: Semantics
  subject:
    topic: OCaml (Computer program language)
  subject:
    topic: Python (Computer program language)
  subject:
    topic: C++ (Computer program language)
  subject:
    topic: Ada (Computer program language)
  subject:
    topic: Java (Computer program language)
  classification: QA76.7 .H37 2021
  classification: 005.13
  related item:
    title info:
      title: Concepts and semantics of programming languages 2
    name:
      name part: Hardin, Therese.
    origin info:
      publisher: London : Wiley-ISTE, 2021
  related item:
    title info:
      title: Computer engineering series (London, England)
  identifier: 9781119851196
  identifier: 111985119X
  identifier: 1119851181
  identifier: 9781119851189
  identifier: 9781786306029
  identifier: 1786306026
  identifier: 9781119851189 Wiley
  identifier: 9781786306029 O'Reilly Media
  identifier: http://proxy.library.tamu.edu/login
  record info:
    record content source: NhCcYBP
    record creation date: 210929
    record change date: 20260214210408.3
    record identifier: in00005618787
    language of cataloging:
      language term: eng