%A Jean E. Sammet
%A Douglas W. Waugh
%A Robert W. Reiter, Jr.
%T PDL/Ada -- A Design Language Based on Ada
%J Ada Letters
%V II
%N 3
%P 19-31
%I ACM SIGAda
%C New York, NY
%D Nov/Dec 1982
%K Ada PDL

%A Lawrence M. Lindley
%T Ada Program Design Language Survey
%J Ada Letters
%V II
%N 3
%P 32-33
%I ACM SIGAda
%C New York, NY
%D Nov/Dec 1982
%K Ada PDL

%A Mordechai Ben-Ari
%T The Case for Full Ada
%J Ada Letters
%V II
%N 3
%P 34-37
%I ACM SIGAda
%C New York, NY
%D Nov/Dec 1982

%A Ivan Bach
%T On the Type Concept of Ada
%J Ada Letters
%V II
%N 3
%P 38-50
%I ACM SIGAda
%C New York, NY
%D Nov/Dec 1982

%A Anna I. Chase
%A Mark S. Gerhardt
%T The Case for Full Ada as a Design Language
%J Ada Letters
%V II
%N 3
%P 51-59
%I ACM SIGAda
%C New York, NY
%D Nov/Dec 1982
%K Ada PDL

%A Thomas A. Standish
%T Interactive Ada in the Arcturus Environment
%J Ada Letters
%V III
%N 1
%P 23-36
%I ACM SIGAda
%C New York, NY
%D Jul/Aug 1983

%A Ron Tischler
%T Note on Scanning Ada
%J Ada Letters
%V III
%N 1
%P 36
%I ACM SIGAda
%C New York, NY
%D Jul/Aug 1983
%K Lexical Analysis

%A J. C. D. Nissen
%A B. A. Wichmann
%T Ada-Europe Guidelines for Ada Compiler Specification and Selection
%J Ada Letters
%V III
%N 1
%P 37-50
%I ACM SIGAda
%C New York, NY
%D Jul/Aug 1983
%K Compiler Evaluation

%A Steven D. Litvintchouk
%A A. S. Matsumoto
%T An Algebraic Approach to Reusable Ada Components
%J Ada Letters
%V III
%N 1
%P 51-54
%I ACM SIGAda
%C New York, NY
%D Jul/Aug 1983
%K Reuse, Specification, Methodology

%A Charles Wetherell
%A M. E. Quinn
%T An Ada Language Type Checking Problem and Two Morals
%J Ada Letters
%V III
%N 1
%P 55-56
%I ACM SIGAda
%C New York, NY
%D Jul/Aug 1983
%K Compilers

%A John McDermid
%A Knut Ripken
%T Life Cycle Support in the Ada Environment
%J Ada Letters
%V III
%N 1
%P 57-62
%I ACM SIGAda
%C New York, NY
%D Jul/Aug 1983
%K Ada Programming Support Environments (APSE)

%A Guido Persch
%A Manfred Dausmann
%A Gerhard Goos
%T Early Experience with the Programming Language Ada
%J Ada Letters
%V III
%N 1
%P 63-70
%I ACM SIGAda
%C New York, NY
%D Jul/Aug 1983
%K compilers

%A Benjamin Brosgol
%T Summary of Ada Language Changes
%J Ada Letters
%V I
%N 3
%P 34-43
%I ACM SIGAda
%C New York, NY
%D Mar/Apr 1982
%K Ada 80, Ada 82, ANSI Ada

%A J. C. D. Nissen
%A P. Wallis
%A B. A. Wichmann
%T Ada-Europe Guidelines for the Portability of Ada Programs
%J Ada Letters
%V I
%N 3
%P 44-61
%I ACM SIGAda
%C New York, NY
%D Mar/Apr 1982
%K Style Guide

%A Arnold J. Levy
%T Motivation Behind the Design of the Ada Atom System Environment
%J Ada Letters
%V I
%N 3
%P 62-63
%I ACM SIGAda
%C New York, NY
%D Mar/Apr 1982
%K Ada Programming Support Environment (APSE)

%A Grady Booch
%T Object Oriented Design
%J Ada Letters
%V I
%N 3
%P 64-76
%I ACM SIGAda
%C New York, NY
%D Mar/Apr 1982
%K Methodology

%A Eric W. Olsen
%A Stephen B. Whitehill
%T Ada Technology Development at Irvine Computer Sciences Corporation
%J Ada Letters
%V I
%N 3
%P 77-85
%I ACM SIGAda
%C New York, NY
%D Mar/Apr 1982
%K compilers

%A David A. Bennett
%A Brent D. Kornman
%A James R. Wilson
%T Hidden Costs in Ada
%J Ada Letters
%V I
%N 4
%P 9-20
%I ACM SIGAda
%C New York, NY
%D May/Jun 1982
%K language design, portability, reliability

%A Larry E. Druffel
%T THe Need for a Programming Discipline to Support the APSE:  Where Does the APSE Path Lead?
%J Ada Letters
%V 1
%N 4
%P 21-23
%I ACM SIGAda
%C New York, NY
%D May/Jun 1982
%K methdology

%A E. Farkas
%T Anoying Bagatelles in Ada
%J Ada Letters
%V I
%N 4
%P 24-26
%I ACM SIGAda
%C New York, NY
%D May/Jun 1982
%K compilers, code generation, constraint checks

%A Frank G. Pagan
%T Taming Ada for Introductory Teaching Purposes - An Approximation
%J Ada Letters
%V I
%N 4
%P 27-31
%I ACM SIGAda
%C New York, NY
%D May/Jun 1982
%K training

%A Edward Huff
%T FIFO Queues in Ada: An Exercise
%J Ada Letters
%V I
%N 4
%P 32-33
%I ACM SIGAda
%C New York, NY
%D May/Jun 1982
%K training, education

%A Arnold J. Levy
%T The Ada Atom System Environment
%J Ada Letters
%V I
%N 4
%P 34-45
%I ACM SIGAda
%C New York, NY
%D May/Jun 1982
%K Ada Programming Support Environments (APSE), operating systems

%A Ralph E. Crafts
%T Commerical Applications Software in Ada: A Reality
%J Ada Letters
%V I
%N 4
%P 46-54
%I ACM SIGAda
%C New York, NY
%D May/Jun 1982
%K string processing

%A John M. Chambers
%T Extending Ada legally via Pre-Processors
%J Ada Letters
%V I
%N 4
%P 55-58
%I ACM SIGADA
%C New York, NY
%D May/Jun 1982
%K macros, C pre-processor, cpp

%A John B. Goodenough
%T On Defining "=" in Ada
%J Ada Letters
%V IV
%N 4
%P 27-31
%I ACM SIGAda
%C New York, NY
%D Jan/Feb 1985
%K generics, private types, limited private types

%A James W. Armitage
%A James V. Chelini
%T Ada Software on Distributed Targets:  A Survey of Approaches
%J Ada Letters
%V IV
%N 4
%P 32-37
%I ACM SIGAda
%C New York, nY
%D Jan/Feb 1985
%K run-time environmnets

%A John Schill
%A Roger Smeaton
%A Richard Jackman
%T The Conversion of Command & Control Software to Ada:  Experiences and Lessons Learned
%J Ada Letters
%V IV
%N 4
%P 38-48
%I ACM SIGAda
%C New York, NY
%D Jan/Feb 1985
%K UNITREP, WWMCCS, WIS, COBOL conversions

%A K. E. Hoffmann
%T Appropriate Data-Types in Ada (Apparently not a simple subject)
%J Ada Letters
%V VI
%N 1
%P 20-21
%I ACM SIGAda
%C New York, NY
%D Jan/Feb 1986
%K package CALENDAR, date

%A Geert. B Clemmensen
%T Retargeting and Rehosting the DDC Ada Compiler System
%J Ada Letters
%V VI
%N 1
%P 22-28
%I ACM SIGAda
%C New York, NY
%D Jan/Feb 1986
%K portability

%A Edward V. Berard
%T Towards a Software Profession
%J Ada Letters
%V IV
%N 1
%P 29-40
%I ACM SIGAda
%C New York, NY
%D Jan/Feb 1986
%K safety, methodology, training

%A Karl F. VanNeste
%T Ada Coding Standards and Conventions
%J Ada Letters
%V VI
%N 1
%P 41-48
%I ACM SIGAda
%C New York, nY
%D Jan/Feb 1986
%K style guide


%A Tom Spurrier
%T Biography of an Ada Project
%J Ada Letters
%V VI
%N 1
%P 49-54
%I ACM SIGAda
%C New York, NY
%D Jan/Feb 1986
%K real-time, test, simulators

%A Ellis S. Cohen
%T Updating Elements of a Collection in Place
%J Ada Letters
%V VI
%N 1
%P 55-62
%I ACM SIGAda
%C New York, NY
%D Jan/Feb 1986
%K generics, lists

%A Douglas Arndt
%T Character Building Experiences
%J Ada Letters
%V VI
%N 1
%P 63-71
%I ACM SIGAda
%C New York, NY
%D Jan/Feb 1986
%K character literals, string handling

%A Donald G. Martin
%T Non-Ada to Ada Conversion
%J Ada Letters
%V VI
%N 1
%P 72-81
%I ACM SIGAda
%C New York, NY
%D Jan/Feb 1986
%K CMS-2, JOVIAL, translation

%A Daniel M. Berry
%A Nancy Yavne
%A Moshe Yavne
%T On the Requirements for and Use of a Program Design Language:  Parameterization, Abstract Data Typing, Strong Typing
%J Ada Letters
%V VI
%N 1
%P 82-89
%I ACM SIGAda
%C New York, NY
%D Jan/Feb 1986
%K PDL, methodology

%A Vinod Grover
%T On Expressing Module Interconnections in Ada
%J Ada Letters
%V VI
%N 1
%P 90-93
%I ACM SIGAda
%C New York, NY
%D Jan/Feb 1986
%K programming-in-the-large

%A Kuo-Chung Tai
%T A graphical Notation for Describing Executions of Concurrent Ada Programs
%J Ada Letters
%V VI
%N 1
%P 94-103
%I ACM SIGAda
%C New York, NY
%D Jan/Feb 1986
%K tasking, graphs

%A Douglas W. Waugh
%T An Ada Language Programming Course
%J Ada Letters
%V II
%N 5
%P 34-41
%I ACM SIGAda
%C New York, NY
%D Mar/Apr 1983
%K training, education

%A Christine L. Braun
%T Ada Training Considerations
%J Ada Letters
%V II
%N 5
%P 42-55
%I ACM SIGAda
%C New York, NY
%D Mar/Apr 1983
%K education, courses, process models

%A Michael R. gardner
%T Using Ada for Commercial Software
%J Ada Letters
%V II
%N 5
%P 56-59
%I ACM SIGAda
%C New York, NY
%D Mar/Apr 1983

%A Bruce L. Rudolph
%T An Overview of the Design of an Ada Ballistics System
%J Ada Letters
%V II
%N 5
%P 60-61
%I ACM SIGAda
%C New York, NY
%D Mar/Apr 1983
%K gunnery, numerics, FORTRAN

%A Nico Lomuto
%T Self-Reproducing Ada Tasks
%J Ada Letters
%V II
%N 5
%P 62-75
%I ACM SIGAda
%C New York, NY
%D Mar/Apr 1983
%K tasking, concurrency

%A John D. Fernandez
%A Homer Carlisle
%A Sallie Sheppard
%T Experience with Matrix Multiplication Using Ada Tasks
%J Ada Letters
%V II
%N 5
%P 76-84
%I ACM SIGAda
%C New York, NY
%D Mar/Apr 1983
%K concurrency, generics

%A Robert Fritz
%T The Ada User and the DoD Software Initiative
%J Ada Letters
%V II
%N 5
%P 85-88
%I ACM SIGAda
%C New York, NY
%D Mar/Apr 1983

%A Samuel J. Leffler
%A Marshall Kirk McKusick
%A Michael J. Karels
%A John S. Quarterman
%T The Design and Implementation of the 4.3BSD Unix Operating System
%I Addison-Wesley
%C Reading, MA
%D 1989

%A Ada Joint Program Office
%T Ada Compiler Validation Procedures and Guidelines, Version 1.1
%J Ada Letters
%V VII
%N 2
%P 28-57
%I ACM SIGAda
%C New York, NY
%D Mar/Apr 1987
%K ACVC

%A P. Carr
%A R. Stevenson
%A J. Alea
%A J. Berthold
%A G. Groucher
%A M. Davis
%A G. Dobbins
%A D. Law
%A V. Szarek
%A W. Webster
%T Implementation of a Prototype CAIS Environment
%J Ada Letters
%V VII
%N 2
%P 58-72
%I ACM SIGAda
%C New York, NY
%D Mar/Apr 1987
%K Ada Programming Support Environment (APSE), Unix

%A J. Kaye Grau
%T Compliant Mappings of Ada Programs to the DoD-Std 2167A Static Structure
%J Ada Letters
%V VII
%N 2
%P 73-84
%I ACM SIGAda
%C New York, NY
%D Mar/Apr 1987
%K standards, style guide, methodology

%A David S. Rosenblum
%T An Efficient Communication Kernel for Distributed Ada Runtime Tasking Supervisors
%J Ada Letters
%V VII
%N 2
%P 102-117
%I ACM SIGAda
%C New York, NY
%D Mar/Apr 1987
%K distributed processing, message-passing, visibility

%A Joseph Harkleroad
%T Analyzing Ada Concurrent Algorithms
%J Ada Letters
%V VII
%N 2
%P 118-134
%I ACM SIGAda
%C New York, NY
%D Mar/Apr 1987
%K deadlock, timing analysis, starvation


%A Gerry Fisher
%T Universal Arithmetic Packages
%J Ada Letters
%V III
%N 6
%P 30-47
%I ACM SIGAda
%C New York, NY
%D May/Jun 1984
%K universal integer, universal real, rational arithmetic

%A J. F. H. Winkler
%T More on Block Structure: Using Ada
%J Ada Letters
%V III
%N 6
%P 48-56
%I ACM SIGAda
%C New York, NY
%D May/Jun 1984

%A A. Dapra
%A S. Gatti
%A S. Crespi-Reghizzi
%A F. Maderna
%A D. Belcredi
%A A. Natali
%A R. A. Stammers
%A M. D. Tedd
%T Using Ada and APSE to Support Distributed Multimicroprocessor Targets
%J Ada Letters
%V III
%N 6
%P 57-65
%I ACM SIGAda
%C New York, NY
%D May/Jun 1984
%K runtime system, tasking, partitioning, concurrency

%A Michael R. Gardner
%T When to Use Private Types
%J Ada Letters
%V III
%N 6
%P 66-78
%I ACM SIGAda
%C New York, NY
%D May/Jun 1984
%K style guide, methodology

