Copyright | Contents | Index | Previous | Next

References

[1003.1 90]   The Institute of Electrical and Electronics Engineers.
              Portable Operating System Interface (POSIX) - Part 1:
              System Application Program Interface (API) [C Language].
              The Institute of Electrical and Electronics Engineers,
              1990.

[1003.4 93]   The Institute of Electrical and Electronics Engineers.
              Portable Operating System Interface (POSIX) - Part 1:
              Amendment 1: Realtime Extensions [C Language].  POSIX
              P1003.4/D14. March, 1993.

[1003.4a 93]  The Institute of Electrical and Electronics Engineers.
              Portable Operating System Interface (POSIX) - Part 1:
              Amendment 2: Threads Extensions [C Language].  POSIX
              P1003.4a/D7. April, 1993.

[1003.5 92]   The Institute of Electrical and Electronics Engineers.
              POSIX Ada Language Interfaces, Part 1 Binding for System
              Application Program Interface (API).  The Institute of
              Electrical and Electronics Engineers, 1992.

[AARM]        Annotated Ada 95 Reference Manual, Version 6.0.
              Intermetrics Inc, 1995.

[Abadi 91]    M. Abadi, L. Cardelli, B. Pierce, and G. Plotkin.  "Dynamic
              Typing in a Statically Typed Language".  Transactions on
              Programming Languages and Systems 13(2), April 1991.

[ANSI 83]     Reference Manual for the Ada Programming Language.
              ANSI/MIL-Std-1815a edition, 1983.

[Archinoff 90] G. H. Archinoff, R. J. Hohendorf, A. Wassyng, B. Quigley
              and M. R. Borsch.  "Verification of the Shutdown System
              Software at the Darlington Nuclear Generating Station".  In
              International Conference on Control & Instrumentation in
              Nuclear Installations.  May, 1990. Glasgow.

[Atkinson 88] C. Atkinson, T. Moreton, and A. Natali (editors).  Ada for
              Distributed Systems.  The Ada Companion Series,  Cambridge
              University Press, 1988.

[Austin 91]   S. M. Austin, D. R. Wilkins, and B. A. Wichmann.  "An Ada
              Test Generator".  In Tri-Ada 1991 Proceedings, ACM SIGAda,
              1991.

[Baker 89]    T. Baker.  "Time Issues Working Group".  In Proceedings of
              the First International Workshop on Real-Time Ada Issues,
              pages 119-135.  Software Engineering Institute and United
              States Office of Naval Research, Association for Computing
              Machinery, New York, NY, June, 1989. Appeared in ACM SIGAda
              Ada Letters, Vol. X, No..4.

[Baker 91]    T. Baker.  "Stack-Based Scheduling of Realtime Processes".
              The Real-Time Systems Journal 3(1): 67-100, March, 1991.

[Bal 92]      H. E. Bal, M. F. Kaashoek, and A. S. Tanenbaum.  "Orca: A
              Language for Parallel Programming of Distributed Systems".
              IEEE Transactions on Software Engineering, 18(3): 190-205,
              March 1992.

[Bardin 89]   B. M. Bardin and C. J. Thompson.  "Composable Ada Software
              Components and the Re-Export Paradigm".  ACM SIGAda Ada
              Letters VIII(1), 1989.

[Barnes 76]   J. G. P. Barnes.  RTL/2 Design and Philosophy.  Heyden,
              1976.

[Barnes 82]   J. G. P. Barnes.  Programming in Ada.  Addison-Wesley,
              London, 1982.

[Barnes 95]   J. G. P. Barnes.  Accessibility Rules OK!  Ada Letters
              XV(1), 1995.

[Birtwistle 73]     G. M. Birtwistle, O-J. Dahl, B. Myhrhaug, and K.
              Nygaard.  SIMULA Begin.  Auerbach, Philadelphia, PA, 1973.

[Blum 86]     L. Blum, M. Blum and M. Shub.  "A Simple Unpredictable
              Pseudo-Random Number Generator".  SIAM Journal of Computing
              15(2):364-383, 1986.

[Booch 86]    G. E. Booch.  "Object-Oriented Development".  IEEE
              Transactions on Software Engineering SE-12(2), February
              1986.

[Booch 87]    G. E. Booch.  Software Components with Ada.
              Benjamin/Cummings, Menlo Park, CA, 1987.

[Brinch-Hansen 73]  P. Brinch-Hansen.  Concurrent Programming Concepts.
              Computing Surveys 5(4): 224-245, 1973.

