Coverart for item
The Resource Introduction to the theory of programming languages, Gilles Dowek, Jean-Jacques Lévy

Introduction to the theory of programming languages, Gilles Dowek, Jean-Jacques Lévy

Label
Introduction to the theory of programming languages
Title
Introduction to the theory of programming languages
Statement of responsibility
Gilles Dowek, Jean-Jacques Lévy
Creator
Contributor
Subject
Language
  • eng
  • fre
  • eng
Summary
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
Member of
Cataloging source
GW5XE
http://library.link/vocab/creatorName
Dowek, Gilles
Dewey number
005.13
Index
index present
LC call number
QA76.7
LC item number
.D69 2011
Literary form
non fiction
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorDate
1947-
http://library.link/vocab/relatedWorkOrContributorName
Lévy, Jean-Jacques
Series statement
Undergraduate topics in computer science
http://library.link/vocab/subjectName
  • Programming languages (Electronic computers)
  • Programming languages (Electronic computers)
  • Informatique
  • Programming languages (Electronic computers)
  • Programming languages (Electronic computers)
Label
Introduction to the theory of programming languages, Gilles Dowek, Jean-Jacques Lévy
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Terms and relations -- The language PCF -- From evaluation to interpretation -- Compilation -- PCF with types -- Type inference -- References and assignment -- Records and objects
Control code
700167280
Dimensions
unknown
Extent
1 online resource (xi, 96 pages).
Form of item
online
Isbn
9780857290755
Lccn
2011499024
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/978-0-85729-076-2
http://library.link/vocab/ext/overdrive/overdriveId
978-0-85729-075-5
Specific material designation
remote
System control number
(OCoLC)700167280
Label
Introduction to the theory of programming languages, Gilles Dowek, Jean-Jacques Lévy
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Terms and relations -- The language PCF -- From evaluation to interpretation -- Compilation -- PCF with types -- Type inference -- References and assignment -- Records and objects
Control code
700167280
Dimensions
unknown
Extent
1 online resource (xi, 96 pages).
Form of item
online
Isbn
9780857290755
Lccn
2011499024
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/978-0-85729-076-2
http://library.link/vocab/ext/overdrive/overdriveId
978-0-85729-075-5
Specific material designation
remote
System control number
(OCoLC)700167280

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
    • Engineering Library & Technology CommonsBorrow it
      W2001 Lafferre Hall, Columbia, MO, 65211, US
      38.946102 -92.330125
Processing Feedback ...