%A Paulan D. Daily
%A John T. Foreman
%T Ada Programming Standards and Guidelines
%J Ada Letters
%V III
%N 6
%P 79-94
%I ACM SIGAda
%C New York, NY
%D May/Jun 1984
%K style guide

%A U. S. DoD
%T DoD Directive 3405.1:  Computer Programming Languages Policy
%J Ada Letters
%V VII
%N 4
%P 42-44
%I ACM SIGAda
%C New York, NY
%D Jul/Aug 1987

%A U.S. DoD
%T DoD Directive 3405.2:  Use of Ada in Weapon Systems
%J Ada Letters
%V VII
%N 4
%P 45-53
%I ACM SIGAda
%C New York, NY
%D Jul/Aug 1987

%A Ed Seidewitz
%A Mike Stark
%T Towards a General Object-Oriented Software Development Methodology
%J Ada Letters
%V VII
%N 4
%P 54-67
%I ACM SIGAda
%C New York, NY
%D Jul/Aug 1987

%A Stowe Boyd
%T Object-Oriented Design and Pamela:  A Comparison of Two Design Methods for Ada
%J Ada Letters
%V VII
%N 4
%P 68-78
%I ACM SIGAda
%C New York, NY
%D Jul/Aug 1987

%A S. E. Watson
%T Ada Modules
%J Ada Letters
%V VII
%N 4
%P 79-84
%I ACM SIGAda
%C New York, NY
%D Jul/Aug 1987
%K methodology, object-oriented design

%A I. C. Wand
%A J. R. Firth
%A C. H. Forsyth
%A L. Tsao
%A K. S. Walker
%T Facts and Figures About the York Ada Compiler
%J Ada Letters
%V VII
%N 4
%P 85-87
%I ACM SIGAda
%C New York, NY
%D Jul/Aug 1987
%K performance, code size

%A Souripriya Das
%A Stephen R. Schach
%T An Ada-Lisp Interface Generator
%J Ada Letters
%V VII
%N 4
%P 88-97
%I ACM SIGAda
%C New York, NY
%D Jul/Aug 1987
%K VMS, artificial intelligence, Franz Lisp

%A Karl A. Nyberg
%T Using Representation Clauses as an Operating System Interface
%J Ada Letters
%V VII
%N 4
%P 98-101
%I ACM SIGAda
%C New York, NY
%D Jul/AUg 1987

%A R. W. Sebesta
%T Yet Another Survey of Ada Usage and Ada Training
%J Ada Letters
%V VII
%N 5
%P 34-39
%I ACM SIGAda
%C New York, NY
%D Sep/Oct 1987
%K education

%A Ronald J. Leach
%T Experiences Teaching Concurrency in Ada
%J Ada Letters
%V VII
%N 5
%P 40-41
%I ACM SIGAda
%C New York, NY
%D Sep/Oct 1987
%K training

%A R. D. Huijsman
%A J. van Katwijk
%A C. Pronk
%A W. J. Toetenel
%T Translating Algol 60 Programs into Ada: Report on a Feasability Study
%J Ada Letters
%V VII
%N 5
%P 42-50
%I ACM SIGAda
%C New York, NY
%D Sep/Oct 1987
%K source-code translation

%A A. Tetewsky
%A R. Racine
%T Ada Compiler Selection for Embedded Targets
%J Ada Letters
%V VII
%N 5
%P 51-62
%I ACM SIGAda
%C New York, NY
%D Sep/Oct 1987
%K checklists, performance measurement, benchmarking

%A Randal Leavitt
%T Adjustable Precision Floating Point Arithmetic in Ada
%J Ada Letters
%V VII
%N 5
%P 63-78
%I ACM SIGAda
%C New York, NY
%D Sep/Oct 1987

%A Steven M. Rosen
%T Controlling Dynamic Ada Objects in Large Ada Systems
%J Ada Letters
%V VII
%N 5
%P 79-92
%I ACM SIGAda
%C New York, NY
%D Sep/Oct 1987
%K garbage collection, generic packages

%A David A. Cook
%A Dean W. Gonzalez
%T Notes on Ada Abstraction
%J Ada Letters
%V VII
%N 5
%P 93-95
%I ACM SIGAda
%C New York, NY
%D Sep/Oct 1987
%K methodology

%A Donald R. Clarson
%T Proposal for Adding Discriminants for Ada Task Types
%J Ada Letters
%V VII
%N 5
%P 96-99
%I ACM SIGAda
%C New York, NY
%D Sep/Oct 1987

%A Edmund R. Matthews
%T Observations on the Portability of Ada I/O
%J Ada Letters
%V VII
%N 5
%P 100-103
%I ACM SIGAda
%C New York, NY
%D Sep/Oct 1987

%A Donald G. Firesmith
%T Two Impediments to the Proper Use of Ada
%J Ada Letters
%V VII
%N 5
%P 104
%I ACM SIGAda
%C New York, NY
%D Sep/Oct 1987
%K generics, optimization

%A R. W. Shore
%T Discrete-Event Simulation in Ada: Concepts
%J Ada Letters
%V VII
%N 5
%P 105-112
%I ACM SIGAda
%C New York, NY
%D Sep/Oct 1987

%A ACM SIGAda ARTEWG
%T The Challenge of Ada Runtime Environments
%J Ada Letters
%V VII
%N 5
%P 113-127
%I ACM SIGAda
%C New York, nY
%D Sep/Oct 1987
%K tasking, concurrency, distributed systems, real-time

%A Mark Temte
%T Object-Oriented Design and Ballistics Software
%J Ada Letters
%V IV
%N 3
%P 25-36
%I ACM SIGAda
%C New York, NY
%D Nov/Dec 1984
%K methodology

%A Ivan Bach
%T Unorthogonalities in the Identification Rules in Ada
%J Ada Letters
%V IV
%N 3
%P 37-43
%I ACM SIGAda
%C New York, NY
%D Nov/Dec 1984
%K visibility, overloading

%A J. Kok
%A G. T. Symm
%T A Proposal for Standard Basic Functions in Ada
%J Ada Letters
%V IV
%N 3
%P 44-52
%I ACM SIGAda
%C New York, NY
%D Nov/Dec 1984
%K mathematical functions, real numbers, standards, generic packages

%A John C. Knight
%A John I. A. Urquhart
%T On the Implementation and Use of Ada on Fault-Tolerant Distributed Systems
%J Ada Letters
%V IV
%N 3
%P 53-64
%I ACM SIGAda
%C New York, NY
%D Nov/Dec 1984
%K runtime systems, real-time, embedded systems

%A Ben Brosgol
%T Ada Implementation Notes: Constraint Check Elimination
%J Ada Letters
%V II
%N 4
%P 54-57
%I ACM SIGAda
%C New York, NY
%D Jan/Feb 1983
%K compilers, code generation

%A Lawrence M. Lindley
%T Ada Program Design Language Survey Update
%J Ada Letters
%V II
%N 4
%P 61-63
%I ACM SIGAda
%C New York, NY
%D Jan/Feb 1983
%K Ada PDL

%A Eran Grabber
%T The Middle Way Approach for Ada Based PDL Syntax
%J Ada Letters
%V II
%N 4
%P 64-67
%I ACM SIGAda
%C New York, NY
%D Jan/Feb 1983

%A Michael W. Masters
%A Michael J. Kuchinski
%T Software Design Prototyping Using Ada
%J Ada Letters
%V II
%N 4
%P 68-75
%I ACM SIGAda
%C New York, NY
%D Jan/Feb 1983
%K methodology

%A Michael Gordon
%T The Byron Program Design Language -1-
%J Ada Letters
%V II
%N 4
%P 76-83
%I ACM SIGAda
%C New York, NY
%D Jan/Feb 1983
%K PDL

%A David Emery
%T The Department of Defense Software Initiative, a Summary
%J Ada Letters
%V II
%N 4
%P 84-87
%I ACM SIGAda
%C New York, NY
%D Jan/Feb 1983
%K STARS

%A Patrick A. V. Hall
%T Adding Database Management to Ada
%J Ada Letters
%V II
%N 4
%P 88-91
%I ACM SIGAda
%C New York, NY
%D Jan/Feb 1983

%A M. Faasch
%A V. Haarslev
%A H.-H. Nagel
%T Ada on a Minicomputer-Network for Image Sequence Analysis:  An Investigative Implementation
%J Ada Letters
%V II
%N 4
%P 92-96
%I ACM SIGAda
%C New York, NY
%D Jan/Feb 1983

%A Jon K. Elliott
%T The ROLM Ada Work Center
%J Ada Letters
%V II
%N 4
%P 97-100A
%I ACM SIGAda
%C New York, NY
%D Jan/Feb 1983
%K Ada Programming Support Environment (APSE)

%A X. Debest
%T A User-Friendly I/O System for Ada
%J Ada Letters
%V II
%N 4
%P 101-112
%I ACM SIGAda
%C New York, NY
%D Jan/Feb 1983

%A Karl Kurbel
%A Wolfram Pietsch
%T A Portable Ada Implementation of Index Sequential Input-Output (Part 1)
%J Ada Letters
%V VI
%N 2
%P 29-40
%I ACM SIGAda
%C New York, NY
%D Mar/Apr 1986
%K file management, B-tree, generic packages

%A R. St. Dennis
%A P. Stachour
%A E. Frankowski
%A E. Onuegbe
%T Measurable Characteristics of Reusable Ada Software
%J Ada Letters
%V VI
%N 2
%P 41-50
%I ACM SIGAda
%C New York, NY
%D Mar/Apr 1986
%K metrics, portability

%A Gary Bray
%T AIE Support for Management of Embedded Computer Projects
%J Ada Letters
%V II
%N 1
%P 33-49
%I ACM SIGAda
%C New York, NY
%D Jul/Aug 1982
%K Ada Programming Support Environments (APSE)

%A Hal Hart
%T Ada for Design:  An Approach for Transitioning Industry Software Developers
%J Ada Letters
%V II
%N 1
%P 50-57
%I ACM SIGAda
%C New York, NY
%D Jul/Aug 1982
%K methodology, PDL

%A Victor Basili
%A John Gannon
%A Elizabeth Katz
%A Marvin Zelkowitz
%A John Bailey
%A Elizabeth Kruesi
%A Sylvia Sheppard
%T Monitoring an Ada Software Development Project
%J Ada Letters
%V II
%N 1
%P 58-61
%I ACM SIGAda
%C New York, NY
%D Jul/Aug 1982
%K software process

%A Mark McNickle
%A Ann Reedy
%T Experiences in Using Ada with DBMS Applications
%J Ada Letters
%V VII
%N 3
%P 40-49
%I ACM SIGAda
%C New York, NY
%D May/Jun 1987
%K CODASYL

%A L. Scott McCoy
%T Interfacing Ada and Relational Databases
%J Ada Letters
%V VII
%N 3
%P 50-59
%I ACM SIGAda
%C New York, NY
%D May/Jun 1987
%K SQL, Oracle

%A Jane E. D. Donaho
%A Genell K. Davis
%T Ada-Embedded SQL:  The Options
%J Ada Letters
%V VII
%N 3
%P 60-72
%I ACM SIGAda
%C New York, NY
%D May/Jun 1987
%K DBMS

%A Karl Rehmer
%T Development and Implementation of the Magnavox Generic Ada Basic Mathematics Package
%J Ada Letters
%V VII
%N 3
%P 73-83
%I ACM SIGAda
%C New York, NY
%D May/Jun 1987
%K floating point, real arithmetic

%A G. Vittorio Frigo
%T Evaluation of the VAX Ada compiler and APSE by Means of a Real Program
%J Ada Letters
%V VII
%N 3
%P 84-93
%I ACM SIGAda
%C New York, NY
%D May/Jun 1987
%K benchmarking

%A David C. Luckham
%A Randall Neff
%A David S. Rosenblum
%T An Environment for Ada Software Development Based on Formal Specification
%J Ada Letters
%V VII
%N 3
%P 94-106
%I ACM SIGAda
%C New York, NY
%D May/Jun 1987
%K ANNA, TSL, runtime supervisors, testing verification

%A Donald G. Firesmith
%A 1LT Colin B. Gilyeat
%T Resolution of Ada-Related Concerns in DoD-STD-2167, Revision A
%J Ada Letters
%V VI
%N 5
%P 29-33
%I ACM SIGAda
%C New York, NY
%D Sep/Oct 1986
%K design methodologies, standards, documentation

%A Steve Roski
%T DoD-STD-2167A Coding Standard (Draft)
%J Ada Letters
%V VI
%N 5
%P 34-44
%I ACM SIGAda
%C New York, NY
%D Sep/Oct 1986
%K style guides, standards, documentation

%A George C. Harrison
%A Dar-Biau Liu
%T Generic Implementations Via Analogies in the Ada Programming Language
%J Ada Letters
%V VI
%N 4
%P 34-43
%I ACM SIGAda
%C New York, NY
%D Sep/Oct 1986
%K generic packages

%A Kjell W. Nielsen
%T Task Coupling and Cohesion in Ada
%J Ada Letters
%V VI
%N 4
%P 44-52
%I ACM SIGAda
%C New York, NY
%D Jul/Aug 1986
%K concurrency, design methodology

%A Donald L. Ross
%T Classifying Ada Packages
%J Ada Letters
%V VI
%N 4
%P 53-65
%I ACM SIGAda
%C Jul/Aug 1986
%K metrics, design methodology

%A Paul L. Baker
%T Transformation of Structured Data Schemata into Ada Language Statements
%J Ada Letters
%V VI
%N 4
%P 66-74
%I ACM SIGAda
%C New York, NY
%D Jul/Aug 1986
%K DBMS

%A Gerry Fisher
%T A LALR(1) Grammar for ANSI Ada
%J Ada Letters
%V III
%N 4
%P 37-50
%I ACM SIGAda
%C New York, NY
%D Jan/Feb 1984
%K compilers

%A Thomas J. Wheeler
%T A Command Interpreter for Ada
%J Ada Letters
%V III
%N 4
%P 51-61
%I ACM SIGAda
%C New York, NY
%D Jan/Feb 1984

%A Edward Bein
%T Ada Design, Jovial Implementation
%J Ada Letters
%V III
%N 4
%P 62-69
%I ACM SIGAda
%C New York, NY
%D Jan/Feb 1984
%K style guide, standards, Jovial J73

%A Micheal Mac an Airchinnign
%T Ada Packages and the User's Conceptual Model
%J Ada Letters
%V III
%N 4
%P 70-77
%I ACM SIGAda
%C New York, NY
%D Jan/Feb 1984
%K design methodology

%A Erik Meiling
%A Steen U. Palm
%T A Comparative Study of CHILL and Ada on the Basis of Denotational Descriptions
%J Ada Letters
%V III
%N 4
%P 78-91
%I ACM SIGAda
%C New York, NY
%D Jan/Feb 1984
%K formal specification

