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