%A John B. Goodenough
%T The Ada compiler validation capability
%J Proceedings of the ACM SIGPLAN Symposium on the Ada programming language
%C Boston, Massachusetts
%D December 1980
%O published as SIGPLAN Notices 15:11
%K ada_pl ada_pl80
%P 1-8

%A David S. Notkin
%T An experience with parallelism in Ada
%J Proceedings of the ACM SIGPLAN Symposium on the Ada programming language
%C Boston, Massachusetts
%D December 1980
%O published as SIGPLAN Notices 15:11
%K ada_pl ada_pl80
%P 9-15

%A Richard E. Fairley
%T Ada debugging and testing support environments
%J Proceedings of the ACM SIGPLAN Symposium on the Ada programming language
%C Boston, Massachusetts
%D December 1980
%O published as SIGPLAN Notices 15:11
%K ada_pl ada_pl80
%P 16-25

%A A.G. Duncan
%A J.S. Hutchison
%T Using Ada for industrial embedded microprocessor applications
%J Proceedings of the ACM SIGPLAN Symposium on the Ada programming language
%C Boston, Massachusetts
%D December 1980
%O published as SIGPLAN Notices 15:11
%K ada_pl ada_pl80
%P 26-35

%A Gerhard Goos
%A Georg Winterstein
%T Towards a compiler front-end for Ada
%J Proceedings of the ACM SIGPLAN Symposium on the Ada programming language
%C Boston, Massachusetts
%D December 1980
%O published as SIGPLAN Notices 15:11
%K ada_pl ada_pl80
%P 36-46

%A Guido Persch
%A Georg Winterstein
%A Manfred Dausmann
%A Sophia Drossopoulou
%T Overloading in preliminary Ada
%J Proceedings of the ACM SIGPLAN Symposium on the Ada programming language
%C Boston, Massachusetts
%D December 1980
%O published as SIGPLAN Notices 15:11
%K ada_pl ada_pl80
%P 47-56

%A Peter A. Belmont
%T Type resolution in Ada: an implementation report
%J Proceedings of the ACM SIGPLAN Symposium on the Ada programming language
%C Boston, Massachusetts
%D December 1980
%O published as SIGPLAN Notices 15:11
%K ada_pl ada_pl80
%P 57-61

%A Mark S. Sherman
%T A flexible semantic analyzer for Ada
%J Proceedings of the ACM SIGPLAN Symposium on the Ada programming language
%C Boston, Massachusetts
%D December 1980
%O published as SIGPLAN Notices 15:11
%K ada_pl ada_pl80
%P 62-71

%A Jonathan Rosenberg
%A David Alex Lamb
%A Andy Hisgen
%A Mark Sherman
%T The Charette Ada compiler
%J Proceedings of the ACM SIGPLAN Symposium on the Ada programming language
%C Boston, Massachusetts
%D December 1980
%O published as SIGPLAN Notices 15:11
%K ada_pl ada_pl80
%P 72-81

%A Andy Hisgen
%A David Alex Lamb
%A Jonathan Rosenberg
%A Mark Sherman
%T A runtime representation for Ada variables and types
%J Proceedings of the ACM SIGPLAN Symposium on the Ada programming language
%C Boston, Massachusetts
%D December 1980
%O published as SIGPLAN Notices 15:11
%K ada_pl ada_pl80
%P 82-90

%A Mark Sherman
%A Andy Hisgen
%A David Alex Lamb
%A Jonathan Rosenberg
%T An Ada code generator for VAX 11/780 with Unix
%J Proceedings of the ACM SIGPLAN Symposium on the Ada programming language
%C Boston, Massachusetts
%D December 1980
%O published as SIGPLAN Notices 15:11
%K ada_pl ada_pl80
%P 91-100

%A Benjamin M. Brosgol
%T TCOL(Ada) and the "middle end" of the PQCC Ada compiler
%J Proceedings of the ACM SIGPLAN Symposium on the Ada programming language
%C Boston, Massachusetts
%D December 1980
%O published as SIGPLAN Notices 15:11
%K ada_pl ada_pl80
%P 101-112

%A David C. Luckham
%A Wolfgang Polak
%T A practical method of documenting and verifying Ada programs with packages
%J Proceedings of the ACM SIGPLAN Symposium on the Ada programming language
%C Boston, Massachusetts
%D December 1980
%O published as SIGPLAN Notices 15:11
%K ada_pl ada_pl80
%P 113-122

%A William D. Young
%A Donald I. Good
%T Generics and verification in Ada
%J Proceedings of the ACM SIGPLAN Symposium on the Ada programming language
%C Boston, Massachusetts
%D December 1980
%O published as SIGPLAN Notices 15:11
%K ada_pl ada_pl80
%P 123-127

%A Bernd Krieg-Bruckner
%A David C. Luckham
%T ANNA: towards a language for annotating Ada programs
%J Proceedings of the ACM SIGPLAN Symposium on the Ada programming language
%C Boston, Massachusetts
%D December 1980
%O published as SIGPLAN Notices 15:11
%K ada_pl ada_pl80
%P 128-138

%A Lori A. Clarke
%A Jack C. Wileden
%A Alexander L. Wolf
%T Nesting in Ada programs is for the birds
%J Proceedings of the ACM SIGPLAN Symposium on the Ada programming language
%C Boston, Massachusetts
%D December 1980
%O published as SIGPLAN Notices 15:11
%K ada_pl ada_pl80
%P 139-145

%A Lee MacLaren
%T Evolving toward Ada in real time systems
%J Proceedings of the ACM SIGPLAN Symposium on the Ada programming language
%C Boston, Massachusetts
%D December 1980
%O published as SIGPLAN Notices 15:11
%K ada_pl ada_pl80
%P 146-155

%A W. Eventoff
%A D. Harvey
%A R.J. Price
%T The rendezvous and monitor concepts: is there an efficiency difference ?
%J Proceedings of the ACM SIGPLAN Symposium on the Ada programming language
%C Boston, Massachusetts
%D December 1980
%O published as SIGPLAN Notices 15:11
%K ada_pl ada_pl80
%P 156-165

%A David R, Stevenson
%T Algorithms for translating Ada multitasking
%J Proceedings of the ACM SIGPLAN Symposium on the Ada programming language
%C Boston, Massachusetts
%D December 1980
%O published as SIGPLAN Notices 15:11
%K ada_pl ada_pl80
%P 166-175

%A Gary L. Filipski
%A Donald R. Moore
%A John E. Newton
%T Ada as a software transition tool
%J Proceedings of the ACM SIGPLAN Symposium on the Ada programming language
%C Boston, Massachusetts
%D December 1980
%O published as SIGPLAN Notices 15:11
%K ada_pl ada_pl80
%P 176-182

%A Paul F. Albrecht
%A Phillip E. Garrison
%A Susan L. Graham
%A Robert H. Hyerle
%A Patricia Ip
%A Bernd Krieg-Bruckner
%T Source-to-source transformation: Ada to Pascal and Pascal to Ada
%J Proceedings of the ACM SIGPLAN Symposium on the Ada programming language
%C Boston, Massachusetts
%D December 1980
%O published as SIGPLAN Notices 15:11
%K ada_pl ada_pl80
%P 183-193

%A Robert B.K. Dewar
%A Gerald A. Fisher,\ Jr.
%A Edmond Schonberg
%A Robert Kroehlich
%A Stephen Bryant
%A Clinton F. Goss
%A Michael Burke
%T The NYU translator and interpreter
%J Proceedings of the ACM SIGPLAN Symposium on the Ada programming language
%C Boston, Massachusetts
%D December 1980
%O published as SIGPLAN Notices 15:11
%K ada_pl ada_pl80
%P 194-201

%A F.C. Belz
%A E.K. Blum
%A D. Heimbigner
%T A multi-processor implementation-oriented formal definition
of Ada in SEMANOL
%J Proceedings of the ACM SIGPLAN Symposium on the Ada programming language
%C Boston, Massachusetts
%D December 1980
%O published as SIGPLAN Notices 15:11
%K ada_pl ada_pl80
%P 202-212

%A Hans Henrik Lovengreen
%A Dines Bjorner
%T On a formal model of the tasking concept in Ada
%J Proceedings of the ACM SIGPLAN Symposium on the Ada programming language
%C Boston, Massachusetts
%D December 1980
%O published as SIGPLAN Notices 15:11
%K ada_pl ada_pl80
%P 213-222