%A Erhard Ploedereder
%T Project SPERBER
%J Ada Letters
%V III
%N 4
%P 92-99
%I ACM SIGAda
%C New York, NY
%D Jan/Feb 1984
%K Ada Programming Support Environment (APSE), compiler implementation

%A Stephen P. Phillips
%A Peter R. Stevenson
%T The Role of Ada in Real Time Embedded Applications
%J Ada Letters
%V III
%N 4
%P 99-111
%I ACM SIGAda
%C New York, NY
%D Jan/Feb 1984
%K tasking, runtime environments, concurrency

%A A. J. Wellings
%A D. Keeffe
%A G. M. Tomlinson
%T A Problem with Ada and Resource Allocation
%J Ada Letters
%V III
%N 4
%P 112-124
%I ACM SIGAda
%C New York, NY
%D Jan/Feb 1984
%K tasking, concurrency

%A Mark Davis
%T Classical Optimizations in Adsa
%J Ada Letters
%V I
%N 2
%P 11-14
%I ACM SIGAda
%C New York, NY
%D Sep 1981-Feb 1982
%K compiler implementation, code generation

%A Brian A. Wichmann
%T Tutorial material on the Real Data-Types in Ada
%J Ada Letters
%V I
%N 2
%P 15-33
%I ACM SIGAda
%C New York, NY
%D Sep 1981-Feb 1982


%A John N. Buxton
%A Larry E. Druffel
%A Thomas A. Standish
%T Reflections on the History of Ada Environments
%J Ada Letters
%V I
%N 1
%P 16-21
%I ACM SIGAda
%C New York, NY
%D Jul/Aug 1981
%K Ada Programming Support Environments (APSE), STONEMAN

%A Paul M. cohen
%T From HOLWG to AJPO -- Ada in Transition
%J Ada Letters
%V I
%N 1
%P 22-25
%I ACM SIGAda
%C New York, NY
%D Jul/Aug 1981

%A Lt Col William A. Whitaker
%T FORTRAN-like Formatted Output with Ada
%J Ada Letters
%V I
%N 1
%P 26-28
%I ACM SIGAda
%C New York, NY
%D Jul/Aug 1981
%K I/O

%A Robert J. Knapper
%A Robert F. Mathis
%T Roberts Corporation
%J Ada Letters
%V I
%N 1
%P 29-30
%I ACM SIGAda
%C New York, NY
%D Jul/Aug 1981

%A Herman Haertig
%A Andreas Pfitzmann
%A Leo Treff
%T Task State Transitions in Ada
%J Ada Letters
%V I
%N 1
%P 31-41
%I ACM SIGAda
%C New York, NY
%D Jul/Aug 1981
%K runtime environment, concurrency

%A Berndt Krieg-Brueckner
%T Consistency Checking in Ada and Anna: A Transformational Approach
%J Ada Letters
%V III
%N 2
%P 46-54
%I ACM SIGAda
%C New York, NY
%D Sep/Oct 1983
%K formal specification, verification

%A P. Inverardi
%A G. Levi
%A U. Montanari
%A G. N vallario
%T A Distributed KAPSE Architecture
%J Ada Letters
%V III
%N 2
%P 55-61
%I ACM SIGAda
%C New York, NY
%D Sep/Oct 1983
%K Ada Programming Support Environment (APSE)

%A Gary Bray
%T Implementation Implications of Ada Generics
%J Ada Letters
%V III
%N 2
%P 62-71
%I ACM SIGAda
%C New York, NY
%D Sep/Oct 1983
%K compiler implementation, code generation

%A Rolf Molich
%T Ada Compiler Quality Assurance
%J Ada Letters
%V III
%N 2
%P 72-75
%I ACM SIGAda
%C New York, Ny
%D Sep/Oct 1983
%K verification

%A Wolf-Dieter Heker
%T Some Comments on "Experiences with Matrix Multiplication Using Ada Tasks"
%J Ada Letters
%V III
%N 2
%P 76
%I ACM SIGAda
%C New York, NY
%D Sep/Oct 1983
%K tasking, concurrency

%A William L. Wilder
%T Minimal Host for the KAPSE
%J Ada Letters
%V III
%N 2
%P 77-88
%I ACM SIGAda
%C New York, NY
%D Sep/Oct 1983
%K Ada Programming Support Environment (APSE)

%A Steven D. Litvintchouk
%A A. S. Matsumoto
%T An Algebraic Approach to Reusable Ada Components
%J Ada Letters
%V III
%N 2
%P 89-92
%I ACM SIGAda
%C New York, NY
%D Jul/Aug 1983
%K Reuse, Specification, Methodology

%A Lee A. Becker
%T Ada - Extended Structure Charts
%J Ada Letters
%V III
%N 2
%P 93-97
%I ACM SIGAda
%C New York, NY
%D Sep/Oct 1983
%K PDL, design methodology

%A Herman Fischer
%T Software Technology Initiative Raleigh Workshop:  An Editorial Report
%J Ada Letters
%V II
%N 6
%P 45-50
%I ACM SIGAda
%C New York, NY
%D May/Jun 1983
%K STARS

%A James P. Alstad
%T Problems with Ada as a Program Design Language: A Position Paper
%J Ada Letters
%V II
%N 6
%P 51-52
%I ACM SIGAda
%C New York, NY
%D May/Jun 1983
%K PDL


%A A. Bossi
%A N. Cocco
%A S. Dulli
%T Modular Decomposition of Ada into a Heirarchy of Sublanguages
%J Ada Letters
%V II
%N 6
%P 53-58
%I ACM SIGAda
%C New York, NY
%D May/Jun 1983
%K training, education

%A Paul Dobbs
%T Ada Experience on the Ada Capability Study
%J Ada Letters
%V II
%N 6
%P 59-62
%I ACM SIGAda
%C New York, NY
%D May/Jun 1983
%K metrics, error analysis, quality assurance

%A Stephen F. Zeigler
%A Reinhold P. Weiker
%T Ada Language Statistics for the iMAX 432 Operating System
%J Ada Letters
%V II
%N 6
%P 63-67
%I ACM SIGAda
%C New York, NY
%D May/Jun 1983
%K metrics, compiler implementation

%A P. H. Welch
%T Structured Tasking in Ada?
%J Ada Letters
%V V
%N 1
%P 17-31
%I ACM SIGAda
%C New York, NY
%D Jul/Aug 1985
%K design methodologies, concurrency

%A Melody Moore
%A John Foreman
%A Paulan Daily
%T Planning an AdaTEC/AdaJUG Meeting
%J Ada Letters
%V V
%N 1
%P 32-41
%I ACM SIGAda
%C New York, NY
%D Jul/Aug 1985
%K SIGAda

%A Jonas Agerberg
%T The Simplest? Ada Solution to the Dining Philosophers Problem
%J Ada Letters
%V V
%N 1
%P 42-48
%I ACM SIGAda
%C New York, NY
%D Jul/Aug 1985
%K tasking, concurrency

%A Peter van der Linden
%T Looking Forward with Ada
%J Ada Letters
%V V
%N 1
%P 49-54
%I ACM SIGAda
%C New York, NY
%D Jul/Aug 1985

%A A. Burns
%T Efficient Initialisation Routines for Multiprocessor Systems Programmed in Ada
%J Ada Letters
%V V
%N 1
%P 55-60
%I ACM SIGAda
%C New York, NY
%D Jul/Aug 1985
%K tasking, runtime executive, concurrency

%A William L. Wilder
%T KAPSE Implementation Strategies
%J Ada Letters
%V V
%N 1
%P 61-70
%I ACM SIGAda
%C New York, NY
%D Jul/Aug 1985
%K Ada Programming Support Environment (APSE)

%A Nancy Linden Yavne
%T A Simple Approach to a Relaxed Syntax for an Ada PDL
%J Ada Letters
%V V
%N 1
%P 71-78
%I ACM SIGAda
%C New York, NY
%D Jul/AUg 1985
%K program design language, design methodology

%A Bonnie Burkhardt
%T First Use of XAda Methodology
%J Ada Letters
%V V
%N 1
%P 79-88
%I ACM SIGAda
%C New York, NY
%D Jul/Aug 1985
%K design methodology, PDL, program design language

%A Sam Harbaugh
%T XAda - An Executable Ada Design Language Methodology
%J Ada Letters
%V IV
%N 6
%P 27-31
%I ACM SIGAda
%C New York, NY
%D May/Jun 1985
%K PDL, design methodology

%A Jan Walasek
%T Source Listing with Combs
%J Ada Letters
%V IV
%N 6
%P 32-34
%I ACM SIGAda
%C New York, NY
%D May/Jun 1985
%K compiler construction

%A T. Orberndorf
%T The Second CAIS Review Meeting
%J Ada Letters
%V IV
%N 6
%P 35-43
%I ACM SIGAda
%C New York, NY
%D May/Jun 1985
%K Ada Programming Support Environment (APSE), operating system

%A G. Falquet
%A J. Guyot
%A L. Nerima
%T Simple Tools to Learn Ada
%J Ada Letters
%V IV
%N 6
%P 44-48
%I ACM SIGAda
%C New York, NY
%D May/Jun 1985
%K education, training

%A Charles Hammons
%A Paul Dobbs
%T Coupling, Cohesion and Package Unity in Ada
%J Ada Letters
%V IV
%N 6
%P 49-59
%I ACM SIGAda
%C New York, NY
%D May/Jun 1985
%K design methodology, metrics, quality assurance

%A D. Helbold
%A D. C. Luckham
%T Runtime Detection and Description of Deadness Errors in Ada Tasking
%J Ada Letters
%V IV
%N 6
%P 60-72
%I ACM SIGAda
%C New York, NY
%D May/Jun 1985
%K concurrency, runtime environment, verification, formal specification, TSL

%A Edward V. Berard
%T Engineering Ada
%J Ada Letters
%V III
%N 3
%P 33-44
%I ACM SIGAda
%C New York, NY
%D Nov/Dec 1983
%K metrics

%A Walter Kirchgassner
%A Jurgen Uhl
%A Guido Perch
%A Manfred Dausmann
%A Sophia Drossopoulou
%A Hans-Stephan Jansohn
%A Rudolph Landwehr
%T Optimization in Ada
%J Ada Letters
%V III
%N 3
%P 45-57
%I ACM SIGAda
%C New York, NY
%D Nov/Dec 1983
%K compiler implementation

%A J. Michael Kamrad
%T Runtime Organization for the Ada Language System Programs
%J Ada Letters
%V III
%N 3
%P 58-68
%I ACM SIGAda
%C New York, NY
%D Nov/Dec 1983
%K tasking, concurrency, compiler implementation

%A Raymond C. Houghton
%T A taxonomy of Tool Features for the Ada Programming Support Environment (APSE)
%J Ada Letters
%V III
%N 3
%P 63-78
%I ACM SIGAda
%C New York, NY
%D Nov/Dec 1983

%A Dennis Cornhill
%T A Survivable Distributed Computing System for Embedded Applications Programs Writtein in Ada
%J Ada Letters
%V III
%N 3
%P 79-87
%I ACM SIGAda
%C New York, NY
%D Nov/Dec 1983
%K tasking, runtime executive, concurrency

%A John N. Buxton
%T Keynote Address, Future APSE Workshop
%J Ada Letters
%V IV
%N 5
%P 40-44
%I ACM SIGAda
%C New York, NY
%D Mar/Apr 1985
%K Ada Programming Support Environment (APSE), Stoneman

%A Gil Myers
%T Software Engineering Automation for Tactical Embedded Systems
%J Ada Letters
%V IV
%N 5
%P 45-48
%I ACM SIGAda
%C New York, NY
%D Mar/Apr 1985
%K process models, Ada Programming Support Environment (APSE)

%A R. J. A. Buhr
%A G. M. Karam
%T An Informal Overview of CADA: A Design Environment for Ada
%J Ada Letters
%V IV
%N 5
%P 49-58
%I ACM SIGAda
%C New York, NY
%D Mar/Apr 1985
%K tasking, verification, visualization, concurrency

%A Arthur Pyster, (Chair)
%T Future Ada Environment Workshop: Experience with Existing Environments
%J Ada Letters
%V IV
%N 5
%P 59-64
%I ACM SIGAda
%C New York, NY
%D Mar/Apr 1985
%K Ada Programming Support Environment (APSE)



%A Patricia A. Orberndorf
%A Maria H. Penedo
%T Future Ada Environment Workshop: Project Database Working Group
%J Ada Letters
%V IV
%N 5
%P 65-78
%I ACM SIGAda
%C New York, NY
%D Mar/Apr 1985
%K Ada Programming Support Environment (APSE), object database

%A Ann Marmor-Squires
%A Jack Wileden
%T Future Ada Environment Workshop:  Methodology and Environment Relationships
%J Ada Letters
%V IV
%N 5
%P 79-83
%I ACM SIGAda
%C New York, NY
%D Mar/Apr 1985
%K Ada Programming Support Environment (APSE)

%A Vic Berecz
%A Jack Kramer
%A Carol LeDoux
%T Future Ada Environment Workshop:  Distributed Environments
%J Ada Letters
%V IV
%N 5
%P 84-89
%I ACM SIGAda
%C New York, NY
%D Mar/Apr 1985
%K Ada Programming Support Environment (APSE), concurrency, networking

%A Carl Brraesicke
%A Jeff Dean
%A Dave Fisher
%A Jim Holder
%A Rand McKinney
%A Panna Nagarsenker
%A Dewayne Perry
%A Phil Rossomando
%A Tim Standish
%A Dick Wisehart
%T Future Ada Environments Workshop:  User Interfaces
%J Ada Letters
%V IV
%N 5
%P 90-96
%I ACM SIGAda
%C New York, NY
%D Mar/Apr 1985
%K Ada Programming Support Environment (APSE)

%A Bill Jones
%A Steve Litvintchouk
%A Jerry Mungle
%A Herb Krasner
%A John Melby
%A Herb Willman
%T Future Ada Environments Workshop:  Issues in Software Reusability
%J Ada Letters
%V IV
%N 5
%P 97-99
%I ACM SIGAda
%C New York, NY
%D Mar/Apr 1985
%K Ada Programming Support Environment (APSE)

%A Sam Redwine, (Chair)
%T Future Ada Environments Workshop:  Environment Architectures
%J Ada Letters
%V IV
%N 5
%P 100-104
%I ACM SIGAda
%C New York, NY
%D Mar/Apr 1985
%K Ada Programming Support Environment (APSE), reference model

%A Roberta G. Wagreich, (chair?)
%T Future Ada Environments Workshop:  Methodologies and Environments for Embedded Systems Lifecycle Support
%J Ada Letters
%V IV
%N 5
%P 105-110
%I ACM SIGAda
%C New York, NY
%D Mar/Apr 1985
%K Ada Programming Support Environment (APSE)

%A Ann Reedy, (editor)
%T CAIS Comments and Responses
%J Ada Letters
%V VIII
%N 2
%P 28-38
%I ACM SIGAda
%C New York, NY
%D Mar/Apr 1988
%K Ada Programming Support Environment (APSE)