[Brosgol 89]  B. Brosgol.  "Is Ada Object-Oriented?"  ALSYS News.  Fall,
              1989.

[Brosgol 92]  B. M. Brosgol, D. E. Emery and R. I. Eachus.  "Decimal
              Arithmetic in Ada".  In Proceedings of the Ada-Europe
              International Conference, Amsterdam, June 1-5, 1992.

[Brosgol 93]  B. M. Brosgol.  Minutes of Special Meeting - Security &
              Safety Annex. Unnumbered Ada 9X Project Document, 1993.

[Brown 81]    W. S. Brown.  "A simple but realistic model of floating-
              point computation".  Transactions on Mathematical Software
              7(4): 445-480, December, 1981.

[Brygier 93]  J. Brygier and M. Richard-Foy.  "Ada Run Time System
              Certification for Avionics Applications".  In Proceedings
              of the Ada-Europe International Conference.  June, 1993.
              Paris, France.

[Budd 91]     T. Budd.  An Introduction to Object-Oriented Programming.
              Addison-Wesley, 1991.
[Burger 87]   T. M. Burger and K. W. Nielsen.  "An Assessment of the
              Overhead Associated With Tasking Facilities and Tasking
              Paradigms in Ada".  ACM SIGAda Ada Letters VII(1): 49-58,
              1987.

[Burns 87]    A. Burns, A. M. Lister, and A. Wellings.  A Review of Ada
              Tasking.  Lecture Notes in Computer Science, Springer-
              Verlag, Berlin, 1987.

[Burns 89]    A. Burns and A. Wellings.  Real-Time Systems and their
              Programming Languages.  International Computer Science
              Series, Addison-Wesley, Reading, MA, 1989.

[Cardelli 85] L. Cardelli and P. Wegner.  "On Understanding Types, Data
              Abstraction, and Polymorphism".  ACM Computing Surveys
              17(4): 471-522, December 1985.