%A L.J. Groves
%A W.J. Rogers
%T The design of a virtual machine for Ada
%J Proceedings of the ACM SIGPLAN Symposium on the Ada programming language
%C Boston, Massachusetts
%D December 1980
%O published as SIGPLAN Notices 15:11
%K ada_pl ada_pl80
%P 223-234

%A Judy M. Bishop
%T Effective machine descriptors for Ada
%J Proceedings of the ACM SIGPLAN Symposium on the Ada programming language
%C Boston, Massachusetts
%D December 1980
%O published as SIGPLAN Notices 15:11
%K ada_pl ada_pl80
%P 235-242

%A Donald Reifer
%T Ada's impact: a quantitative assessment
%J Proceedings of the ACM SIGAda International Conference on the Ada programming language: Using Ada
%C Boston, Massachusetts
%D December 1987
%K ada_pl ada_pl87

%A Sam Harbaugh
%T GKS/Ada post mortem: a cost analysis
%J Proceedings of the ACM SIGAda International Conference on the Ada programming language: Using Ada
%C Boston, Massachusetts
%D December 1987
%K ada_pl ada_pl87

%A Shunichi Fukuyama
%A Naoi Okuse
%A Masato Fujimaru
%A Seichi Yamasaki
%T Empirical guidelines to use Ada effectively
%J Proceedings of the ACM SIGAda International Conference on the Ada programming language: Using Ada
%C Boston, Massachusetts
%D December 1987
%K ada_pl ada_pl87

%A Fred Francl
%T Pioneering mission-critical Ada software
%J Proceedings of the ACM SIGAda International Conference on the Ada programming language: Using Ada
%C Boston, Massachusetts
%D December 1987
%K ada_pl ada_pl87

%A Gerald Karam
%A Raymond Buhr
%T Experience with the automatic temporal analysis of multitasking Ada designs
%J Proceedings of the ACM SIGAda International Conference on the Ada programming language: Using Ada
%C Boston, Massachusetts
%D December 1987
%K ada_pl ada_pl87

%A Charles Williams
%T Use of the Rational R1000 Ada development
for an IBM based command and control system
%J Proceedings of the ACM SIGAda International Conference on the Ada programming language: Using Ada
%C Boston, Massachusetts
%D December 1987
%K ada_pl ada_pl87

%A Disck Schefstrom
%T The system-oriented editor - a tool for managing large software systems
%J Proceedings of the ACM SIGAda International Conference on the Ada programming language: Using Ada
%C Boston, Massachusetts
%D December 1987
%K ada_pl ada_pl87

%A Trevor Moreton
%T Partitioned Ada libraries as a basis for variant control
%J Proceedings of the ACM SIGAda International Conference on the Ada programming language: Using Ada
%C Boston, Massachusetts
%D December 1987
%K ada_pl ada_pl87

%A Davis Ternes
%T Development software configuration and integration in a large Ada project
%J Proceedings of the ACM SIGAda International Conference on the Ada programming language: Using Ada
%C Boston, Massachusetts
%D December 1987
%K ada_pl ada_pl87

%A Liz Parrish
%T Design automation for Ada development under DOD-STD-2167 (and beyond)
%J Proceedings of the ACM SIGAda International Conference on the Ada programming language: Using Ada
%C Boston, Massachusetts
%D December 1987
%K ada_pl ada_pl87

%A L. Murray
%T A life-cycle oriented Ada design language
%J Proceedings of the ACM SIGAda International Conference on the Ada programming language: Using Ada
%C Boston, Massachusetts
%D December 1987
%K ada_pl ada_pl87

%A Amelia Maxted
%A John Rowe
%T An Ada graphical tool
%J Proceedings of the ACM SIGAda International Conference on the Ada programming language: Using Ada
%C Boston, Massachusetts
%D December 1987
%K ada_pl ada_pl87

%A Robert Mathis
%T Elementary functions package for Ada
%J Proceedings of the ACM SIGAda International Conference on the Ada programming language: Using Ada
%C Boston, Massachusetts
%D December 1987
%K ada_pl ada_pl87

%A Allan Klummp
%T An Ada linear algebra package modeled after HAL/S
%J Proceedings of the ACM SIGAda International Conference on the Ada programming language: Using Ada
%C Boston, Massachusetts
%D December 1987
%K ada_pl ada_pl87

