Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAdaTEC Conference on Ada 1982: Arlington, VA, USA
- Gerald A. Fisher:
Proceedings of the AdaTEC Conference on Ada, Arlington, Virginia, USA, October 6-8, 1982. ACM 1982, ISBN 0-89791-087-7
Tasking and runtime systems
- Edward Falis:
Design and implementation in Ada of a runtime task supervisor. 1-7 - Steven M. German, David P. Helmbold, David C. Luckham:
Monitoring for deadlocks in Ada tasking. 10-25 - Paul N. Hilfinger:
Implementation strategies for Ada tasking idioms. 26-30
Kapse issues
- Richard M. Thall:
The kapse for the Ada language system. 31-47 - Alessandro Fantechi, F. Gallo:
Portable Ada programming system: a proposed run-time architecture. 48-56 - Walter F. Tichy:
Adabase: a data base for Ada programs. 57-65
Education
- Mark Sherman, Andy Hisgen, Jonathan Rosenberg:
A methodology for programming abstract data types in Ada. 66-75 - J. P. Privitera:
Ada design language for the structured design methodology. 76-90 - Shaula Yemini:
On the suitability of Ada multitasking for expressing parallel algorithms. 91-97
Compiler front ends
- Richard T. Simpson:
The als Ada compiler front end architecture. 98-106 - Edmond Schonberg, Gerald A. Fisher:
An efficient method for handling operator overloading in Ada. 107-111 - Peter A. Belmont:
On the access-before-elaboration problem in Ada. 112-119
Formalism
- Vittal Kini, David F. Martin, Allen Stoughton:
Testing the INRIA Ada formal definition: the USC-ISI formal semantics project. 120-128 - Amir Pnueli, Willem P. de Roever:
Rendezvous with ADA: a proof theoretical view. 129-137 - Wei Li:
An operational semantics of multitasking and exception handling in Ada. 138-151
Applications
- Arthur G. Duncan, John S. Hutchison:
Using Ada for industrial embedded microprocessor applications, II. 152-161 - 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. 162-171 - Giorgio Bruno:
An Ada package for discrete event simulation. 172-180
Tools
- Morris E. Kranc:
A command language for the Ada environment. 181-186 - David B. Leblang:
Abstract syntax based programming environments. 187-200 - Gary Frankel, Roger Arnold:
Linkage of Ada components: theme & variations. 201-211
Operating system issues
- Anita Jones, Anders Ardö:
Comparative efficiency of different implementations of the Ada rendezvous. 212-223 - Geert B. Clemmensen:
A formal model of distributed Ada tasking. 224-237 - Stephen B. Whitehill:
An Ada virtual operating system. 238-250
Intermediate languages
- Olivier Roubine, Cii-Honeywell Bull, Joachim Teller, Olivier Maurel:
Lolita: a low level intermediate language for Ada. 251-260 - S. Tucker Taft:
Diana as an internal representation in an Ada-in-Ada compiler. 261-265 - Bill Appelbe, Gary Dismukes:
An operational definition of intermediate code for implementing a portable Ada compiler. 266-274
a service of 
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.
last updated on 2024-07-02 21:40 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
