![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
SIGPLAN 1980: Boston, MA, USA
- Paul W. Abrahams:
Proceedings of the ACM-SIGPLAN symposium on The ADA programming language, SIGPLAN 1980, Boston, Massachusetts, USA, December 9, 1980. ACM 1980, ISBN 978-0-89791-030-9
Use
- John B. Goodenough:
The Ada compiler validation capability. 1-8 - David Notkin:
An experience with parallelism in Ada. 9-15 - Richard E. Fairley:
Ada debugging and testing support environments. 16-25 - Arthur G. Duncan, John S. Hutchison:
Using Ada for industrial embedded microprocessor applications. 26-35
Compilers
- Gerhard Goos, Georg Winterstein:
Towards a compiler front-end for Ada. 36-46 - Guido Persch, Georg Winterstein, Manfred Dausmann, Sophia Drossopoulou:
Overloading in preliminary Ada. 47-56 - Peter A. Belmont:
Type resolution in Ada: an implementation report. 57-61 - Mark Steven Sherman, Martha Borkan:
A flexible semantic analyzer for Ada. 62-71 - Jonathan Rosenberg, David Alex Lamb, Andy Hisgen, Mark Sherman:
The Charrette Ada compiler. 72-81 - Andy Hisgen, David Alex Lamb, Jonathan Rosenberg, Mark Sherman:
A runtime representation for Ada variables and types. 82-90 - Mark Sherman, Andy Hisgen, David Alex Lamb, Jonathan Rosenberg:
An Ada code generator for VAX 11/780 with Unix. 91-100 - Benjamin M. Brosgol:
TCOLAda and the "middle end" of the PQCC Ada compiler. 101-112
Style
- David C. Luckham, Wolfgang Polak:
A practical method of documenting and verifying Ada programs with packages. 113-122 - William D. Young, Donald I. Good:
Generics and verification in Ada. 123-127 - Bernd Krieg-Brückner, David C. Luckham:
ANNA: towards a language for annotating Ada programs. 128-138 - Lori A. Clarke, Jack C. Wileden, Alexander L. Wolf:
Nesting in Ada programs is for the birds. 139-145
Tasking
- Lee MacLaren:
Evolving toward Ada in real time systems. 146-155 - William Eventoff, D. Harvey, Rosanne J. Price:
The rendezvous and monitor concepts: is there an efficiency difference? 156-165 - David R. Stevenson:
Algorithms for translating Ada multitasking. 166-175
Transition
- Gary L. Filipski, Donald R. Moore, John E. Newton:
Ada as a software transition tool. 176-182 - Paul F. Albrecht, Philip E. Garrison, Susan L. Graham, Robert H. Hyerle, Patricia Ip, Bernd Krieg-Brückner:
Source-to-source translation: Ada to Pascal and Pascal to Ada. 183-193 - Robert B. K. Dewar, Gerald A. Fisher, Edmond Schonberg, Robert Fröhlich, Stephen Bryant, Clinton F. Goss, Michael G. Burke:
The NYU Ada translator and interpreter. 194-201
Execution models and architecture
- Frank C. Belz, Edward K. Blum, Dennis Heimbigner:
A multi-processing implementation-oriented formal definition of Ada in SEMANOL. 202-212 - Hans Henrik Løvengreen, Dines Bjørner:
On a formal model of the tasking concept in Ada. 213-222 - Lindsay J. Groves, William J. Rogers:
The design of a virtual machine for Ada. 223-234 - Judy M. Bishop:
Effective machine descriptors for Ada. 235-242
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.