Peter J. L. Wallis
Proceedings of the Workshop on Ada Software Tools Interfaces
Ada Software Tools Interfaces, 1983.

@proceedings{Ada-1983,
	address       = "Bath, United Kingdom",
	editor        = "Peter J. L. Wallis",
	isbn          = "3-540-13878-1",
	publisher     = "{Springer-Verlag}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Workshop on Ada Software Tools Interfaces}",
	volume        = 180,
	year          = 1983,
}

Contents (10 items)

3 ×#ada
2 ×#compilation
2 ×#design
2 ×#interface

Ada-1983-Butler #past present future

Diana Past, Present, and Future (KJB), pp. 3–22.

Ada-1983-PerschD

The Intermediate Language Diana (GP, MD), pp. 23–34.

Ada-1983-Uhl

A Formal Definition of Diana (JU), pp. 35–47.

Ada-1983-Harrison #named

Dianette — A Pragmatic Variant of Diana (MPH), pp. 48–59.

Ada-1983-Briggs #ada #compilation #design

The Design of AIR and its Application to Ada Separate Compilation (JSB), pp. 60–75.

Ada-1983-Persch #compilation #using

The Use of Diana in Compilers, Language Transformers, Formatters and Debuggers (GP), pp. 76–87.

Ada-1983-PaytonKPM #interface

The Diana Interfacer (TFP, SEK, JAP, SPM), pp. 88–103.

Ada-1983-GoodenoughP #ada #design #interface #testing

Designing and Testing Interfaces for Portable Software: Ada TEXT_IO as an Example (JBG, THP), pp. 104–114.

Ada-1983-Hall #ada #database #development #programming

Databases in Software Development: The Ada Programming Support Environment (JAH), pp. 115–132.

Ada-1983-OsterweilC #approach

The Toolpack/IST Approach to Extensibility in Software Environments (LJO, GC), pp. 133–163.