%A Bryce M. Bardin
%A Christopher J. Thompson
%T Using the Re-Export Paradigm to Build Composable Ada Software Components
%J Ada Letters
%V VIII
%N 2
%P 39-54
%I ACM SIGAda
%C New York, NY
%D Mar/Apr 1988
%K design methodolgoy, reuse, software components

%A Ken Shumate
%A Kjell Nielsen
%T A Taxonomy of Ada Packages
%J Ada Letters
%V VIII
%N 2
%P 55-76
%I ACM SIGAda
%C New York, NY
%D Mar/Apr 1988
%K design methodology, concurrency, tasking

%A Norman H. Cohen
%T Dependence on Ada Task Scheduling is Not "Erroneous"
%J Ada Letters
%V VIII
%N 2
%P 77-83
%I ACM SIGAda
%C New York, NY
%D Mar/Apr 1988
%K runtime environment

%A James J. Maloney
%T Using the VAX/VMS Lock Manager with Ada Tasks
%J Ada Letters
%V VIII
%N 2
%P 84-95
%I ACM SIGAda
%C New York, NY
%D Mar/Apr 1988
%K concurrency

%A David P. Wood
%T The Algorithm Capture Approach to Ada Transition
%J Ada Letters
%V VIII
%N 2
%P 96-106
%I ACM SIGAda
%C New York, NY
%D Mar/Apr 1988
%K reverse-engineering

%A Sam Harbaugh
%T Comments and Recommendations on MOSI from an Ada Point of View
%J Ada Letters
%V VIII
%N 2
%P 107-109
%I ACM SIGAda
%C New York, NY
%D Mar/Apr 1988
%K operating systems, language bindings

%A Marion G. Harmon
%A Ted P. baker
%T An Ada Implementation of Marsaglia's "Universal" Random Number Generator
%J Ada Letters
%V VIII
%N 2
%P 110-112
%I ACM SIGAda
%C New York, NY
%D Mar/Apr 1988
%K real numbers

%A Paul L. Baker
%T Ada as a Preprocessor Language
%J Ada Letters
%V X
%N 1
%P 83-91
%I ACM SIGAda
%C New York, NY
%D Jan/Feb 1990

%A Dean W. Gonzalez
%T Multitasking Software Components
%J Ada Letters
%V X
%N 1
%P 92-96
%I ACM SIGAda
%C New York, NY
%D Jan/Feb 1990
%K concurrency, tasking, reuse

%A Daniel Wengelin
%A Mats Carlsson Goethe
%A Lars Asplund
%T <none>
%J Ada Letters
%V X
%N 1
%P 97-99
%I ACM SIGAda
%C New York, NY
%D Jan/Feb 1990
%K tasking, concurrency, distributed processing

%A M. Ben-Ari
%T Signalling from within Interrupt Handlers
%J Ada Letters
%V X
%N 1
%P 100-103
%I ACM SIGAda
%C New York, NY
%D Jan/Feb 1990
%K tasking, runtime environment, concurrency

%A Marin David Condic
%T Junk Facts and the SlowSort
%J Ada Letters
%V X
%N 1
%P 104-110
%I ACM SIGAda
%C New York, NY
%D Jan/Feb 1990
%K generic packages

%A Y.E. Gail Wang
%T Universal_File_Names for Ada
%J Ada Letters
%V X
%N 1
%P 111-117
%I ACM SIGAda
%C New York, NY
%D Jan/Feb 1990
%K portability, operating system, files, Unix, VAX/VMS, MS-DOS

%A Jeffrey R. Carter
%T The Form of Reusable Ada Components for Concurrent Use
%J Ada Letters
%V X
%N 1
%P 118-121
%I ACM SIGAda
%C New York, NY
%D Jan/Feb 1990
%K tasking, concurrency

%A Frederick A. Hosch
%T Generic Instantiations as Closures
%J Ada Letters
%V X
%N 1
%P 122-130
%I ACM SIGAda
%C New York, NY
%D Jan/Feb 1990
%K generic packages, functional programming, design methodology

%A Steven Haden
%T Lexical_Analyser_G: A Multi-Language Lexical Analysis Package
%J Ada Letters
%V X
%N 1
%P 131-139
%I ACM SIGAda
%C New York, NY
%D Jan/Feb 1990
%K compiler implementation, reusable components

%A Ming-Yuan Zhu
%T Design of a Text Formatter with AUTO STAR
%J Ada Letters
%V X
%N 1
%P 140-159
%I ACM SIGAda
%C New York, NY
%D Jan/Feb 1990
%K formal specification

%A Henry Weidman
%T A Method for Converting Abstract Objects to Discrete Objects
%J Ada Letters
%V X
%N 2
%P 52-63
%I ACM SIGAda
%C New York, NY
%D Mar/Apr 1990
%K design methodology

%A Dieter Baer
%A Klaus Sum
%A Leon Treff
%T SQL_ArmAda: An Ada-Appropriate Interface to SQL
%J Ada Letters
%V X
%N 2
%P 64-83
%I ACM SIGAda
%C New York, NY
%D Mar/Apr 1990
%K DBMS

%A SY Wong
%T Considerations of Ada in Chinese
%J Ada Letters
%V X
%N 2
%P 84-88
%I ACM SIGAda
%C New York, NY
%D Mar/Apr 1990
%K character sets

%A Juergen F. H. Winkler
%T A Definition of Lines of Code for Ada
%J Ada Letters
%V X
%N 2
%P 89-94
%I ACM SIGAda
%C New York, NY
%D Mar/Apr 1990
%K metrics


%A C. Roast
%T The Applicability of Ada to Mil-Std-1750A
%J Ada Letters
%V VIII
%N 3
%P 84-86
%I ACM SIGAda
%C New York, NY
%D May/Jun 1989

%A P. Wood
%A D. Turcaso
%T Implementing a Faster String Search Algorithm in Ada
%J Ada Letters
%V VIII
%N 3
%P 87-97
%I ACM SIGAda
%C New York, NY
%D May/Jun 1989

%A N. Altman
%A Nelson Weiderman
%T Timing Variations in Dual Loop Benchmarks
%J Ada Letters
%V VIII
%N 3
%P 98-106
%I ACM SIGAda
%C New York, NY
%D May/Jun 1989

%A J. Carter
%T MMAIM: A Software Development Method for Ada
%J Ada Letters
%V VIII
%N 3
%P 107-114
%I ACM SIGAda
%C New York, NY
%D May/Jun 1989

%A C. McDonald
%T The Ada ASEET Team
%J Ada Letters
%V VIII
%N 3
%P 115-122
%I ACM SIGAda
%C New York, NY
%D May/Jun 1989
%K education, training

%A Roger Racine
%T Why the Use Clause is Beneficial
%J Ada Letters
%V VIII
%N 3
%P 123-127
%I ACM SIGAda
%C New York, NY
%D May/Jun 1989

%A Pekka Lahtinen
%T A Machine Architecture for Ada
%J Ada Letters
%V II
%N 2
%P 28-33
%I ACM SIGAda
%C New York, NY
%D Sep/Oct 1982
%K MPS-10 architecture

%A Philippe Charles
%A Gerald Fisher
%T A LALR(1) Grammar for '82 Ada
%J Ada Letters
%V II
%N 2
%P 34-45
%I ACM SIGAda
%C New York, NY
%D Sep/Oct 1982
%K compilers, parsers

%A Amiram Yehudai
%T Data Abstraction: Types vs. Objects
%J Ada Letters
%V II
%N 2
%P 46-48
%I ACM SIGAda
%C New York, NY
%D Sep/Oct 1982
%K methodologies

%A Judith Kerner
%T Should PDL/Ada Be Compilable?
%J Ada Letters
%V II
%N 2
%P 49-50
%I ACM SIGAda
%C New York, NY
%D Sep/Oct 1982

%A Peter Wegner
%T Ada Eduction and Technology Transfer Activities
%J Ada Letters
%V II
%N 2
%P 51-60
%I ACM SIGAda
%C New York, NY
%D Sep/Oct 1982

%A Norman H. Cohen
%T Parallel Quicksort: An Exploitation of Concurrent Programming in Ada
%J Ada Letters
%V II
%N 2
%P 61-68
%I ACM SIGAda
%C New York, NY
%D Sep/Oct 1982
%K tasking

%A Anthony Gargaro
%A Benjamin Brosgol
%T International Workshop on Real-Time Ada Issues
%J Ada Letters
%V VII
%N 6
%I ACM SIGAda
%C New York, NY
%D May 1987

%A Dock Allen
%T Tailored Run-Time Environments for Real-Time Applications
%J Ada Letters
%V VII
%N 6
%P 13-14
%I ACM SIGAda
%C New York, NY
%D May 1987

%A L. R. Collingbourne
%T A Practical Approach to Developing Real-Time Ada Programs for Embedded Systems
%J Ada Letters
%V VII
%N 6
%P 15-17
%I ACM SIGAda
%C New York, NY
%D May 1987

%A R. O. Domitz
%T Real-Time Ada Debugging
%J Ada Letters
%V VII
%N 6
%P 18-20
%I ACM SIGAda
%C New York, NY
%D May 1987

%A Greg Burns
%T Cross-Debugging Real-Time Ada Programs
%J Ada Letters
%V VII
%N 6
%P 21-23
%I ACM SIGAda
%C New York, NY
%D May 1987

%A Robert Firth
%T A Pragmatic Approach to Ada Insertion
%J Ada Letters
%V VII
%N 6
%P 24-26
%I ACM SIGAda
%C New York, NY
%D May 1987

%A Dennis Cornhill
%A Lui Sha
%A John P. Lehoczky
%A Ragunathan Rajkumar
%A Hide Tokuda
%T Limitations of Ada for Real-Time Scheduling
%J Ada Letters
%V VII
%N 6
%P 33-39
%I ACM SIGAda
%C New York, NY
%D May 1987

%A Anders Ardo
%T Real-Time Efficiency of Ada in a Multiprocessor Environment
%J Ada Letters
%V VII
%N 6
%P 40-42
%I ACM SIGAda
%C New York, NY
%D May 1987

%A A. Burns
%A A. J. Wellings
%T Real-Time Ada Issues
%J Ada Letters
%V VII
%N 6
%P 43-46
%I ACM SIGAda
%C New York, NY
%D May 1987

%A Gary Frankel
%T Improving Ada Tasking Performance
%J Ada Letters
%V VII
%N 6
%P 47-48
%I ACM SIGAda
%C New York, NY
%D May 1987

%A Frank McCormick
%T Scheduling Difficulties of Ada in the Hard Real-Time Environment
%J Ada Letters
%V VII
%N 6
%P 49-50
%I ACM SIGAda
%C New York, NY
%D May 1987

%A C. Douglass Locke
%A David R. Vogel
%T Problems in Ada Runtime Task Scheduling
%J Ada Letters
%V VII
%N 6
%P 51-53
%I ACM SIGAda
%C New York, NY
%D May 1987

%A John C. Knight
%T Ada on Fault-Tolerant Distributed Systems
%J Ada Letters
%V VII
%N 6
%P 61-63
%I ACM SIGAda
%C New York, NY
%D May 1987

%A Trevor Mudge
%T Units of Distribution for Distributed Ada
%J Ada Letters
%V VII
%N 6
%P 64-66
%I ACM SIGAda
%C New York, NY
%D May 1987

%A S. Crespi Reghizzi
%A A. Di Maio
%A F. Maderna
%T Distributable Ada Programs
%J Ada Letters
%V VII
%N 6
%P 67-69
%I ACM SIGAda
%C New York, NY
%D May 1987

%A Richard A. Volz
%T Distributed Ada Execution: A Definitional Void
%J Ada Letters
%V VII
%N 6
%P 70-72
%I ACM SIGAda
%C New York, NY
%D May 1987


%A A. D. Hutcheon
%A D. S. Snowden
%A A. J. Wellings
%T Programming and Debugging Distributed Real-Time Applications in Ada
%J Ada Letters
%V VII
%N 6
%P 73-76
%I ACM SIGAda
%C New York, NY
%D May 1987

%A Mark C. Paulk
%T Real-Time Performance of Distributed Ada Programs
%J Ada Letters
%V VII
%N 6
%P 77-78
%I ACM SIGAda
%C New York, NY
%D May 1987

%A Ted Baker
%T Ada Runtime Support Environments to Better Support Real-Time Systems
%J Ada Letters
%V VII
%N 6
%P 85-87
%I ACM SIGAda
%C New York, NY
%D May 1987

%A J. P. Sarkar
%A T. F. Wong
%T Impacts of Ada Features on Real-Time Performance
%J Ada Letters
%V VII
%N 6
%P 88-92
%I ACM SIGAda
%C New York, NY
%D May 1987

%A Rudolf Landwehr
%A Peter Hensel
%A Rami Bayan
%A Antonio Kung
%T A Mode for a Portable Ada Run-Time Library
%J Ada Letters
%V VII
%N 6
%P 93-96
%I ACM SIGAda
%C New York, NY
%D May 1987

%A Angel Alvarez
%T Real-Time Programming and Priority Interrupt Systems
%J Ada Letters
%V VII
%N 6
%P 97-100
%I ACM SIGAda
%C New York, NY
%D May 1987

%A Robert G. Clark
%T Designing Concurrent Objects
%J Ada Letters
%V VII
%N 6
%P 107-109
%I ACM SIGAda
%C New York, NY
%D May 1987


%A Ralph Back
%A Renio Kuri-Suonio
%T A New Paradigm for the Design of Concurrent Systems
%J Ada Letters
%V VII
%N 6
%P 110-112
%I ACM SIGAda
%C New York, NY
%D May 1987

%A Mike Kamrad
%A Rakesh Jha
%A Greg Eisenhauer
%A Dennis Cornhill
%T Distributed Ada
%J Ada Letters
%V VII
%N 6
%P 113-115
%I ACM SIGAda
%C New York, NY
%D May 1987

%A Elisabeth Broe Christensen
%T Ada Features and Real-Time Embedded Applications
%J Ada Letters
%V VII
%N 6
%P 116-118
%I ACM SIGAda
%C New York, NY
%D May 1987

%A Patrick de Bondeli
%T Real-Time Ada Systems: Development Methodology and Real-Time Performance
%J Ada Letters
%V VII
%N 6
%P 119-120
%I ACM SIGAda
%C New York, NY
%D May 1987

%A R. H. Pierce
%T On the Use of Passive Tasks in Ada
%J Ada Letters
%V VII
%N 6
%P 121-123
%I ACM SIGAda
%C New York, NY
%D May 1987

%A Ian Mearns
%T Developing Real-Time Ada Systems
%J Ada Letters
%V VII
%N 6
%P 124-126
%I ACM SIGAda
%C New York, NY
%D May 1987

%A Jerzy Mysior
%A Andrzej Paprocki
%T An Eight-Bit Character Set in Ada Programs
%J Ada Letters
%V IX
%N 7
%P 85-90
%I ACM SIGAda
%C New York, NY
%D Nov/Dec 1989

%A Roger Van Scoy
%A Judy Bamberger
%A Robert Firth
%T An Overview of DARK
%J Ada Letters
%V IX
%N 7
%P 91-101
%I ACM SIGAda
%C New York, NY
%D Nov/Dec 1989

%A L. Asplund
%A M. Carlsson
%A D. Wenglin
%A G. Bray
%T Real-Time Ada Compilers for the 68020
%J Ada Letters
%V IX
%N 7
%P 102-113
%I ACM SIGAda
%C New York, NY
%D Nov/Dec 1989

%A Siram Sankar
%T APE - A Set of TeX Macros to Format Ada Programs
%J Ada Letters
%V IX
%N 7
%P 114-128
%I ACM SIGAda
%C New York, NY
%D Nov/Dec 1989

%A Norman H. Cohen
%T Tasks as Abstraction Mechanisms
%J Ada Letters
%V V
%N 3
%P 30-44
%I ACM SIGAda
%C New York, NY
%D Nov/Dec 1985

%A Bryce Bardin
%T a "To Be Determined" Package for Ada Development
%J Ada Letters
%V V
%N 3
%P 45-56
%I ACM SIGAda
%C New York, NY
%D Nov/Dev 1985

%A John Barnes
%T Second International Workshop on Real-Time Ada Issues
%J Ada Letters
%V VIII
%N 7
%I ACM SIGAda
%C New York, NY
%D Fall 1988

%A Mark Borger
%A Mark Klein
%A Nelson Weiderman
%T A Testbed for Investigating Real-Time Ada Issues
%J Ada Letters
%V VIII
%N 7
%P 7-11
%I ACM SIGAda
%C New York, NY
%D June 1988

%A Tzilla Elrad
%T Comprehensive Scheduling Controls for Ada Tasking
%J Ada Letters
%V VIII
%N 7
%P 12-19
%I ACM SIGAda
%C New York, NY
%D June 1988

%A John B. Goodenough
%A Lui Sha
%T The Priority Ceiling Protocol: A Method for Minimizing the Blocking of High Priority Ada Tasks
%J Ada Letters
%V VIII
%N 7
%P 20-31
%I ACM SIGAda
%C New York, NY
%D June 1988

%A Jane W. S. Liu
%A Kwei-Jay Lin
%T On Means to Provide Flexibility in Scheduling
%J Ada Letters
%V VIII
%N 7
%P 32-34
%I ACM SIGAda
%C New York, NY
%D June 1988

%A C. Douglass Locke
%A Lui Sha
%A Ragunathan Rajkumar
%A John Lehoczky
%A Greg Burns
%T Priority Inversion and Its Control: An Experimental Investigation
%J Ada Letters
%V VIII
%N 7
%P 39-42
%I ACM SIGAda
%C New York, NY
%D June 1988

%A Ted Baker
%T Improving Immediacy in Ada
%J Ada Letters
%V VIII
%N 7
%P 50-56
%I ACM SIGAda
%C New York, NY
%D June 1988

%A Patrick de Bondeli
%T Asynchronous Transfer of Control and Scheduling Problems
%J Ada Letters
%V VIII
%N 7
%P 57-60
%I ACM SIGAda
%C New York, NY
%D June 1988

%A J. R. Hunt
%T Interrupts and Ada
%J Ada Letters
%V VIII
%N 7
%P 61-64
%I ACM SIGAda
%C New York, NY
%D June 1988

%A W. J. Toetenel
%A J. Van Katwijk
%T Asynchronous Transfer of Control in Ada
%J Ada Letters
%V VIII
%N 7
%P 65-79
%I ACM SIGada
%C New York, NY
%D June 1988

%A C. Atkinson
%A S. J. Goldsack
%T Communication Between Ada Programs in DIADEM
%J Ada Letters
%V VIII
%N 7
%P 86-96
%I ACM SIGAda
%C New York, NY
%D June 1988

%A Judy M. Bishop
%T Three Steps to Distribution: Partitioning, Configuring and Adapting
%J Ada Letters
%V VIII
%N 7
%P 97-100
%I ACM SIGAda
%C New York, NY
%D June 1988

%A Hans-Stephan Jansohn
%T Ada for Distributed Systems
%J Ada Letters
%V VIII
%N 7
%P 101-103
%I ACM SIGAda
%C New York, NY
%D June 1988

%A P. Krishnam
%A R. A. Volz
%A R. J. Theriault
%T Implementation of Task Types in Distributed Ada
%J Ada Letters
%V VIII
%N 7
%P 104-107
%I ACM SIGAda
%C New York, NY
%D June 1988

%A A. D. Hucheon
%A A. J. Wellings
%T Supporting Ada in a Distributed Environment
%J Ada Letters
%V VIII
%N 7
%P 113-117
%I ACM SIGAda
%C New York, NY
%D June 1988

%A Sergio Arevalo
%A Angel Alvarez
%T Fault Tolerant Distributed Ada
%J Ada Letters
%V VIII
%N 7
%P 118-122
%I ACM SIGAda
%C New York, NY
%D June 1988

%A John C. Knight
%A Marc E. Rouleau
%T A New Approach to Fault Tolerance in Distributed Ada Programs
%J Ada Letters
%V VIII
%N 7
%P 123-126
%I ACM SIGAda
%C New York, NY
%D June 1988

%A Bill Brykczynski
%T Methods of Binding Ada to SQL: A General Discussion
%J Ada Letters
%V VIII
%N 1
%P 38-51
%I ACM SIGAda
%C New York, NY
%D Jan/Feb 1988

%A Geoff Mendal
%T Three Reasons to Avoid the Use Clause
%J Ada Letters
%V VIII
%N 1
%P 52-57
%I ACM SIGAda
%C New York, NY
%D Jan/Feb 1988

%A Bryce Bardin
%A Christopher Thompson
%T Composable Ada Software Components and the Re-Export Paradigm
%J Ada Letters
%V VIII
%N 1
%P 58-79
%I ACM SIGAda
%C New York, NY
%D Jan?Feb 1988

%A D. Wood
%T The Algorithm Capture Approach to Ada Transition
%J Ada Letters
%V VIII
%N 1
%P 80-90
%I ACM SIGAda
%C New York, NY
%D Jan/Feb 1988

%A E. Perez
%T Simulating Inheritance with Ada
%J Ada Letters
%V VIII
%N 5
%P 36-46
%I ACM SIGAda
%C New York, NY
%D Sep/Oct 1988

%A J. Carter
%T MMAIM: A Software Development for Ada, Part II - Example
%J Ada Letters
%V VIII
%N 5
%P 47-60
%I ACM SIGAda
%C New York, NY
%D Sep/Oct 1988

%A J. Cheng
%A K. Araki
%A K. Ushijima
%T Tasking Communication Deadlocks in Concurrent Ada Programs
%J Ada Letters
%V VIII
%N 5
%P 61-70
%I ACM SIGAda
%C New York, NY
%D Sep/Oct 1988

%A G. Anderson
%T An Ada Multitasking Solution for the Sieve of Erathosthenes
%J Ada Letters
%V VIII
%N 5
%P 71-74
%I ACM SIGAda
%C New York, NY
%D Sep/Oct 1988

%A C. herr
%A D. McNicholl
%A S. Cohen
%T Compiler Validation and Reusable Ada Parts for Real-Time Embedded Applications
%J Ada Letters
%V VIII
%N 5
%P 75-86
%I ACM SIGAda
%C New York, NY
%D Sep/Oct 1988
%K CAMP

%A D. Gonzalez
%T An Ada Tasking Demo
%J Ada Letters
%V VIII
%N 5
%P 87-91
%I ACM SIGAda
%C New York, NY
%D Sep/Oct 1988

%A P. Rogers
%T Dimensional Analysis in Ada
%J Ada Letters
%V VIII
%N 5
%P 92-100
%I ACM SIGAdsa
%C New York, NY
%D Sep/Oct 1988

%A Avram Tetewsky
%A Ann Clugh
%A Roger Racine
%A R. Whittredge
%T Mapping Ada onto Embedded Systems: Memory Constraints
%J Ada Letters
%V VIII
%N 5
%P 101-109
%I ACM SIGAda
%C New York, NY
%D Sep/Cot 1988

%A Donald Firesmith
%T Mixing Apples and Oranges: or What is an Ada Line of Code Anyway?
%J Ada Letters
%V VIII
%N 5
%P 110-112
%I ACM SIGAda
%C New York, NY
%D Sep/Oct 1988

%A Defense Science Board, Task Force on Military Software
%T Report of the Defense Science Board Task Force on Military Software
%J Ada Letters
%V VIII
%N 4
%P 35-46
%I ACM SIGAda
%C New York, NY
%D Jul/Aug 1988

%A Ada Board
%T Response to the Defense Science Board Task Force on Military Software
%J Ada Letters
%V VIII
%N 4
%P 47-68
%I ACM SIGAda
%C New York, NY
%D Jul/Aug 1988

%A Scott A. DeLoach
%T An Interface-Based Ada Programming Support Environment
%J Ada Letters
%V VIII
%N 4
%P 70-82
%I ACM SIGAda
%C New York, NY
%D Jul/Aug 1988

%A Rose Hoskins
%T The Desing and Implementation of a Karel Compiler and Interpreter
%J Ada Letters
%V VIII
%N 4
%P 83-96
%I ACM SIGAda
%C New York, NY
%D Jul/Aug 1988

%A Richard F. Puk
%T Report on the Meeting of ISO/IEC JTC1/SC24/WG4 Computer Graphics Language Bindings
%J Ada Letters
%V VIII
%N 4
%P 97-102
%I ACM SIGAda
%C New York, NY
%D Jul/Aug 1988

%A SPS, Inc.
%T Naval Avionics Center Ada-Based Design Languages Workshop Summary of Events
%J Ada Letters
%V VIII
%N 4
%P 103-118
%I ACM SIGAda
%C New York, NY
%D Jul/Aug 1988

%A Judy M. Bishop
%T A Complete Notation for Ada Charts
%J Ada Letters
%V VI
%N 6
%P 49-53
%I ACM SIGAda
%C New York, NY
%D Nov/Dec 1986

%A Thomas J. Fleck
%T A Specification for Ada Machine Code Insertions
%J Ada Letters
%V VI
%N 6
%P 54-60
%I ACM SIGAda
%C New York, NY
%D Nov/Dec 1986

%A Thomas J. Wheeler
%T An Example of the Developer's Documentation for an Embedded Computer System Written in Ada (part 1)
%J Ada Letters
%V VI
%N 6
%P 61-71
%I ACM SIGAda
%C New York, NY
%D Nov/Dec 1986

%A Sam Harbaugh
%A John A. Forakis
%T Timing Studies Using a Synthetic Whetstone Benchmark
%J Ada Letters
%V IV
%N 2
%P 23-35
%I ACM SIGAda
%C New York, NY
%D Sep/Oct 1984

%A A. Fantechi
%T Interfacing with Real Environments from Ada Programs
%J Ada Letters
%V IV
%N 2
%P 35-43
%I ACM SIGAda
%C New York, NY
%D Sep/Oct 1984

%A Peter van der Linden
%T Writing Diagnostic Software in Ada
%J Ada Letters
%V IV
%N 2
%P 44-53
%I ACM SIGAda
%C New York, NY
%D Sep/Oct 1984

%A Kathleen Gilroy
%T Experience with Ada for the Graphical Kernal System
%J Ada Letters
%V IV
%N 2
%P 54-64
%I ACM SIGAda
%C New York, NY
%D Sep/Oct 1984

%A Robert B. K. Dewar
%T Ada Language Maintenance, A Look at What is Going On
%J Ada Letters
%V IV
%N 2
%P 65-76
%I ACM SIGAda
%C New York, NY
%D Sep/Oct 1984

%A A. Burns
%A A. J. Wellings
%T Programming Atomic Actions in Ada
%J Ada Letters
%V IX
%N 6
%P 67-79
%I ACM SIGAda
%C New York, NY
%D Sep/Oct 1989

%A Krzysztof M. Sacha
%T Ada: Adding Reliability and Efficiency to Task Communications in Programming Distributed Control Systems
%J Ada Letters
%V IX
%N 6
%P 80-89
%I ACM SIGAda
%C New York, NY
%D Sep/Oct 1989

%A Franco Mazzanti
%T Reducing Unpredicitability in Ada Executions
%J Ada Letters
%V IX
%N 6
%P 90-96
%I ACM SIGAda
%C New York, NY
%D Sep/Oct 1989

%A Joanne Goldenberg
%A Gertrude Levine
%T Ada's Abort Statement: License to Kill
%J Ada Letters
%V IX
%N 6
%P 97-103
%I ACM SIGAda
%C New York, NY
%D Sep/Oct 1989

%A David Papay
%T Forcing the Completion of Abnormal Tasks
%J Ada Letters
%V IX
%N 6
%P 104-107
%I ACM SIGAda
%C New York, NY
%D Sep/Oct 1989

%A D. Sterne
%A A. Glendening
%A B. Jachowski
%A G. Pretti
%T A Simplified Graphic Notation for Ada Programs
%J Ada Letters
%V IX
%N 6
%P 108-118
%I ACM SIGAda
%C New York, NY
%D Sep/Oct 1989

%A P. Collard
%T Object-Oriented Programming Techniques With Ada - An Example
%J Ada Letters
%V IX
%N 6
%P 119-126
%I ACM SIGAda
%C New York, NY
%D Sep/Oct 1989

%A Arthur Salwin
%T The Variabilities are Variable
%J Ada Letters
%V IX
%N 4
%P 84-86
%I ACM SIGAda
%C New York, NY
%D May/Jun 1989
%K benchmarks

%A Gertride :evome
%T Controlling Deadlock in Ada
%J Ada Letters
%V IX
%N 4
%P 87-91
%I ACM SIGAda
%C May/Jun 1989
%D May/Jun 1989

%A Will Tracz
%T Parameterization: A Case Study
%J Ada Letters
%V IX
%N 4
%P 92-102
%I ACM SIGAda
%C New York, NY
%D May/Jun 1989

%A Jeffrey Carter
%T Variable-Length String Input in Ada
%J Ada Letters
%V IX
%N 4
%P 103-104
%I ACM SIGAda
%C New York, NY
%D May/Jun 1989

%A Tzilla Elrad
%T The Issue of Mutual Control: Synchronization and Decision Making Control in Ada
%J Ada Letters
%V IX
%N 4
%P 105-112
%I ACM SIGAda
%C New York, NY
%D May/Jun 1989

