The Community for Technology Leaders
The Third International IEEE Conference on Ada Applications and Environments (1988)
Manchester, NH, USA
May 23, 1988 to May 25, 1988
ISBN: 0-8186-0808-0
TABLE OF CONTENTS

Symbolic execution-based verification of Ada tasking programs (PDF)

L.K. Dillon , Dept. of Comput. Sci., California Univ., Santa Barbara, CA, USA
pp. 3-13

An interleaving symbolic execution approach for the formal verification of Ada programs with tasking (PDF)

L.J. Harrison , Dept. of Comput. Sci., California Univ., Santa Barbara, CA, USA
R.A. Kemmerer , Dept. of Comput. Sci., California Univ., Santa Barbara, CA, USA
pp. 15-26

Three techniques supporting the developing of large prototype systems (PDF)

J.C. Wileden , Dept. of Comput. & Inf. Sci., Massachusetts Univ., Amherst, MA, USA
L.A. Clarke , Dept. of Comput. & Inf. Sci., Massachusetts Univ., Amherst, MA, USA
pp. 28-37

Development of a high performance, memory based, relational database system using Ada (PDF)

R.S. Birch , TAB, Albion, Qld., Australia
A. Bolwell , TAB, Albion, Qld., Australia
J.J. Maloney , TAB, Albion, Qld., Australia
pp. 39-44

Packaging fault-tolerant software with Ada (PDF)

D.S. Morris , Stevens Inst. of Technol., Hoboken, NJ, USA
pp. 45-52

The Benchmark Generator Tool: measuring Ada compilation system performance (PDF)

S.R. Rainier , MITRE Corp., McLean, VA, USA
T.P. Reagan , MITRE Corp., McLean, VA, USA
A.E. Salwin , MITRE Corp., McLean, VA, USA
pp. 55-62

A system for evaluating Ada implementations using synthesized benchmarks (PDF)

J.C. Knight , Software Productivity Consortium, Reston, VA, USA
pp. 63-68

A tool set for distributed Ada programming (PDF)

G. McFarland , Grumman Data Syst., Woodbury, NY, USA
P. Brennan , Grumman Data Syst., Woodbury, NY, USA
J.D. Litke , Grumman Data Syst., Woodbury, NY, USA
M.S. Restivo , Grumman Data Syst., Woodbury, NY, USA
pp. 71-79

Gaia: an object-oriented framework for an Ada environment (PDF)

D. Vines , Honeywell Syst. & Res. Center, Minneapolis, MN, USA
T. King , Honeywell Syst. & Res. Center, Minneapolis, MN, USA
pp. 810-890

A guided tour through a window oriented debugging environment for embedded real time Ada systems (PDF)

J. Gilles , Dept. of Comput. Sci., Iowa Univ., Iowa City, IA, USA
R. Ford , Dept. of Comput. Sci., Iowa Univ., Iowa City, IA, USA
pp. 93-103

Seer: a graphical retrieval system for reusable Ada software modules (PDF)

L. Latour , Dept. of Comput. Sci., Maine Univ., Orono, ME, USA
E. Johnson , Dept. of Comput. Sci., Maine Univ., Orono, ME, USA
pp. 105-113

Ada translation tools development: mappings from FORTRAN to Ada (PDF)

M. Parsian , Digital Equipment Corp., Farmington Hills, MI, USA
pp. 117-135

Generating multitasking Ada programs from high-level specifications (PDF)

Y. Shi , Computer Command & Control Co., Philadelphia, PA, USA
N. Prywes , Computer Command & Control Co., Philadelphia, PA, USA
pp. 137-149
82 ms
(Ver 3.3 (11022016))