References - Ada 95 Rationale
From OC Systems Wiki!
[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.
Laurent Guerby Ada 95 Rationale