American National Standards Institute. Reference Manual for the Ada Programming Language, February 1983. ANSI/MIL-STD 1815A. Also published by Springer-Verlag as LNCS 155. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
Thesis Proposal: Formal Verification Of Program Correctness For.. - Tang (Correct)
Ada 95 And Safety-Critical Software - Holloway (Correct)
Multiple Dispatch as Dispatch on Tuples - Leavens, Millstein (1998) (8 citations) (Correct)
BeCecil, A Core Object-Oriented Language with Block.. - Chambers, Leavens (1996) (Correct)
Static Detection Of Deadlocks In Polynomial Time - Masticola (1993) (23 citations) (Correct)
Multiple Dispatch as Dispatch on Tuples - Leavens, Millstein (1998) (8 citations) (Correct)
BeCecil, A Core Object-Oriented Language with Block.. - Chambers, Leavens (1997) (Correct)
ACL - Eliminating Parameter Aliasing with Dynamic Dispatch - Leavens, Antropova (1999) (2 citations) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC