Research Catalog

Denotational semantics : the Scott-Strachey approach to programming language theory

Title
Denotational semantics : the Scott-Strachey approach to programming language theory / by Joseph E. Stoy.
Author
Stoy, Joseph.
Publication
Cambridge, Mass. : MIT Press, ©1977.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
How do I pick up this item and when will it be ready?
TextUse in library QA76.7 .S751Off-site

Details

Description
xxx, 414 pages : illustrations; 24 cm
Series Statement
The MIT Press series in computer science ; 1
Uniform Title
MIT Press series in computer science ; 1.
Subject
  • Denotational semantics
  • Programming languages (Electronic computers) > Semantics
  • Programming languages (Electronic computers) > Semantics
  • Denotational semantics
  • Lambda-Kalkül
  • Programmiersprache
  • Programmverifikation
  • Semantik
  • Programmeertalen
Note
  • Includes index.
Bibliography (note)
  • Bibliography: p. [394]-400.
ISBN
  • 0262191474
  • 9780262191470
  • 0262690764
  • 9780262690768
LCCN
77011962
OCLC
  • ocm03223780
  • 3223780
  • SCSB-9147177
Owning Institutions
Princeton University Library