%A Rakesh Jha
%A Greg Eisenhauer
%A J. Michael Kamrad II
%A Dennis Cornhill
%T An Implementation Supporting Distributed Execution of Partitioned Ada Programs
%J Ada Letters
%V IX
%N 1
%P 147-160
%I ACM SIGAda
%C New York, NY
%D Jan/Feb 1989

%A ACM SIGAda ARTEWG
%T A Model Runtime System Interface for Ada, Version 2.3
%J Ada Letters
%V IX
%N 1
%P 84-132
%I ACM SIGAda
%C New York, NY
%D Jan/Feb 1989

%A Greg Eisenhauer
%A Rakesh Jha
%A J. Michael Kamrad, II
%T Targeting a Traditional Compiler to a Distributed Environment
%J Ada Letters
%V IX
%N 2
%P 45-51
%I ACM SIGAda
%C New York, NY
%D Mar/Apr 1989

%A Jingde Cheng
%A Kazuo Ushijima
%T Naming Ada Tasks at Run-Time
%J Ada Letters
%V IX
%N 2
%P 52-61
%I ACM SIGAda
%C New York, NY
%D Mar/Apr 1989

%A C. Genillard
%A N. Ebel
%A A. Strohmeier
%T Rationale for the Design of Resuable Abstract Data Types Implemented in Ada
%J Ada Letters
%V IX
%N 2
%P 62-71
%I ACM SIGAda
%C New York, NY
%D Mar/Apr 1989

%A Kenneth W. Dritz
%T Plugging the Holes in the Sieve of Eratosthenes
%J Ada Letters
%V IX
%N 2
%P 72-7
%I ACM SIGAda
%C New York, NY
%D Mar/Apr 1989

%A Richard M. Ladden
%T A Survey of Issues to be Considered in the Development of an Object-Oriented Development Methodology for Ada
%J Ada Letters
%V IX
%N 2
%P 78-89
%I ACM SIGAda
%C New York, NY
%D Mar/Apr 1989

%A Steve Vestal
%T Mixing Coroutines and Processes in an Ada Tasking Implementation
%J Ada Letters
%V IX
%N 2
%P 90-101
%I ACM SIGAda
%C New York, NY
%D Mar/Apr 1989

%A Donald L. Ross
%T The Form of a Passive Iterator
%J Ada Letters
%V IX
%N 2
%P 102-105
%I ACM SIGAda
%C New York, NY
%D Mar/Apr 1989

%A Frederick A. Hosch
%T Message Passing and Administrators in Ada
%J Ada Letters
%V IX
%N 2
%P 106-117
%I ACM SIGAda
%C New York, NY
%D Mar/Apr 1989

%A Russell M. Clapp
%A Trevor Mudge
%T Ada on a Hypercube
%J Ada Letters
%V IX
%N 2
%P 118-128
%I ACM SIGAda
%C New Yor, NY
%D Mar/Apr 1989

%A Thomas J. Wheeler
%T An Example of the Developer's Documentation for an Embedded Computer System Written in Ada, Part 2
%J Ada Letters
%V VII
%N 1
%P 40-48
%I ACM SIGAda
%C New York, NY
%D Jan/Feb 1987

%A Thomas. M Burger
%A Kjell W. Nielsen
%T An Assessment of the Overhead Associated with Tasking facilities and Task Paradigms in Ada
%J Ada Letters
%V VII
%N 1
%P 49-58
%I ACM SIGAda
%C New York, NY
%D Jan/Feb 1987

%A Michael Woodger
%T Origins of Ada Features
%J Ada Letters
%V VII
%N 1
%P 59-70
%I ACM SIGAda
%C New York, NY
%D Jan/Feb 1987

%A Terry Froggatt
%T Fixed-Point Conversion, Multiplication, & Division in Ada
%J Ada Letters
%V VII
%N 1
%P 71-81
%I ACM SIGAda
%C New York, NY
%D Jan/Feb 1987

%A Kirk P. Arnett
%A Charles M. Butler
%T Ada Language Training with a COBOL Translation Model
%J Ada Letters
%V VII
%N 1
%P 82-88
%I ACM SIGAda
%C New York, NY
%D Jan/Feb 1987

%A Donald R. Clarson
%T Ada Information Hiding - Additional Notes
%J Ada Letters
%V VII
%N 1
%P 89-93
%I ACM SIGAda
%C New York, NY
%D Jan/Feb 1987

%A George W. MacPherson
%T We're Using the Wrong Name
%J Ada Letters
%V VII
%N 1
%P 94-96
%I ACM SIGAda
%C New York, NY
%D Jan/Feb 1987
%K programming methodology, data abstraction, coding style

%A A. Burns
%T Using Large families for Handling Priority Requests
%J Ada Letters
%V VII
%N 1
%P 97-104
%I ACM SIGAda
%C New York, NY
%D Jan/Feb 1987

%A Gertrude Levine
%T The Control of Priority Inversion in Ada
%J Ada Letters
%V VIII
%N 6
%P 53-56
%I ACM SIGAda
%C New York, NY
%D Nov/Dec 1988
%K tasking

%A Mahmoud Parsian
%A Brayan Basdell
%A Yusuf Bhayat
%A Ian caldwell
%A Neva Garland
%A Bruce ubanowsky
%A Jeanne Robinette
%T Ada Translation Tools Development: Automatic Translation of FORTRAN to Ada
%J Ada Letters
%V VIII
%N 6
%P 57-71
%I ACM SIGAda
%C New York, NY
%D Nov/Dec 1988

%A Philippe Collard
%A Andre Goforth
%T Knowledge Based Systems and Ada: An Overview of the Issues
%J Ada Letters
%V VIII
%N 6
%P 72-81
%I ACM SIGAda
%C Nov/Dec 1988
%D Nov/Dec 1988

%A Guo-Guang Xing
%A Hui Rao
%A Bin Liu
%A Jun Shen
%A Ming-Yuan Zhu
%T An Integrated Ada Programming Environment: AWA
%J Ada Letters
%V VIII
%N 6
%P 82-91
%I ACM SIGAda
%C New York, NY
%D Nov/Dec 1988

%A Dennis Cornhill
%A Lui Sha
%T Priority Inversion in Ada - or - What Should be the Priority of an Ada Server Task?
%J Ada Letters
%V VII
%N 7
%P 30-32
%I ACM SIGAda
%C New York, NY
%D Nov/Dec 1987

%A Ken Shumate
%T An Example Case Study on Ada Tasking
%J Ada Letters
%V VII
%N 7
%P 33-54
%I ACM SIGAda
%C New York, NY
%D Nov/Dec 1987

%A Susan Flynn
%A Edith Schonberg
%A Edmond Schonberg
%T The Efficient Termination of Ada Tasks in a Multiprocessor Environment
%J Ada Letters
%V VII
%N 7
%P 55-75
%I ACM SIGAda
%C New York, NY
%D Nov/Dec 1987

%A J. P. Rosen
%T In Defense of the "use" clause
%J Ada Letters
%V VII
%N 7
%P 77-81
%I ACM SIGAda
%C New York, NY
%D Nov/Dec 1987

%A J. C. D. Nissen
%A P. A. Wichmann
%A et. al.
%T Ada-Europe Guidelines for Ada Compiler Specification and Selection
%J Ada Letters
%V III
%N 6
%N 5
%P 50-62
%I ACM SIGAda
%C New York, NY
%D Mar/Apr 1984

%A I. C. Pyle
%T A Package for Specifying Ada Programs
%J Ada Letters
%V III
%N 5
%P 63-68
%I ACM SIGAda
%C New York, NY
%D Mar/Apr 1984

%A Anders Ardo
%A Lars Philipson
%T A Simple Ada Compiler Invalidation Test
%J Ada Letters
%V III
%N 5
%P 6974
%P 69-74
%I ACM SIGAda
%C New York, NY
%D Mar/Apr 1984

%A Pecularities of Ada
%A G. G. Bengel
%T Pecularities of Ada
%J Ada Letters
%V III
%N 5
%P 75-81
%I ACM SIGAda
%C New York, NY
%D Mar/Apr 1984

%A Victor R. Basili
%A Shih Chang
%A John gannon
%A Elizabeth Katz
%A N. Monina Panlilo-Yap
%A Connie Loggia Ramsey
%A Marvin Zelkowitz
%A John Bailey
%A Elizabeth Kruesi
%A Sylvia Sheppard
%T Monitoring an Ada Software Development
%J Ada Letters
%V IV
%N 1
%P 32-39
%I ACM SIGAda
%C New York, NY
%D Jul/Aug 1984

%A David Alan Wolverton
%T A Perfect Hash Function for Ada Reserved Words
%J Ada Letters
%V IV
%N 1
%P 40-44
%I ACM SIGAda
%C New York, NY
%D Jul/Aug 1984

%A Edward V. Berard
%T Ada Education is a Moving Target
%J Ada Letters
%V IV
%N 1
%P 45-49
%I ACM SIGAda
%C New York, NY
%D Jul/Aug 1984

%A Albert Llamosi
%A Pere Botella
%A Fernando Orejas
%T On Unlimited types and Reliability of Ada Programs
%J Ada Letters
%V IV
%N 1
%P 50-60
%I ACM SIGAda
%C New York, NY
%D Jul/Aug 1984

%A David A. Smith
%T ANSI Standard Ada - Quick Reference Sheet
%J Ada Letters
%V IV
%N 1
%P 61-66
%I ACM SIGAda
%C New York, NY
%D Jul/Aug 1984

%A Rodney M. Bond
%T Ada as a Program Description Language (PDL)
%J Ada Letters
%V IV
%N 1
%P 67-73
%I ACM SIGAda
%C New York, NY
%D Jul/Aug 1984

%A J. A. Kirkham
%A A. Burns
%A R. J. Thomas
%T The Use of Structured Systems Analysis in the Rapid Creation of Information Management Systems Prototypes Written in Ada
%J Ada Letters
%V IV
%N 1
%P 74-87
%I ACM SIGAda
%C New York, NY
%D Jul/Aug 1984

%A Sergio Arevalo
%A Angel Alvarez
%T Fault Tolerant Distributed Ada
%J Ada Letters
%V IX
%N 5
%P 54-59
%I ACM SIGAda
%C New York, NY
%D Jul/Aug 1989

%A Reinhold P. Weiker
%T Dhrystone Benchmark (Ada Version 2): Rationale and Measurement Rules
%J Ada Letters
%V IX
%N 5
%P 60-82
%I ACM SIGAda
%C New York, NY
%D Jul/Aug 1982
%D Jul/Aug 1989

%A Wolf-Dieter Heker
%T Sieve of Eratosthenes Revisited
%J Ada Letters
%V IX
%N 5
%P 83
%I ACM SIGAda
%C New York, NY
%D Jul/Aug 1989

%A Y. C. Wu
%A Ted P. Baker
%T A Source Code Documentation System for Ada
%J Ada Letters
%V IX
%N 5
%P 84-88
%I ACM SIGAda
%C New York, NY
%D Jul/AUg 1989
%D Jul/Aug 1989

%A Mats Carlsson
%A Lars Asplund
%T A Data Acquisition and Information Handling System in Ada for Electron Spectroscopy
%J Ada Letters
%V IX
%N 5
%P 89-100
%I ACM SIGAda
%C New York, NY
%D Jul/Aug 1989

%A Eric Kiem
%T The KEYSTONE System Design Methodology
%J Ada Letters
%V IX
%N 5
%P 101-107
%I ACM SIGAda
%C New York, NY
%D Jul/Aug 1989

%A Franco Mazzanti
%T The AIDA Experiment
%J Ada Letters
%V IX
%N 5
%P 109-114
%I ACM SIGAda
%C New York, NY
%D Jul/AUg 1989

%A Stowe Boyd
%T The Role of Ada in Contemporary Interface Technology
%J Ada Letters
%V IX
%N 5
%P 115-122
%I ACM SIGAda
%C New York, NY
%D Jul/Aug 1989

%A Andre Schiper
%A Roland Simon
%T Traps using the COUNT Attribute in the Readers-Writers Problem
%J Ada Letters
%V IX
%N 5
%P 123-128
%I ACM SIGAda
%C New York, NY
%D Jul/Aug 1989

%A Greg Gicca
%T A Simple Standardized Ada Command Line Interface
%J Ada Letters
%V X
%N 5
%P 88-100
%I ACM SIGAda
%C New York, NY
%D May/Jun 1990

%A Gier Green
%T Access Values Pointing to any Object
%J Ada Letters
%V X
%N 5
%P 101-109
%I ACM SIGAda
%C New York, NY
%D May/Jun 1990

%A Jingde Cheng
%T A Classification of Tasking Deadlocks
%J Ada Letters
%V X
%N 5
%P 110-127
%I ACM SIGAda
%C New York, NY
%G Dave Emery/1A322
%D May/Jun 1990

%A Mike W. Rogers
%T IT Compaines' Acceptance of and Attitudes towards Ada
%J Ada In Use
%P 1-13
%I Cambridge University Press
%C Cambridge, England
%D May 1985

%A Olavi Poutanen
%A Kari-Matti Varanki
%A Tapio Valimaki
%T Notes on Building a Relational Database Management System in Ada
%J Ada in Use (1985 International Ada Conference)
%P 14-24
%I Cambridge University Press
%C Cambridge, England
%D May 1985

%A Kjell-Haken Narfelt
%A Dick Schefstrom
%T Extending the Scope of the Program Library
%J Ada in Use (1985 International Ada Conference)
%P 25-40
%I Cambridge University Press
%C Cambridge, England
%D May 1985

%A John M. Smith
%A Arvola Chan
%A Sy Danberg
%A Stephen Fox
%A Anil Nori
%T A Tool Kit for Database Programming in Ada
%J Ada in Use (1985 International Ada Conference)
%P 41-57
%I Cambridge University Press
%C Cambridge, England
%D May 1985

%A Edith Schonberg
%A Edmond Shconberg
%T Highly Parallel Ada - Ada on an Ultracomputer
%J Ada in Use (1985 International Ada Conference)
%P 58-71
%I Cambridge University Press
%C Cambridge, England
%D May 1985

%A Richard A. Volz
%A Trevor N. Mudge
%A Arch W. Naylor
%A John H. Mayer
%T Some Problems in Distributing Real-Time Ada Programs across Machines
%J Ada in Use (1985 International Ada Conference)
%P 72-84
%I Cambridge University Press
%C Cambridge, England
%D May 1985

%A P. Inverardi
%A F. Mazzanti
%A C. Montangero
%T THe Use Of Ada in the Design of Distributed Systems
%J Ada in Use (1985 International Ada Conference)
%P 85-96
%I Cambridge University Press
%C Cambridge, England
%D May 1985

%A Carol H. Ledoux
%A D. Stott Parker, Jr
%T Saving Traces for Ada Debugging
%J Ada in Use (1985 International Ada Conference)
%P 97-108
%I Cambridge University Press
%C Cambridge, England
%D May 1985