[Carre' 88]   B. A. Carre' and T. J. Jennings.  SPARK - The SPADE Ada
              Kernel.  Technical Report, University of Southampton,
              March, 1988.

[CD 93]       Ada 9X Reference Manual, Version 4.0 (Committee Draft).
              Intermetrics Inc, 1993.

[Coffman 73]  Coffman and Denning.  Operating Systems Theory.  Prentice-
              Hall, Englewood Cliffs, New Jersey, 1973.

[Cohen 90]    S. Cohen.  Ada Support for Software Reuse.  Technical
              Report SEI-90-SR-16, Software Engineering Institute,
              October 1990.

[Cullyer 91]  W. J. Cullyer, S. J. Goodenough and B. A. Wichmann.  "The
              Choice of Computer Languages in Safety-Critical Systems".
              Software Engineering Journal 6(2): 51-58, March, 1991.

[Dahl 72]     O-J. Dahl, E. W. Dijkstra, and C. A. R. Hoare.  Structured
              Programming.  Academic Press, London, 1972, p111.

[Dewar 90a]   R. B. K. Dewar.  Shared Variables and Ada 9X Issues.
              Special Report SEI-90-SR-1, Software Engineering Institute,
              January 1990.

[Dewar 90b]   R. B. K. Dewar.  The Fixed-Point Facility in Ada.
              Technical Report Special Report SEI-90-SR-2, Software
              Engineering Institute, Pittsburgh, PA, February, 1990.

[Dijkstra 72] E. W. Dijkstra.  "Notes on Structured Programming".  In O-
              J. Dahl, E. W. Dijkstra, and C. A. R. Hoare.  Structured
              Programming.  Academic Press, London, 1972.

[DIS 94]      Ada 9X Reference Manual, Version 5.0 (Draft International
              Standard).  Intermetrics Inc, 1994.

[DO-178B]     Issued in the USA by the Requirements and Technical
              Concepts for Aviation (document RTCA SC167/D0-178B) and in
              Europe by the European Organization for Civil Aviation
              Electronics (EUROCAE document ED-12B).

[DoD 78]      Defense Advanced Research Projects Agency.  Department of
              Defense Requirements for High Order Computer Programming
              Languages - STEELMAN.  USDoD, Arlington, Virginia, 1978.

[DoD 85]      Trusted Computer Systems Evaluation Criteria.  DOD 5200.28-
              STD edition, Department of Defense, 1985.  [DoD 92] Formal
              Studies of Ada 9X, Formal Definition Report Ada 9X Project
              Report edition, Department of Defense, 1992.
[DoD 88]      Ada Board's Recommended Ada 9X Strategy.  Office of the
              Under Secretary of Defense for Acquisition, Washington,
              D.C., 1988.

[DoD 89a]     Ada 9X Project Plan.  Office of the Under Secretary of
              Defense for Acquisition, Washington, D.C., 1989.

[DoD 89b]     Common Ada Programming Support Environment (APSE) Interface
              Set (CAIS) (Revision A) edition.  MIL-STD-1838A.  United
              States Department of Defense, 1989.

[DoD 90]      Ada 9X Requirements.  Office of the Under Secretary of
              Defense for Acquisition, Washington, D.C., 1990.

[DoD 91]      Ada 9X Requirements Rationale.  Office of the Under
              Secretary of Defense for Acquisition, Washington, D.C.,
              1991.

[DoD 92]      Formal Studies of Ada 9X, Formal Definition Report.  Ada 9X
              Project Report edition, Department of Defense, 1992.

[Dritz 91a]   K. W. Dritz.  "Rationale for the Proposed Standard for a
              Generic Package of Elementary Functions for Ada".  ACM
              SIGAda Ada Letters XI(7): 47-65, Fall, 1991.

[Dritz 91b]   K. W. Dritz.  "Rationale for the Proposed Standard for a
              Generic Package of Primitive Functions for Ada".  ACM
              SIGAda Ada Letters XI(7): 82-90, Fall, 1991.

[Eachus 92]   Personal communication from Robert Eachus, 1992.

[Ellis 90]    M. A. Ellis and B. Stroustrup.  The Annotated C++ Reference
              Manual.  Addison-Wesley, Reading, MA, 1990.

[Elrad 88]    T. Elrad.  "Comprehensive Scheduling Controls for Ada
              Tasking".  In Proceedings of the Second International
              Workshop on Real-Time Ada Issues, pages 12-19.  Ada UK and
              United States Air Force Office of Scientific Research,
              Association for Computing Machinery, New York, NY, June
              1988.  Appeared in ACM SIGAda Ada Letters, VIII(7).

[Elsom 91]    K. C. Elsom.  Grow: an APSE Stress Tensor.  DRA Maritime
              Division, Portsmouth, 1991.

[Emery 91]    Personal communication from David Emery, 1991.

[Fowler 89]   K. J. Fowler.  A Study of Implementation-Dependent Pragmas
              and Attributes in Ada.  Technical Report Ada 9X Project
              Report, Software Engineering Institute, November 1989.

[Goldberg 83] A. Goldberg and D. Robson.  Smalltalk-80: The Language and
              its Implementation.  Addison-Wesley, Reading, MA, 1983.

[Guimaraes 91] N. Guimaraes.  "Building Generic User Interface Tools: An
              Experience with Multiple Inheritance".  In Proceedings of
              the Conference on Object-Oriented Programming Systems,
              Languages, and Applications, 1991.

[Guttag 77]   J. Guttag.  "Abstract Data Types and the Development of
              Data Structures".  Communications of the ACM 20(6): 396-
              404, June 1977.

[Hilfinger 90] P. N. Hilfinger.  Implementing Ada Fixed-point Types
              Having Arbitrary Scales.  Technical Report Report No.
              UCB/CSD 90/#582, University of California, Berkeley, CA,
              June, 1990.
[Hilzer 92]   R. C. Hilzer.  "Synchronization of the Producer/Consumer
              Problem using Semaphores, Monitors, and the Ada
              Rendezvous".  ACM Operating Systems Review, 26(3), July
              1992.

[Hoare 73]    C. A. R. Hoare.  "Towards a Theory of Parallel
              Programming".  In C.A.R. Hoare and R.H. Perrott (editor),
              Operating Systems Techniques.  Academic Press, New York,
              1973.

[Hoare 74]    C. A. R. Hoare.  "Monitors - An Operating Systems
              Structuring Concept".  Communications of the ACM 17(10), pp
              549-557, October 1974.

[Hoare 78]    C. A. R. Hoare.  "Communicating Sequential Processes".
              Communications of the ACM 21(8): 666-677, August 1978.

[IBFW 86]     J. D. Ichbiah, J. G. P. Barnes, R. J. Firth, and M.
              Woodger.  Rationale for the Design of the Ada Programming
              Language.  Reprinted by Cambridge University Press, 1991.

[IEC 89]      Binary Floating-Point Arithmetic for Microprocessor
              Systems.  IEC 559:1989 edition, IEC, 1989.

[IEC/SC65A 91] Software for Computers in the Application of Industrial
              Safety-Related Systems (Draft).  IEC/SC65A/(Secretariat
              122), 1991.

[IEEE 87]     Standard for Radix-Independent Floating-Point Arithmetic.
              ANSI/IEEE Std. 854-1987 edition, 1987.

[IEEE 92]     POSIX Ada Language Interfaces - Part 1: Binding for System
              Application Program Interface.  Std 1003.5, IEEE, New York,
              1992.

[Ingalls 86]  D. H. H. Ingalls.  "A Simple Technique for Handling
              Multiple Polymorphism".  In ACM OOPSLA'86 Conference
              Proceedings, 1986.

[ISO 87]      International Standards Organization.  Reference Manual for
              the Ada Programming Language.  ISO/8652-1987, 1987.

[ISO 90]      International Standards Organization.  Memorandum of
              Understanding between the Ada 9X Project Office and ISO-
              IEC/JTC 1/SC 22/WG 9 Ada.  ISO-IEC/JTC 1/SC 22 N844, 1990.

[ISO 91]      International Standards Organization.  Generic Package of
              Elementary Functions for Ada.  ISO/JTC 1 DIS 11430.

[ISO 92]      Database Language SQL.  Document ISO/IEC 9075:1992 edition,
              International Organization for Standardization (ISO), 1992.

[ISO 93]      Information Technology-Language Independent Arithmetic-
              Part 1: Integer and Floating Point Arithmetic.  DIS 10967-
              1:1993 edition, ISO/IEC, 1993.

[ISO 94a]     International Standards Organization.  Generic Package of
              Elementary Functions for Ada.  ISO-IEC/JTC 1 11430:1994.

[ISO 94b]     International Standards Organization.  Generic Package of
              Primitive Functions for Ada.  ISO-IEC/JTC 1 11729:1994.

[ISO 95]      International Standards Organization.  Reference Manual for
              the Ada Programming Language.  ISO/8652-1995, 1995.


[ISO WG9 93]  AI 00866/03, The Latin-1 character set is used in source
              code and literals.  ISO/IEC JTC1/SC22 WG9 Ada, June, 1993.

[ITSEC 91]    Information Technology Security Evaluation Criteria.
              Version 1.2 edition, Provisional Harmonised Criteria, 1991.
              UK contact point: CESG Room 2/0805, Fiddlers Green Lane,
              Cheltenham, Glos, GL52 5AJ.

[Kahan 87]    W. Kahan.  "Branch Cuts for Complex Elementary Functions,
              or Much Ado About Nothing's Sign Bit".  In The State of the
              Art in Numerical Analysis.  Clarendon Press, 1987, Chapter
              7.

[Kahan 91]    W. Kahan and J. W. Thomas.  Augmenting a Programming
              Language with Complex Arithmetic.  Technical Report UCB/CSD
              91/667, Univ. of Calif. at Berkeley, December, 1991.

[Klein 93]    M. H. Klein, T. Ralya, B. Pollak, R. Obenza, and M. G.
              Harbour.  A Practitioner's Handbook for Real-Time Analysis:
              Guide to Rate Monotonic Analysis for Real-Time Systems.
              Klewer Academic Publishers, 1993.

[Knuth 81]    D. E. Knuth.  The Art of Computer Programming.  Volume 2:
              Seminumerical Algorithms.  Addison-Wesley, 1981.

[LaLonde 89]  W. R. LaLonde.  "Designing Families of Data Types using
              Exemplars".  ACM Transactions on Programming Languages and
              Systems 11(2), April 1989.

[L'Ecuyer 88] P. L'Ecuyer.  "Efficient and Portable Combined Random
              Number Generators".  Communications of the ACM 31(6):742-
              749, 774; 1988.

[Lehoczky 86] J. P. Lehoczky and L. Sha.  "Performance of Real-Time Bus
              Scheduling Algorithms".  ACM Performance Evaluation Review,
              Special Issue 14(1): 44-53, May, 1986.

[Lewis 69]    P. A. Lewis, A. S. Goodman, and J. M. Miller.  " Pseudo-
              Random Number Generator for the System/360"  IBM System
              Journal 8(2):136-146, 1969.

[Liskov 77]   B. Liskov, A. Snyder, R. Atkinson, and C. Schaffert.
              "Abstraction Mechanisms in CLU".  Communications of the ACM
              20(8): 564-576, August 1977.

[Marsaglia 91] G. Marsaglia and A. Zaman.  "A New Class of Random Number
              Generators".  Annals of Applied Probability 1(3):462-480,
              1991.

[Meyer 88]    B. Meyer.  Object-Oriented Software Construction.  Prentice
              Hall, Englewood Cliffs, NJ, 1988.

[MoD 91]      The Procurement of Safety Critical Software in Defence
              Equipment (Part 1: Requirements; Part 2: Guidance).
              Interim Defence Standard 00-55 edition, Ministry of
              Defence, 1991.

[Nelson 91]   G. Nelson (ed).  Systems Programming with Modula-3.
              Prentice Hall, Englewood Cliffs, NJ, 1991.

[Pavey 93]    D. J. Pavey and L. A. Winsborrow.  "Demonstrating
              Equivalence of Source Code and PROM Contents".  Computer
              Journal 36(7): 654-667, 1993.

[Plauger 92]  P. J. Plauger.  The Standard C Library.  Prentice Hall,
              Englewood Cliffs NJ, 1992.
[Rex 88]      MALPAS User Guide Release 4.1, RTP/4009/UG, Issue 3
              edition, Rex, Thompson and Partners Ltd., 1988.

[RM83]        See [ANSI 83].

[RM95]        See [ISO 95].

[Sales 92]    R. Sales.  Currency Sign Enhancements.  Technical Report
              X3J4/WR-684, ANSI X3J4, 1992. COBOL Full Revision Working
              Paper.

[Schaeffer 93] C. F. Schaeffer and G. N. Bundy.  "Static Analysis of
              Exception Handling in Ada".  Software Practice & Experience
              23(10):1157-1174, 1993.

[Schaffert 86] C. Schaffert, T. Cooper, B. Bullis, M. Kilian, and C.
              Wilpolt.  An "Introduction to Trellis/Owl".  In ACM
              OOPSLA'86 Proceedings.  Portland, OR, 1986.

[Seidewitz 91] E. Seidewitz.  "Object-Oriented Programming Through Type
              Extension in Ada 9X".  ACM SIGAda Ada Letters XI(2),
              March/April 1991.

[Sha 90a]     L. Sha, and J. B. Goodenough.  "Real-Time Scheduling Theory
              and Ada".  IEEE Computer 23(4): 53-62, April, 1990.

[Sha 90b]     L. Sha, R. Rajkumar, and J. P. Lehoczky.  "Priority
              Inheritance Protocols - An Approach to Real-Time
              Synchronization".  IEEE Transactions on Computers C-39(9),
              September, 1990.

[Stroustrup 91]     B. Stroustrup.  The C++ Programming Language, 2nd Ed.
              Addison-Wesley, Reading, MA, 1991.

[Taft 93]     S. Tucker Taft.  "Ada 9X: From Abstraction-Oriented to
              Object-Oriented".  In ACM OOPSLA'93 Conference Proceedings,
              1993.

[Tang 91]     P. T. P. Tang.  "A Portable Generic Elementary Function
              Package in Ada and an Accurate Test Suite".  ACM SIGAda Ada
              Letters XI(7): 180-216, Fall, 1991.

[Taylor 95]   W. J. Taylor.  Ada 95 Compatibility Guide, Version 6.0.
              Transition Technology, January 1995.

[Wellings 84] A. J. Wellings, D. Keeffe, and G. M. Tomlinson.  "A Problem
              with Ada and Resource Allocation".  ACM SIGAda Ada Letters
              III(4): 112-123, 1984.

[Wichmann 82] B. A. Wichmann and I. D. Hill.  "An Efficient and Portable
              Pseudo-Random Number Generator".  Applied Statistics
              31:188-190, 1982.

[Wichmann 89] B. A. Wichmann.  Insecurities in the Ada programming
              language.  Technical Report DITC 137/89, NPL, January,
              1989.

[Wichmann 92] B. A. Wichmann.  Undefined scalars in Ada 9X.  March, 1992.

[Wichmann 93] B. A. Wichmann.  "Microprocessor design faults".
              Microprocessors and Microsystems 17(7):399-401, 1993.

[Wirth 77]    N. Wirth.  "Modula: A Language for Modular
              Multiprogramming".  Software Practice & Experience, January
              1977, pp 3-35.

[Wirth 88]    N. Wirth.  "Type Extensions".  ACM Transactions on
              Programming Languages and Systems 10(2): 204-214, April
              1988.

Copyright | Contents | Index | Previous | Next
Laurent Guerby