Research Catalog

Towards a formal description of Ada

Title
Towards a formal description of Ada / edited by D. Bjørner and O.N. Oest.
Publication
Berlin ; New York : Springer-Verlag, 1980.

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.73.A35 xT69Off-site

Details

Additional Authors
  • Bjørner, D. (Dines), 1937-
  • Oest, O. N.
Description
xii, 630 pages; 25 cm
Series Statement
Lecture notes in computer science ; 98
Uniform Title
Lecture notes in computer science ; 98.
Subject
  • Ada
  • Ada (Computer program language)
  • Programming languages (Electronic computers) > Semantics
  • ADA
  • Ada (langage de programmation)
  • Langages de programmtion > Sémantique
Bibliography (note)
  • Bibliography: p.626-630.
Contents
The DDC Ada compiler development method -- A denotational (static) semantics method for defining Ada context conditions -- A formal semantics definition of sequential Ada -- Parallelism in Ada -- The design of a virtual machine for Ada.
ISBN
  • 0387102833
  • 9780387102832
  • 3540102833
  • 9783540102830
LCCN
82136131
OCLC
  • ocm07299701
  • 7299701
  • SCSB-30660
Owning Institutions
Princeton University Library