%A Michael Walters
%T Expert systems development in Lisp and Ada
%J Proceedings of the ACM SIGAda International Conference on the Ada programming language: Using Ada
%C Boston, Massachusetts
%D December 1987
%K ada_pl ada_pl87

%A W. Schultz
%A A. Chandna
%A I. Bae
%T An Ada based approach to factory scale MAP network simulation
%J Proceedings of the ACM SIGAda International Conference on the Ada programming language: Using Ada
%C Boston, Massachusetts
%D December 1987
%K ada_pl ada_pl87

%A John Melde
%A Phillip Gage
%T Large system simulation using Ada
%J Proceedings of the ACM SIGAda International Conference on the Ada programming language: Using Ada
%C Boston, Massachusetts
%D December 1987
%K ada_pl ada_pl87

%A C. Amiguet
%A A. Schiper
%T Discrete-event simulation in Ada
%J Proceedings of the ACM SIGAda International Conference on the Ada programming language: Using Ada
%C Boston, Massachusetts
%D December 1987
%K ada_pl ada_pl87

%A Tod Baker
%T A low level tasking package for Ada
%J Proceedings of the ACM SIGAda International Conference on the Ada programming language: Using Ada
%C Boston, Massachusetts
%D December 1987
%K ada_pl ada_pl87

%A Richard Mueller
%T An Ada distributed multiprocessor executive:
from conceptualization to implementation
%J Proceedings of the ACM SIGAda International Conference on the Ada programming language: Using Ada
%C Boston, Massachusetts
%D December 1987
%K ada_pl ada_pl87

%A Shohei Fujita
%T Self-organizing distributed operating systems
- implementation and problems using Ada
%J Proceedings of the ACM SIGAda International Conference on the Ada programming language: Using Ada
%C Boston, Massachusetts
%D December 1987
%K ada_pl ada_pl87

%A R. Lucas
%T Real time Ada demonstration
%J Proceedings of the ACM SIGAda International Conference on the Ada programming language: Using Ada
%C Boston, Massachusetts
%D December 1987
%K ada_pl ada_pl87

%A Eric Schacht
%A James Holeman
%T Ada programming techniques, research, and experiences
on fast control loop systems
%J Proceedings of the ACM SIGAda International Conference on the Ada programming language: Using Ada
%C Boston, Massachusetts
%D December 1987
%K ada_pl ada_pl87

%A Michael Middlemas
%T Ada applications on embedded targets
%J Proceedings of the ACM SIGAda International Conference on the Ada programming language: Using Ada
%C Boston, Massachusetts
%D December 1987
%K ada_pl ada_pl87

%A Geoffrey Mendal
%T Stoareg reclamation models for Ada
%J Proceedings of the ACM SIGAda International Conference on the Ada programming language: Using Ada
%C Boston, Massachusetts
%D December 1987
%K ada_pl ada_pl87

%A Ron Kownacki
%A Tucker Taft
%T Portable and efficient dynamic storage management in Ada
%J Proceedings of the ACM SIGAda International Conference on the Ada programming language: Using Ada
%C Boston, Massachusetts
%D December 1987
%K ada_pl ada_pl87

%A Phillip LeFebvre
%T Reclamation of memory allocated for dynamic Ada tasking
%J Proceedings of the ACM SIGAda International Conference on the Ada programming language: Using Ada
%C Boston, Massachusetts
%D December 1987
%K ada_pl ada_pl87

%A Yoelle Maarek
%A Gail Kaiser
%T Using conceptual clustering for classifying reusable Ada code
%J Proceedings of the ACM SIGAda International Conference on the Ada programming language: Using Ada
%C Boston, Massachusetts
%D December 1987
%K ada_pl ada_pl87

%A David Musser
%A Alexander Stepanov
%T A library of generic algorithms in Ada
%J Proceedings of the ACM SIGAda International Conference on the Ada programming language: Using Ada
%C Boston, Massachusetts
%D December 1987
%K ada_pl ada_pl87

%A Manfred Dausmann
%T Library structures for reusable components
%J Proceedings of the ACM SIGAda International Conference on the Ada programming language: Using Ada
%C Boston, Massachusetts
%D December 1987
%K ada_pl ada_pl87