%A A. Di Maio
%A S. Ceri
%A S. Crespi Reghizzi
%T Execution Monitoring and Debugging Tools for Ada using Relational Algebra
%J Ada in Use (1985 International Ada Conference)
%P 109-123
%I Cambridge University Press
%C Cambridge, England
%D May 1985

%A Claude Mauger
%A Kevin Pammett
%T An Event-Driven Debugger for Ada
%J Ada in Use (1985 International Ada Conference)
%P 124-135
%I Cambridge University Press
%C Cambridge, England
%D May 1985

%A Thomas M. Leonard
%T Ada and the Graphical Kernal System
%J Ada in Use (1985 International Ada Conference)
%P 136-150
%I Cambridge University Press
%C Cambridge, England
%D May 1985

%A Mitchell J. Bassman
%A Gerald A. Fisher, Jr
%A Anthony Gargaro
%T An Approach for Evaluating the Performance Efficiency of Ada Compilers
%J Ada in Use (1985 International Ada Conference)
%P 151-163
%I Cambridge University Press
%C Cambridge, England
%D May 1985

%A Rajiv Gupta
%A Mary Lou Soffa
%T The Efficiency of Storage Management Schemes for Ada Programs
%J Ada in Use (1985 International Ada Conference)
%P 164-172
%I Cambridge University Press
%C Cambridge, England
%D May 1985

%A R. J. A. Buhr
%A G. M. Karam
%A C. M. Woodside
%T An Overview and Example of Application of CAEDE: A New, Experimental Design Environment for Ada
%J Ada in Use (1985 International Ada Conference)
%P 173-184
%I Cambridge University Press
%C Cambridge, England
%D May 1985

%A Friedrich W. von Henke
%A David C. Luckham
%A Bernd Krieg-Bruekner
%A Olaf Owe
%T Semantic Specification of Ada Packages
%J Ada in Use (1985 International Ada Conference)
%P 185-196
%I Cambridge University Press
%C Cambridge, England
%D May 1985

%A O. Roubine
%T Programming Large and Flexible Systems in Ada
%J Ada in Use (1985 International Ada Conference)
%P 197-209
%I Cambridge University Press
%C Cambridge, England
%D May 1985

%A R. J. A. Buhr
%T Lessons from Practical Experience Teaching Hands-On, Real-Time Embedded Systems Programming with Ada
%J Ada in Use (1985 International Ada Conference)
%P 210-216
%I Cambridge University Press
%C Cambridge, England
%D May 1985

%A Bryce M. Bardin
%A Marion F. Moon
%T In Search of "Real" Ada: A Software Saga with a Moral or Two
%J Ada in Use (1985 International Ada Conference)
%P 217-228
%I Cambridge University Press
%C Cambridge, England
%D May 1985

%A Rene Beretz
%A Benjamin M. Brosgol
%T Designing an Automated Ada Training Product
%J Ada in Use (1985 International Ada Conference)
%P 229-240
%I Cambridge University Press
%C Cambridge, England
%D May 1985

%A Rob Strom
%A Shaula Yemini
%A Peter Wegner
%T Viewing Ada from a Process Model Perspective
%J Ada in Use (1985 International Ada Conference)
%P 241-254
%I Cambridge University Press
%C Cambridge, England
%D May 1985

%A David Helmbold
%A David C. Luckham
%T TSL: Task Sequencing Language
%J Ada in Use (1985 International Ada Conference)
%P 255-274
%I Cambridge University Press
%C Cambridge, England
%D May 1985

%A P. J. L. Wallis
%T Automatic Language Conversion and its Place in the Translation to Ada
%J Ada in Use (1985 International Ada Conference)
%P 275-284
%I Cambridge University Press
%C Cambridge, England
%D May 1985

%A Sriram Sankar
%A David Rosenblum
%A Randall Neff
%T An Implementation of ANNA
%J Ada in Use (1985 International Ada Conference)
%P 285-296
%I Cambridge University Press
%C Cambridge, England
%D May 1985

%A V. Conzeau-Gouge
%A B. Lang
%A B. Me'le'se
%T A Tool for Ada Program Manipulations: Mentor-Ada
%J Ada in Use (1985 International Ada Conference)
%P 297-308
%I Cambridge University Press
%C Cambridge, England
%D May 1985

%A R. H. Pierce
%T Ada in the ECLIPSE Project Support Environment
%J Ada in Use (1985 International Ada Conference)
%P 309-320
%I Cambridge University Press
%C Cambridge, England
%D May 1985

%A J. Bundgaard
%T THe Developemnt of an Ada Front End for Small Computers
%J Ada in Use (1985 International Ada Conference)
%P 321-328
%I Cambridge University Press
%C Cambridge, England
%D May 1985

%A G. A. Riccardi
%A T. P. Baker
%T A Runtime Supervisor to Support Ada Tasking: Rendezvous and Delays
%J Ada in Use (1985 International Ada Conference)
%P 329-342
%I Cambridge University Press
%C Cambridge, England
%D May 1985

%A M. R. Barbacci
%A W. A. Maddox
%A T. D. Newton
%A R. G. Stockton
%T The Ada+ Front End and Code Generator
%J Ada in Use (1985 International Ada Conference)
%P 343-354
%I Cambridge University Press
%C Cambridge, England
%D May 1985

%A D. A. Taffs
%A M. W. Taffs
%A J. C. Rienzo
%A T. R. Hampson
%T the ALS Ada Compiler Global Optimizer
%J Ada in Use (1985 International Ada Conference)
%P 355-366
%I Cambridge University Press
%C Cambridge, England
%D May 1985

%A Donald J. Reifer
%T Ada's Impact: A Quantitative Assessment
%J Using Ada (1987 International Ada Conference)
%P 1-13
%I ACM SIGAda
%C New York, NY
%D Dec 1987

%A Sam Harbaugh
%A Greg Saunders
%T GKS/Ada Post Mortem, A Cost Analysis
%J Using Ada (1987 International Ada Conference)
%P 14-24
%I ACM SIGAda
%C New York, NY
%D Dec 1987

%A Shunichi Fukuyama
%A Naoi Okuse
%A Matsuto Fujimaru
%A Seiichi Yamaski
%T Emperical Guidelines to Use Ada Effectively
%J Using Ada (1987 International Ada Conference)
%P 25-30
%I ACM SIGAda
%C New York, NY
%D Dec 1987

%A Fred Francl
%T Pioneering Mission-Critical Software
%J Using Ada (1987 International Ada Conference)
%P 31-35
%I ACM SIGAda
%C New York, NY
%D Dec 1987

%A Gerald M. Karam
%A Raymond J. A. Buhr
%T Experience with the Automatic Temporal Analysis of Multitasking Ada Designs
%J Using Ada (1987 International Ada Conference)
%P 36-44
%I ACM SIGAda
%C New York, NY
%D Dec 1987

%A Charles Williams
%T Use of the Rational R1000 Ada Development Environment for an IBM Based Command and Control System
%J Using Ada (1987 International Ada Conference)
%P 45-55
%I ACM SIGAda
%C New York, NY
%D Dec 1987

%A Dick Schefstrom
%T The System-Oriented Editor - A Tool for Managing Large Software Systems
%J Using Ada (1987 International Ada Conference)
%P 56-59
%I ACM SIGAda
%C New York, NY
%D Dec 1987

%A Trevor Moreton
%T Partitioned Ada Libraries as a Basis for Varient Control
%J Using Ada (1987 International Ada Conference)
%P 60-64
%I ACM SIGAda
%C New York, NY
%D Dec 1987

%A David Ternes
%T Development Software Configuration and Integration in a Large Ada Project
%J Using Ada (1987 International Ada Conference)
%P 65-74
%I ACM SIGAda
%C New York, NY
%D Dec 1987

%A Brett Buchman
%T Design Automation for Ada Development under DOD-STD-2167 (and Beyond)
%J Using Ada (1987 International Ada Conference)
%P 75-80
%I ACM SIGAda
%C New York, NY
%D Dec 1987

%A L. E. Murray
%T A Life-Cycle Oriented Ada Design Language
%J Using Ada (1987 International Ada Conference)
%P 81-86
%I ACM SIGAda
%C New York, NY
%D Dec 1987

%A Amelia Maxted
%A John C. Rowe
%T An Ada Graphical Tool
%J Using Ada (1987 International Ada Conference)
%P 87-94
%I ACM SIGAda
%C New York, NY
%D Dec 1987

%A Robert F. Mathis
%T Elementary Functions Package for Ada
%J Using Ada (1987 International Ada Conference)
%P 95-100
%I ACM SIGAda
%C New York, NY
%D Dec 1987

%A Allan R. Klumpp
%T An Ada Linear Algebra Package Modeled after HAL/S
%J Using Ada (1987 International Ada Conference)
%P 101-110
%I ACM SIGAda
%C New York, NY
%D Dec 1987

%A Michael D. Walters
%T Expert Systems Development in LISP and Ada
%J Using Ada (1987 International Ada Conference)
%P 111-115
%I ACM SIGAda
%C New York, NY
%D Dec 1987

%A William L. Schultz
%A Asheem Chandna
%T An Ada Based Approach to Factory Scale MAP Network Simulation
%J Using Ada (1987 International Ada Conference)
%P 116-125
%I ACM SIGAda
%C New York, NY
%D Dec 1987

%A John E. Melde
%A Phillip G. Gage
%T Large System Simulation Using Ada
%J Using Ada (1987 International Ada Conference)
%P 126-132
%I ACM SIGAda
%C New York, NY
%D Dec 1987

%A C. Amiguet
%A A. Schiper
%T Discrete-Event Simulation in Ada
%J Using Ada (1987 International Ada Conference)
%P 133-140
%I ACM SIGAda
%C New York, NY
%D Dec 1987

%A Ted P. Baker
%T A Low-Level Tasking Package for Ada
%J Using Ada (1987 International Ada Conference)
%P 141-146
%I ACM SIGAda
%C New York, NY
%D Dec 1987

%A Joseph C. DiGrazia
%A Jehuda Ziegler
%A Richard Mueller
%T An Ada Distributed Multiprocesser Executive: From Conceptualization to Implementation
%J Using Ada (1987 International Ada Conference)
%P 147-156
%I ACM SIGAda
%C New York, NY
%D Dec 1987

%A Shohei Fujita
%T Self-Organizing Distributed Operating System - Implementation and Problem using Ada
%J Using Ada (1987 International Ada Conference)
%P 157-158
%I ACM SIGAda
%C New York, NY
%D Dec 1987

%A L. Lucas
%A D. Dent
%T Real-Time Ada Demonstration
%J Using Ada (1987 International Ada Conference)
%P 159-163
%I ACM SIGAda
%C New York, NY
%D Dec 1987

%A Eric N. Schacht
%T Ada Programmign Techniques, Research and Experiences on a Fast Control Loop System
%J Using Ada (1987 International Ada Conference)
%P 164-169
%I ACM SIGAda
%C New York, NY
%D Dec 1987

%A Michael R. Middlemas
%T Ada Applications on Embedded Targets
%J Using Ada (1987 International Ada Conference)
%P 170-179
%I ACM SIGAda
%C New York, NY
%D Dec 1987

%A Geoffrey O. Mendal
%T Storage Reclamation Models for Ada Programs
%J Using Ada (1987 International Ada Conference)
%P 180-189
%I ACM SIGAda
%C New York, NY
%D Dec 1987

%A Ron Kownacki
%A S. Tucker Taft
%T Portable and Efficient Dynamic Storage Management in Ada
%J Using Ada (1987 International Ada Conference)
%P 190-198
%I ACM SIGAda
%C New York, NY
%D Dec 1987

%A Phillip J. Lefebvre
%T Reclamation of Memory Allocated for Dynamic Ada Tasking
%J Using Ada (1987 International Ada Conference)
%P 199-207
%I ACM SIGAda
%C New York, NY
%D Dec 1987

%A Yoelle S. Maarek
%A Gail E. Kaiser
%T Using Conceptual Clustering for Classifying Reusable Ada Code
%J Using Ada (1987 International Ada Conference)
%P 216-225
%I ACM SIGAda
%C New York, NY
%D Dec 1987

%A David R. Musser
%A Alexander A. Stepanov
%T A Library of Generic Algorithms in Ada
%J Using Ada (1987 International Ada Conference)
%P 216-225
%I ACM SIGAda
%C New York, NY
%D Dec 1987

%A Manfred Dausmann
%T Library Structures for Reusable Components
%J Using Ada (1987 International Ada Conference)
%P 226-336
%I ACM SIGAda
%C New York, NY
%D Dec 1987

%A Ed Falis
%T Design and Implementation in Ada of a Runtime Task Supervisor
%J 1982 AdaTEC Conference on Ada
%P 1-9
%I ACM SIGAda
%C New York, NY
%D Oct 1982

%A S. M. German
%A D. P. Helmbold
%A D. C. Luckham
%T Monitoring for Deadlocks in Ada Tasking
%J 1982 AdaTEC Conference on Ada
%P 11-25
%I ACM SIGAda
%C New York, NY
%D Oct 1982

%A P. N. Hilfinger
%T Implementation Strategies for Ada Tasking Idioms
%J 1982 AdaTEC Conference on Ada
%P 26-30
%I ACM SIGAda
%C New York, NY
%D Oct 1982

%A R. M. Thall
%T The KAPSE for the Ada Language System
%J 1982 AdaTEC Conference on Ada
%P 31-47
%I ACM SIGAda
%C New York, NY
%D Oct 1982

%A A. Fantechi
%A F. Gallo
%T Portable Ada Programming System: A Proposed Run-TIme Architecture
%J 1982 AdaTEC Conference on Ada
%P 48-56
%I ACM SIGAda
%C New York, NY
%D Oct 1982

%A W. F. TIchy
%T Adabase: A Database for Ada Programs
%J 1982 AdaTEC Conference on Ada
%P 57-65
%I ACM SIGAda
%C New York, NY
%D Oct 1982

%A M. Sherman
%A A. Hisgen
%A J. Rosenberg
%T A Methodology for Programing Abstract Data Types in Ada
%J 1982 AdaTEC Conference on Ada
%P 66-75
%I ACM SIGAda
%C New York, NY
%D Oct 1982

%A J. P. Privitera
%T Ada Design Language for the Structured Design Methodology
%J 1982 AdaTEC Conference on Ada
%P 76-90
%I ACM SIGAda
%C New York, NY
%D Oct 1982

%A S. Yemini
%T On the Suitability of Ada Multitasking for Expressing Parallel Algorithms
%J 1982 AdaTEC Conference on Ada
%P 91-97
%I ACM SIGAda
%C New York, NY
%D Oct 1982

%A R. T. Simpson
%T The ALS Ada Compiler Front End Architecture
%J 1982 AdaTEC Conference on Ada
%P 98-106
%I ACM SIGAda
%C New York, NY
%D Oct 1982

