Table of contents

  1. Front Matter
  2. Dines Bjørner, Ole Nybye Oest
    Pages 1-20
  3. Jan Storbank Pedersen
    Pages 213-308
  4. Hans Henrik Løvengreen
    Pages 309-434
  5. Ole Dommergaard
    Pages 435-606
  6. Back Matter

About this book

Keywords

Ada compiler design development form parallelism semantics virtual machine virtual machines

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-10283-3
  • Copyright Information Springer-Verlag 1980
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-10283-0
  • Online ISBN 978-3-540-38415-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book
Industry Sectors
Pharma
Automotive
Biotechnology
Electronics
Telecommunications
Aerospace