Collection
Year
Month
3 Matching Results
Results open in a new window/tab.
Results:
1 - 3 of
3
Formal System Specifications : a Case Study of Three Diverse Representations
The only effective way to raise the confidence level of a program significantly is to give a convincing proof of its correctness. But one should not first make the program and then prove its correctness, because then the requirement of providing the proof would only increase the poor programmer's burden. On the contrary: the programmer should let correctness proof and program grow hand in hand.
Date:
December 1990
Creator:
Chisholm, G. H.; Smith, Brian Thomas & Wojcik, A. S.
System:
The UNT Digital Library
Rationale for the Proposed Standard for a Generic Package of Primitive Functions for Ada
This paper supplements the Proposed Standard for a Generic Package of Primitive Functions for Ada, '' written by the ISO- IEC/JTC1/SC22/WG9 (Ada) Numerics Rapporteur Group. Based on recommendations made jointly by the ACM SIGAda Numerics Working Group and the Ada-Europe Numerics Working Group, the proposed primitive functions standard is the second of several anticipated secondary standards to address the interrelated issues of portability, efficiency, and robustness of numerical software written in Ada. Its purpose, features, and developmental history are outlined in this commentary.
Date:
December 1990
Creator:
Dritz, Kenneth W.
System:
The UNT Digital Library
Nuclear Technology Programs Semiannual Progress Report: October 1988-March 1989
Progress report of the Argonne National Laboratory's Nuclear Technology Programs, including R&D in three areas: applied physical chemistry, separation science and technology, and nuclear waste management.
Date:
December 1990
Creator:
Steindler, M. J. & Harmon, J. E.
System:
The UNT Digital Library