Steelman and the verifiability of (preliminary) ADA

Authors:
William D. Young;Donald I. Good
Affiliations:
The University of Texas at Austin, Austin, Texas;The University of Texas at Austin, Austin, Texas
Venue:
ACM SIGPLAN Notices
Year:
1981

Citing 7
Cited 0

Ada exception handling: an axiomatic approach

ACM Transactions on Programming Languages and Systems (TOPLAS)
Design of Well-Structured and Correct Programs

Design of Well-Structured and Correct Programs
DoD-I: the summing up

ACM SIGPLAN Notices
The DoD common high order programming language effort (DoD-1): what will the impacts be?

ACM SIGPLAN Notices
Preliminary Ada reference manual

ACM SIGPLAN Notices - Preliminary Ada reference manual
Rationale for the design of the Ada programming language

ACM SIGPLAN Notices - Rationale for the deisgn of the Ada programming language
Language design for the Ironman requirement: reference manual

ACM SIGPLAN Notices

Quantified Score

Hi-index	0.00

Visualization

Abstract