Ada Software Tools Interfaces 1983: Bath, UK

Peter J. L. Wallis (Ed.): Ada Software Tools Interfaces, Workshop, Bath, UK, July 13-15, 1983, Proceedings. Lecture Notes in Computer Science 180 Springer 1984, ISBN 3-540-13878-1 BibTeX

@proceedings{DBLP:conf/adaEurope/1983,
  editor    = {Peter J. L. Wallis},
  title     = {Ada Software Tools Interfaces, Workshop, Bath, UK, July 13-15,
               1983, Proceedings},
  booktitle = {Ada Software Tools Interfaces},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {180},
  year      = {1984},
  isbn      = {3-540-13878-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

The Diana Interface

Kenneth J. Butler: Diana Past, Present, and Future. 3-22 BibTeX
Guido Persch, Manfred Dausmann: The Intermediate Language Diana. 23-34 BibTeX
Jürgen Uhl: A Formal Definition of Diana. 35-47 BibTeX

Diana Variants

M. P. Harrison: Dianette - A Pragmatic Variant of Diana. 48-59 BibTeX
James S. Briggs: The Design of AIR and its Application to Ada Separate Compilation. 60-75 BibTeX

Diana in Use

Guido Persch: The Use of Diana in Compilers, Language Transformers, Formatters and Debuggers. 76-87 BibTeX
Teri F. Payton, S. E. Keller, J. A. Perkins, S. P. Mardinly: The Diana Interfacer. 88-103 BibTeX

Tools Interfaces in General

John B. Goodenough, Thomas H. Probert: Designing and Testing Interfaces for Portable Software: Ada TEXT_IO as an Example. 104-114 BibTeX
J. A. Hall: Databases in Software Development: The Ada Programming Support Environment. 115-132 BibTeX
Leon J. Osterweil, Geoffrey Clemm: The Toolpack/IST Approach to Extensibility in Software Environments. 133-163 BibTeX