%A E. Schonberg
%A G. A. Fisher
%T An Efficient Method for Handling Operator Overloading in Ada
%J 1982 AdaTEC Conference on Ada
%P 107-111
%I ACM SIGAda
%C New York, NY
%D Oct 1982

%A P. A. Belmont
%T On the Access-Before-Elaboration Problem in Ada
%J 1982 AdaTEC Conference on Ada
%P 112-119
%I ACM SIGAda
%C New York, NY
%D Oct 1982

%A V. Kini
%A D. F. Martin
%A A. Stoughton
%T Testing The INRIA Ada Formal Definition:  The USC-ISI Formal Semantics Project
%J 1982 AdaTEC Conference on Ada
%P 120-128
%I ACM SIGAda
%C New York, NY
%D Oct 1982

%A A. Pneuli
%A W. P. DeRoever
%T Rendezvous with Ada - A Proof Theoretical View
%J 1982 AdaTEC Conference on Ada
%P 128-137
%I ACM SIGAda
%C New York, NY
%D Oct 1982

%A W. Li
%T An Operational Semantics of Multitasking and Exception Handling in Ada
%J 1982 AdaTEC Conference on Ada
%P 138-151
%I ACM SIGAda
%C New York, NY
%D Oct 1982

%A A. G. Duncan
%A J. S. Hutchison
%T Using Ada for Industrial Embedded Microprocessor Applications, II
%J 1982 AdaTEC Conference on Ada
%P 152-161
%I ACM SIGAda
%C New York, NY
%D Oct 1982

%A G. Bruno
%T An Ada Package for Discrete Event Simulatoin
%J 1982 AdaTEC Conference on Ada
%P 172-180
%I ACM SIGAda
%C New York, NY
%D Oct 1982

%A M. Bever
%A M. Dausmann
%A S. Drossopoulou
%A W. Kirchgassner
%A P. C. Lockemann
%A G. Persch
%A G. Winterstein
%T The Integration of Existing Database Systems in an Ada Environment
%J 1982 AdaTEC Conference on Ada
%P 
%I ACM SIGAda
%C New York, NY
%D Oct 1982

%A M. E. Cranc
%T A Command Langauge for the Ada Environment
%J 1982 AdaTEC Conference on Ada
%P 181-186
%I ACM SIGAda
%C New York, NY
%D Oct 1982

%A D. B. Leblang
%T Abstract Syntax Based Programming Environments
%J 1982 AdaTEC Conference on Ada
%P 187-200
%I ACM SIGAda
%C New York, NY
%D Oct 1982

%A G. Frankel
%A R. Arnold
%T Linkage of Ada Components - Theme and Variations
%J 1982 AdaTEC Conference on Ada
%P 201-211
%I ACM SIGAda
%C New York, NY
%D Oct 1982

%A A. Jones
%A A. Ardo
%T Comparative Efficiency of Different Implementations of the Ada Rendezvous
%J 1982 AdaTEC Conference on Ada
%P 212-223
%I ACM SIGAda
%C New York, NY
%D Oct 1982

%A G. B. Clemmensen
%T A Formal Model of Distributed Ada Tasking
%J 1982 AdaTEC Conference on Ada
%P 224-237
%I ACM SIGAda
%C New York, NY
%D Oct 1982

%A S. B. Whitehill
%T An Ada Virtual Operating System
%J 1982 AdaTEC Conference on Ada
%P 238-250
%I ACM SIGAda
%C New York, NY
%D Oct 1982

%A O. Roubine
%A J. Teller
%A O. Maurel
%T LOLITA - A Low Level Intermediate Langauge for Ada
%J 1982 AdaTEC Conference on Ada
%P 251-260
%I ACM SIGAda
%C New York, NY
%D Oct 1982

%A S. T. Taft
%T DIANA as an Internal Representation in an Ada-In-Ada Compiler
%J 1982 AdaTEC Conference on Ada
%P 261-265
%I ACM SIGAda
%C New York, NY
%D Oct 1982

%A B. Appelbe
%A G. Dismukes
%T An Operational Definition of Intermediate Code for Implementing a Portable Ada Compiler
%J 1982 AdaTEC Conference on Ada
%P 266-274
%I ACM SIGAda
%C New York, NY
%D Oct 1982

%A John B. Goodenough
%T The Ada Compiler Validation Capability
%J 1980 SIGPlan Symposiun on the Ada Programing Language
%P 1-8
%I ACM SIGPlan
%C New York, NY
%D Dec 1980

%A David S. Notkin
%T An Experience with Parallelism in Ada
%J 1980 SIGPlan Symposiun on the Ada Programing Language
%P 9-15
%I ACM SIGPlan
%C New York, NY
%D Dec 1980

%A Richard E. Fairley
%T Ada Debugging and Testing Support Environments
%J 1980 SIGPlan Symposiun on the Ada Programing Language
%P 16-25
%I ACM SIGPlan
%C New York, NY
%D Dec 1980

%A A. G. Duncan
%A J. S. Hutchison
%T Using Ada for Industrial Embedded Microprocessor Applications
%J 1980 SIGPlan Symposiun on the Ada Programing Language
%P 26-35
%I ACM SIGPlan
%C New York, NY
%D Dec 1980

%A Gerhard Goos
%A Georg Winterstein
%T Towards a Compier Front-End for Ada
%J 1980 SIGPlan Symposiun on the Ada Programing Language
%P 36-46
%I ACM SIGPlan
%C New York, NY
%D Dec 1980

%A Guido Persch
%A Georg Winterstein
%A Manfred Dausmann
%A Sophia Drossopoulou
%T Overloading in Preliminary Ada
%J 1980 SIGPlan Symposiun on the Ada Programing Language
%P 47-56
%I ACM SIGPlan
%C New York, NY
%D Dec 1980

%A Peter A. Belmont
%T Type Resolution in Ada: An Implementation Report
%J 1980 SIGPlan Symposiun on the Ada Programing Language
%P 57-61
%I ACM SIGPlan
%C New York, NY
%D Dec 1980

%A Mark S. Sherman
%A Martha S. Borkan
%T A Flexible Semantic Analyzer for Ada
%J 1980 SIGPlan Symposiun on the Ada Programing Language
%P 62-71
%I ACM SIGPlan
%C New York, NY
%D Dec 1980

%A Jonathan Rosenberg
%A David Alex Lamb
%A Andy Hisgen
%A Mark Sherman
%T The Charrette Ada Compiler
%J 1980 SIGPlan Symposiun on the Ada Programing Language
%P 72-81
%I ACM SIGPlan
%C New York, NY
%D Dec 1980

%A Andy Hisgen
%A David Alex Lamb
%A Jonathan Rosenberg
%A Mark Sherman
%T A Runtime Representation for Ada Variables and Types
%J 1980 SIGPlan Symposiun on the Ada Programing Language
%P 82-90
%I ACM SIGPlan
%C New York, NY
%D Dec 1980

%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 1980 SIGPlan Symposiun on the Ada Programing Language
%P 91-1
%I ACM SIGPlan
%C New York, NY
%D Dec 1980

%A Benjamin M. Brosgol
%T TCOL-Ada and the "Middle-End" of the PQCC Ada Compiler
%J 1980 SIGPlan Symposiun on the Ada Programing Language
%P 101-112
%I ACM SIGPlan
%C New York, NY
%D Dec 1980

%A David C. Luckham
%A Wolfgang Polak
%T A Practical Method of Documenting and Verifying Ada Programs with Packages
%J 1980 SIGPlan Symposiun on the Ada Programing Language
%P 113-122
%I ACM SIGPlan
%C New York, NY
%D Dec 1980

%A William D. Young
%A Donald I. Good
%T Generics and Verification in Ada
%J 1980 SIGPlan Symposiun on the Ada Programing Language
%P 123-127
%I ACM SIGPlan
%C New York, NY
%D Dec 1980

%A Bernd Krieg-Bruekner
%A David C. Luckham
%T ANNA: Towards a Langauge for Annotating Ada Programs
%J 1980 SIGPlan Symposiun on the Ada Programing Language
%P 128-138
%I ACM SIGPlan
%C New York, NY
%D Dec 1980

%A Lori A. Clarke
%A Jack C. Wileden
%A Alexander L. Wolf
%T Nesting in Ada is for the Birds
%J 1980 SIGPlan Symposiun on the Ada Programing Language
%P 139-145
%I ACM SIGPlan
%C New York, NY
%D Dec 1980

%A Lee MacLaren
%T Evolving Toward Ada in Real-Time Systems
%J 1980 SIGPlan Symposiun on the Ada Programing Language
%P 146-155
%I ACM SIGPlan
%C New York, NY
%D Dec 1980

%A W. Eventoff
%A D. Harvey
%A R. J. PRice
%T The Rendezvous and Monitor Concepts; Is There an Efficiency Difference?
%J 1980 SIGPlan Symposiun on the Ada Programing Language
%P 156-165
%I ACM SIGPlan
%C New York, NY
%D Dec 1980

%A David R. Stevenson
%T Algorithms for Translating Ada Tasking
%J 1980 SIGPlan Symposiun on the Ada Programing Language
%P 166-175
%I ACM SIGPlan
%C New York, NY
%D Dec 1980

%A Gary L. Filipski
%A Donald R. Moore
%A Major John E. newton
%T Ada as a Software Transition Tool
%J 1980 SIGPlan Symposiun on the Ada Programing Language
%P 176-182
%I ACM SIGPlan
%C New York, NY
%D Dec 1980

%A Paul F. Albrecht
%A Phillip E. Garrison
%A Susan L. Graham
%A Robert H. Hyerle
%A Patricia Ip
%A Bernd Krieg-Bruekner
%T Source-to-Source Translation: Ada to Pascal and Pascal to Ada
%J 1980 SIGPlan Symposiun on the Ada Programing Language
%P 183-193
%I ACM SIGPlan
%C New York, NY
%D Dec 1980

%A Robert B. K. Dewar
%A Gerald A. Fisher, Jr
%A Edmond Schonberg
%A Robert Froelich
%A Stephen Bryant
%A Clinton F. Goss
%A Michael Burke
%T The NYU Ada Translator and Interpreter
%J 1980 SIGPlan Symposiun on the Ada Programing Language
%P 194-201
%I ACM SIGPlan
%C New York, NY
%D Dec 1980

%A F. C. Belz
%A E. K. Blum
%A D. Heimbigner
%T A Multi-Processing Implementation-Oriented Formal Definition of Ada in SEMANOL
%J 1980 SIGPlan Symposiun on the Ada Programing Language
%P 202-212
%I ACM SIGPlan
%C New York, NY
%D Dec 1980

%A Hans Henrik Lovengreen
%A Dines Bjorner
%T On a Formal Model of the Tasking Concept in Ada
%J 1980 SIGPlan Symposiun on the Ada Programing Language
%P 213-222
%I ACM SIGPlan
%C New York, NY
%D Dec 1980

%A L. J. Groves
%A W. J. Rogers
%T The Design of a Virtual Machine for Ada
%J 1980 SIGPlan Symposiun on the Ada Programing Language
%P 223-234
%I ACM SIGPlan
%C New York, NY
%D Dec 1980

%A Judy M. Bishop
%T Effective Machine Descriptors for Ada
%J 1980 SIGPlan Symposiun on the Ada Programing Language
%P 235-242
%I ACM SIGPlan
%C New York, NY
%D Dec 1980

%A John C. Knight
%T On the Assessment of Ada Performance
%J Ada Letters 
%V X
%N 3
%P 1-6
%I ACM SIGPlan
%C New York, NY
%D Winter 1990

%A Russell M. Clapp
%A Trevor Mudge
%T Introduction to the Special Issue on Ada Performance Issues
%J Ada Letters 
%V X
%N 3
%P 10-13
%I ACM SIGPlan
%C New York, NY
%D Winter 1990

%A Russell M. Clapp
%A Trevor Mudge
%T Taxonomy of Benchmarks
%J Ada Letters 
%V X
%N 3
%P 14-19
%I ACM SIGPlan
%C New York, NY
%D Winter 1990

%A Russell M. Clapp
%A Trevor Mudge
%T The Time Problem
%J Ada Letters 
%V X
%N 3
%P 20-28
%I ACM SIGPlan
%C New York, NY
%D Winter 1990

%A Russell M. Clapp
%A Trevor Mudge
%T The Space Problem
%J Ada Letters 
%V X
%N 3
%P 29-32
%I ACM SIGPlan
%C New York, NY
%D Winter 1990

%A Russell M. Clapp
%A Trevor Mudge
%T Parallel and Distributed Issues
%J Ada Letters 
%V X
%N 3
%P 33-37
%I ACM SIGPlan
%C New York, NY
%D Winter 1990

%A Andre Goforth
%A Philippe Collard
%A Matthew Marquardt
%T Performance Measurement of Parallel Ada: An Applcations Based Approach
%J Ada Letters 
%V X
%N 3
%P 38-58
%I ACM SIGPlan
%C New York, NY
%D Winter 1990

%A David Rosenfeld
%A Mike Ryer
%T Issues in Optimizing Ada Code
%J Ada Letters 
%V X
%N 3
%P 60-71
%I ACM SIGPlan
%C New York, NY
%D Winter 1990

%A Daniel Roy
%T PIWG Measurement Methodology
%J Ada Letters 
%V X
%N 3
%P 72-90
%I ACM SIGPlan
%C New York, NY
%D Winter 1990

%A Robert H. Pollack
%A David J. Campbell
%T Clock Resolution and the PIWG Benchmark Suite
%J Ada Letters 
%V X
%N 3
%P 91-97
%I ACM SIGPlan
%C New York, NY
%D Winter 1990

%A Boeing
%T The Ada Compiler Evaluation Capability (ACEC)
%J Ada Letters 
%V X
%N 3
%P 101-
%I ACM SIGPlan
%C New York, NY
%D Winter 1990

%A Nelson Weiderman
%T Hartstone: Synthetic Benchmark Requirements for Hard Real-Time Applications
%J Ada Letters 
%V X
%N 3
%P 126-136
%I ACM SIGPlan
%C New York, NY
%D Winter 1990

%A Dan J. Byrne
%A Richard C. Ham
%T Ada vs Fortran: Performance Analysis using the ACPS
%J Ada Letters 
%V X
%N 3
%P 139-145
%I ACM SIGPlan
%C New York, NY
%D Winter 1990

%A Dale Gaumer
%T PIWG Test Results
%J Ada Letters 
%V X
%N 3
%P 146-210
%I ACM SIGPlan
%C New York, NY
%D Winter 1990

%A Dale Gaumer
%T Reporting PIWG Test Results
%J Ada Letters 
%V X
%N 3
%P 211-216
%I ACM SIGPlan
%C New York, NY
%D Winter 1990

%A Daniel Roy
%A Lakshmi Gupta
%T PWIG Analysis Methodology
%J Ada Letters 
%V X
%N 3
%P 217-229
%I ACM SIGPlan
%C New York, NY
%D Winter 1990