Abstract is missing.
- The Ada compiler validation capabilityJohn B. Goodenough 0002. 1-8 [doi]
- An experience with parallelism in AdaDavid Notkin. 9-15 [doi]
- Ada debugging and testing support environmentsRichard E. Fairley. 16-25 [doi]
- Using Ada for industrial embedded microprocessor applicationsArthur G. Duncan, John S. Hutchison. 26-35 [doi]
- Towards a compiler front-end for AdaGerhard Goos, Georg Winterstein. 36-46 [doi]
- Overloading in preliminary AdaGuido Persch, Georg Winterstein, Manfred Dausmann, Sophia Drossopoulou. 47-56 [doi]
- Type resolution in Ada: an implementation reportPeter A. Belmont. 57-61 [doi]
- A flexible semantic analyzer for AdaMark S. Sherman, Martha Borkan. 62-71 [doi]
- The Charrette Ada compilerJonathan Rosenberg, David Alex Lamb, Andy Hisgen, Mark Sherman. 72-81 [doi]
- A runtime representation for Ada variables and typesAndy Hisgen, David Alex Lamb, Jonathan Rosenberg, Mark Sherman. 82-90 [doi]
- An Ada code generator for VAX 11/780 with UnixMark Sherman, Andy Hisgen, David Alex Lamb, Jonathan Rosenberg. 91-100 [doi]
- Ada and the "middle end" of the PQCC Ada compilerBenjamin M. Brosgol. 101-112 [doi]
- A practical method of documenting and verifying Ada programs with packagesDavid C. Luckham, Wolfgang Polak. 113-122 [doi]
- Generics and verification in AdaWilliam D. Young, Donald I. Good. 123-127 [doi]
- ANNA: towards a language for annotating Ada programsBernd Krieg-Brückner, David C. Luckham. 128-138 [doi]
- Nesting in Ada programs is for the birdsLori A. Clarke, Jack C. Wileden, Alexander L. Wolf. 139-145 [doi]
- Evolving toward Ada in real time systemsLee MacLaren. 146-155 [doi]
- The rendezvous and monitor concepts: is there an efficiency difference?William Eventoff, D. Harvey, Rosanne J. Price. 156-165 [doi]
- Algorithms for translating Ada multitaskingDavid R. Stevenson. 166-175 [doi]
- Ada as a software transition toolGary L. Filipski, Donald R. Moore, John E. Newton. 176-182 [doi]
- Source-to-source translation: Ada to Pascal and Pascal to AdaPaul F. Albrecht, Philip E. Garrison, Susan L. Graham, Robert H. Hyerle, Patricia Ip, Bernd Krieg-Brückner. 183-193 [doi]
- The NYU Ada translator and interpreterRobert B. K. Dewar, Gerald A. Fisher, Edmond Schonberg, Robert Fröhlich, Stephen Bryant, Clinton F. Goss, Michael G. Burke. 194-201 [doi]
- A multi-processing implementation-oriented formal definition of Ada in SEMANOLFrank C. Belz, Edward K. Blum, Dennis Heimbigner. 202-212 [doi]
- On a formal model of the tasking concept in AdaHans Henrik Løvengreen, Dines Bjørner. 213-222 [doi]
- The design of a virtual machine for AdaLindsay J. Groves, William J. Rogers. 223-234 [doi]
- Effective machine descriptors for AdaJudy M. Bishop. 235-242 [doi]