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: Introduction to the Theory of Programming Languages
  name:
    name part: Dowek, Gilles.
    role:
      role term: creator
    role:
      role term: author.
  name:
    name part: Lévy, Jean-Jacques.
    role:
      role term: author.
  name:
    name part: SpringerLink (Online service)
  type of resource: text
  origin info:
    place:
      place term: xxk
    date issued: 2011
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: electronic
    form: electronic resource
    reformatting quality: access
    form: remote
    extent: XII, 96 p. online resource.
  abstract: The design and implementation of programming languages, from Fortran and Cobol to Caml and Java, has been one of the key developments in the management of ever more complex computerized systems. Introduction to the Theory of Programming Languages gives the reader the means to discover the tools to think, design, and implement these languages. It proposes a unified vision of the different formalisms that permit definition of a programming language: small steps operational semantics, big steps operational semantics, and denotational semantics, emphasising that all seek to define a relation between three objects: a program, an input value, and an output value. These formalisms are illustrated by presenting the semantics of some typical features of programming languages: functions, recursivity, assignments, records, objects, ... showing that the study of programming languages does not consist of studying languages one after another, but is organized around the features that are present in these various languages. The study of these features leads to the development of evaluators, interpreters and compilers, and also type inference algorithms, for small languages.
  table of contents: 1. Terms and Relations -- 2. The Language PCF -- 3. From Evaluation to Interpretation -- 4. Compilation -- 5. PCF with Types -- 6. Type Inference -- 7. References and Assignment -- 8. Records and Objects -- 9. Epilogue -- 10. Index -- 11. Bibliography.
  note: by Gilles Dowek, Jean-Jacques Lévy.
  subject:
    topic: Computer science
  subject:
    topic: Computers
  subject:
    topic: Computer logic
  subject:
    topic: Computer Science
  subject:
    topic: Theory of Computation
  subject:
    topic: Logics and Meanings of Programs
  classification: QA75.5-76.95
  classification: 004.0151
  related item:
    title info:
      title: Springer eBooks
  related item:
    title info:
      title: Undergraduate Topics in Computer Science
  identifier: 9780857290762
  identifier: http://dx.doi.org/10.1007/978-0-85729-076-2
  record info:
    record creation date: 101209
    record change date: 20151031101016.0
    record identifier: 978-0-85729-076-2