Skip to main content
SpringerLink
Log in
Book cover

Ada Software Tools Interfaces

Workshop, Bath, July 13-15, 1983. Proceedings

  • Conference proceedings
  • © 1984

Overview

Editors:
  1. Peter J. L. Wallis
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 180)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (11 papers)

  1. Front Matter

    Download chapter PDF

  2. Introduction

    Pages 1-2

  3. Diana past, present, and future

    • Kenneth J. Butler
    Pages 3-22

  4. The intermediate language Diana design and implementation

    • Guido Persch, Manfred Dausmann
    Pages 23-34

  5. A formal definition of Diana

    • Jurgen Uhl
    Pages 35-47

  6. Dianette — A pragmatic variant of Diana

    • M P Harrison
    Pages 48-59

  7. The design of air and its application to ada separate compilation

    • James S Briggs
    Pages 60-75

  8. The use of Diana in compilers, language transformers, formatters, and debuggers

    • Guido Persch
    Pages 76-87

  9. The DIANA interfacer

    • T. Payton, S Keller, J Perkins, S. Mardinly
    Pages 88-103

  10. Designing and testing interfaces for portable software: Ada TEXT_IO as an example

    • John B Goodenough, Thomas H Probert
    Pages 104-114

  11. Databases in software development: The Ada programming support environment

    • J A Hall
    Pages 115-132

  12. The Toolpack/Ist approach to extensibility in software environments

    • Leon Osterweil, Geoffrey Clemm
    Pages 133-163
Back to top

Keywords

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation