AdaTEC Conference on Ada

Publications

1982

Proceedings of the AdaTEC Conference on Ada, Arlington, Virginia, USA, October 6-8, 1982 AdaTEC Conference on Ada (1982)
Walter F. Tichy
Adabase: a data base for Ada programs. AdaTEC Conference on Ada (1982)
Paul N. Hilfinger
Implementation strategies for Ada tasking idioms. AdaTEC Conference on Ada (1982)
Olivier Roubine, Cii-Honeywell Bull, Joachim Teller, A. G. Siemens, Olivier Maurel, S. A. Alsys
Lolita: a low level intermediate language for Ada. AdaTEC Conference on Ada (1982)
S. Tucker Taft
Diana as an internal representation in an Ada-in-Ada compiler. AdaTEC Conference on Ada (1982)
Vittal Kini, David F. Martin, Allen Stoughton
Testing the INRIA Ada formal definition: the USC-ISI formal semantics project. AdaTEC Conference on Ada (1982)
Stephen B. Whitehill
An Ada virtual operating system. AdaTEC Conference on Ada (1982)
Morris E. Kranc
A command language for the Ada environment. AdaTEC Conference on Ada (1982)
Alessandro Fantechi, F. Gallo
Portable Ada programming system: a proposed run-time architecture. AdaTEC Conference on Ada (1982)
Anita Jones, Anders Ardö
Comparative efficiency of different implementations of the Ada rendezvous. AdaTEC Conference on Ada (1982)
Geert B. Clemmensen
A formal model of distributed Ada tasking. AdaTEC Conference on Ada (1982)
Gary Frankel, Roger Arnold
Linkage of Ada components: theme & variations. AdaTEC Conference on Ada (1982)
Shaula Yemini
On the suitability of Ada multitasking for expressing parallel algorithms. AdaTEC Conference on Ada (1982)
Richard M. Thall
The kapse for the Ada language system. AdaTEC Conference on Ada (1982)
Amir Pnueli, Willem P. de Roever
Rendezvous with ADA: a proof theoretical view. AdaTEC Conference on Ada (1982)
Arthur G. Duncan, John S. Hutchison
Using Ada for industrial embedded microprocessor applications, II. AdaTEC Conference on Ada (1982)
Steven M. German, David P. Helmbold, David C. Luckham
Monitoring for deadlocks in Ada tasking. AdaTEC Conference on Ada (1982)
Edmond Schonberg, Gerald A. Fisher
An efficient method for handling operator overloading in Ada. AdaTEC Conference on Ada (1982)
Wei Li
An operational semantics of multitasking and exception handling in Ada. AdaTEC Conference on Ada (1982)
Bill Appelbe, Gary Dismukes
An operational definition of intermediate code for implementing a portable Ada compiler. AdaTEC Conference on Ada (1982)
Martin Bever, Manfred Dausmann, Sophia Drossopoulou, Walter Kirchgässner, Peter C. Lockemann, Guido Persch, Georg Winterstein
The integration of existing database systems in an Ada environment. AdaTEC Conference on Ada (1982)
Richard T. Simpson
The als Ada compiler front end architecture. AdaTEC Conference on Ada (1982)
Mark Sherman, Andy Hisgen, Jonathan Rosenberg
A methodology for programming abstract data types in Ada. AdaTEC Conference on Ada (1982)
J. P. Privitera
Ada design language for the structured design methodology. AdaTEC Conference on Ada (1982)
Peter A. Belmont
On the access-before-elaboration problem in Ada. AdaTEC Conference on Ada (1982)
David B. Leblang
Abstract syntax based programming environments. AdaTEC Conference on Ada (1982)
Edward Falis
Design and implementation in Ada of a runtime task supervisor. AdaTEC Conference on Ada (1982)
Giorgio Bruno
An Ada package for discrete event simulation. AdaTEC Conference on Ada (1982)