Ada 95 Rationale: Annexes Numerics: G-1 The Numerics Annex addresses the...  Home/Search
Context
Related
| unibwmuenchen.de/pub/com...rat_6.ps.gz nyu.edu/pub/gnat/rational...rat_6.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: fermivista.math...ibwmuenchen.de (more) From: fermivista.math...ibwmuenchen.de (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: ion 7.5 S4.3-A(1) --- Reducing the Need for Recompilation 4.8, 10.6 S4.3-B(1) --- Programming by Specialization/Extension 4.8, 10.6 S4.3-C(1) --- Enhanced Library Support 10.6 S4.4-A(1) --- Generic Formal Parameters 12.8 R4.4-B(1) --- Dependence of Instantiations on Bodies 12.8 S4.4-B(2) --- Tighten the "Contract Model" 12.8 R4.4-C(1) --- Generic Code Sharing 12.8 R4.5-A(1) --- Accessing an Exception Name 11.5 R4.6-A(1) --- Interactive TEXT_IO A.6 R4.6-B(1) --- Additional Input/Output Functions ... (Update)
Active bibliography (related documents): More All
1.5: Ada 95 And Safety-Critical Software - Holloway (Correct)
1.0: Ada 9X Project Report - Ada Requirements (Correct)
0.8: How to Program in Ada 9X, Using Ada 83 - Erhard Ploedereder (Correct)
Similar documents based on text: More All
0.5: The Numerics Annex and Related Material - Dritz Argonne (Correct)
0.4: Multiple Precision Complex Arithmetic and Functions - Smith (1998) (Correct)
0.3: Celestia 2000 - Turon, Priou, Perryman (Correct)
BibTeX entry: (Update)
@misc{ numerics-numerics,
author = "The Numerics",
title = "G Numerics",
url = "citeseer.ist.psu.edu/144655.html" }
Citations (may not include all citations):2732 Communicating Sequential Processes (context) - Hoare - 1978 ACM DBLP
1274 Object-Oriented Software Construction (context) - Meyer - 1988 ACM
1002 Programming Language (context) - Stroustrup - 1991
528 Priority Inheritance Protocols --- An Approach to Real-Time .. (context) - Sha, Rajkumar et al. - 1990
492 Smalltalk-80: The Language and its Implementation (context) - Goldberg, Robson - 1983
315 Dynamic Typing in a Statically Typed Language - Abadi, Cardelli et al. - 1991
248 Orca: A Language for Parallel Programming of Distributed Sys.. - Bal, Kaashoek et al. - 1992 DBLP
242 Reference Manual (context) - Ellis, Stroustrup - 1990
239 Monitors --- An Operating Systems Structuring Concept (context) - Hoare - 1974
216 Volume 2: Seminumerical Algorithms (context) - Knuth, of - 1981
135 Operating Systems Theory (context) - Denning - 1973 ACM
127 Systems Programming with Modula (context) - Nelson - 1991
104 Stack-Based Scheduling of Realtime Processes (context) - Baker - 1991
103 A Simple Unpredictable Pseudo-Random Number Generator (context) - Blum, Blum et al. - 1986 DBLP
102 Abstraction Mechanisms in CLU (context) - Liskov, Snyder et al. - 1977 ACM DBLP
98 Real-Time Systems and their Programming Languages (context) - Burns, Wellings - 1989
95 A Practitioner's Handbook for Real-Time Analysis: Guide to R.. (context) - Klein, Ralya et al. - 1993
92 Introduction to Trellis/Owl (context) - Schaffert, Cooper et al. - 1986
90 On Understanding Types, Data Abstraction, and Polymorphism - Cardelli, Wegner - 1985
82 Real-Time Scheduling Theory and Ada (context) - Sha, Goodenough - 1990 ACM DBLP
80 Programming in Ada (context) - Barnes - 1982 ACM
77 An Introduction to Object-Oriented Programming (context) - Budd - 1991
71 Structured Programming (context) - Dahl, Dijkstra et al. - 1972
63 Notes on Structured Programming (context) - Dijkstra - 1972
57 Object-Oriented Development (context) - Booch - 1986
55 Software Components with Ada (context) - Booch - 1987
52 A Simple Technique for Handling Multiple Polymorphism (context) - Ingalls - 1986 ACM DBLP
46 SIMULA Begin (context) - Birtwistle, Dahl et al. - 1973
44 Abstract Data Types and the Development of Data Structures (context) - Guttag - 1977 ACM DBLP
43 A New Class of Random Number Generators (context) - Marsaglia, Zaman - 1991
43 Towards a Theory of Parallel Programming (context) - Hoare - 1973 ACM
42 Rationale for the Design of the Ada Programming Language (context) - Ichbiah, Barnes et al. - 1991 ACM
35 Efficient and Portable Combined Random Number Generators (context) - L'Ecuyer - 1988 ACM DBLP
30 Performance of Real-Time Bus Scheduling Algorithms (context) - Lehoczky, Sha - 1986 ACM DBLP
17 Concurrent Programming Concepts (context) - Brinch-Hansen - 1973 ACM DBLP
17 A simple but realistic model of floating-point computation (context) - Brown - 1981
15 Office of the Under Secretary of Defense for Acquisition (context) - Requirements - 1990
15 Office of the Under Secretary of Defense for Acquisition (context) - Recommended, Strategy - 1988
15 Demonstrating Equivalence of Source Code and PROM Contents (context) - Pavey, Winsborrow - 1993 DBLP
15 Office of the Under Secretary of Defense for Acquisition (context) - Plan - 1989
15 Office of the Under Secretary of Defense for Acquisition (context) - Rationale - 1991
13 An Efficient and Portable Pseudo-Random Number Generator (context) - Wichmann, Hill - 1982
13 Designing Families of Data Types using Exemplars (context) - LaLonde - 1989 ACM DBLP
12 Modula: A Language for Modular Multiprogramming (context) - Wirth - 1977 DBLP
12 Verification of the Shutdown System Software at the Darlingt.. (context) - Archinoff, Hohendorf et al. - 1990
12 IEEE Std (context) - Radix-Independent, Arithmetic - 1987
10 Type Extensions (context) - Wirth - 1988 ACM DBLP
8 Intermetrics Inc (context) - Ada, Manual - 1995
8 Ada for Distributed Systems (context) - Atkinson, Moreton et al. - 1988 ACM
7 Draft International Standard (context) - Manual - 1994
5 SPARK --- The SPADE Ada Kernel (context) - Carre, Jennings - 1988
5 Augmenting a Programming Language with Complex Arithmetic (context) - Kahan, Thomas - 1991 ACM
5 Static Analysis of Exception Handling in Ada (context) - Schaeffer, Bundy - 1993 ACM DBLP
5 for Software Reuse. Technical Report SEI-90-SR16, Software E.. (context) - Cohen - 1990
4 Common Ada Programming Support Environment (context) - Ada, Environment et al. - 1989
4 Lecture Notes in Computer Science (context) - Burns, Lister et al. - 1987
4 Software for Computers in the Application of Industrial Safe.. (context) - Software, in et al. - 1991
4 Part 1: Amendment 2: Threads Extensions [C Language (context) - of, Electronics et al. - 1993
4 The Procurement of Safety Critical Software in Defence Equip.. (context) - of, Software et al. - 1991
4 Englewood Cliffs NJ (context) - Plauger, Library - 1992
4 Provisional Harmonised Criteria (context) - Security, Criteria et al. - 1991
3 Pseudo-Random Number Generator for the System/360 (context) - Lewis, Goodman et al. - 1969
3 Object-Oriented Programming Through Type Extension in Ada 9X (context) - Seidewitz - 1991 ACM
3 MIL Stda edition (context) - Manual, Ada et al. - 1983
3 Branch Cuts for Complex Elementary Functions, or Much Ado Ab.. (context) - Kahan - 1987
3 Implementing Ada Fixed-point Types Having Arbitrary Scales (context) - Hilfinger - 1990 ACM
3 Building Generic User Interface Tools: An Experience with Mu.. (context) - Guimaraes - 1991 DBLP
2 Generic Package of Elementary Functions for Ada (context) - Organization
2 A Study of Implementation-Dependent Pragmas and Attributes i.. (context) - Fowler - 1989
2 Generic Package of Elementary Functions for Ada (context) - Organization - 1994
2 Part 1: System Application Program Interface (context) - of, Electronics et al. - 1990
2 Reference Manual for the Ada Programming Language (context) - Organization - 1995 ACM
2 An Assessment of the Overhead Associated With Tasking Facili.. (context) - Burger, Nielsen - 1987
2 Reference Manual for the Ada Programming Language (context) - Organization - 1987 ACM
2 Department of Defense Requirements for High Order Computer P.. (context) - Research, Agency - 1978
2 Insecurities in the Ada programming language (context) - Wichmann - 1989
2 Ada 9X: From Abstraction-Oriented to Object-Oriented (context) - Taft - 1993 DBLP
2 Comprehensive Scheduling Controls for Ada Tasking (context) - Elrad - 1988 ACM
1 Composable Ada Software Components and the Re-Export Paradig.. (context) - Bardin, Thompson - 1989
1 An Ada Test Generator (context) - Austin, Wilkins et al. - 1991
1 Accessibility Rules OK (context) - Barnes - 1995
1 Rationale for the Proposed Standard for a Generic Package of.. (context) - Dritz - 1991 ACM
1 Part 1 Binding for System Application Program Interface (context) - of, Electronics et al. - 1992
1 Part 1: Amendment 1: Realtime Extensions [C Language (context) - of, Electronics et al. - 1993
1 Grow: an APSE Stress Tensor (context) - Elsom - 1991
1 Formal Definition Report (context) - of - 1992
1 Is Ada Object-Oriented (context) - Brosgol - 1989
1 Decimal Arithmetic in Ada (context) - Brosgol, Emery et al. - 1992 ACM DBLP
1 Minutes of Special Meeting --- Security & Safety Annex (context) - Brosgol - 1993
1 MALPAS User Guide Release (context) - User, RTP et al. - 1988
1 Ada Run Time System Certification for Avionics Applications (context) - Brygier, Richard-Foy - 1993
1 COBOL Full Revision Working Paper (context) - Sales, Enhancements et al. - 1992
1 Shared Variables and Ada 9X Issues (context) - Dewar - 1990
1 Technical Report Special Report SEI-90-SR (context) - Dewar, Facility - 1990
1 Undefined scalars in Ada 9X (context) - Wichmann - 1992
1 Synchronization of the Producer/Consumer Problem using Semap.. (context) - Hilzer - 1992 ACM DBLP
1 Memorandum of Understanding between the Ada 9X Project Offic.. (context) - Organization - 1990
1 Microprocessor design faults (context) - Wichmann - 1993
1 Time Issues Working Group (context) - Baker - 1989 ACM
1 International Organization for Standardization (context) - SQL, ISO et al. - 1992
1 IEC 559:1989 edition (context) - Arithmetic, Systems - 1989
1 Rationale for the Proposed Standard for a Generic Package of.. (context) - Dritz - 1991 ACM
1 A Problem with Ada and Resource Allocation (context) - Wellings, Keeffe et al. - 1984 ACM
1 New York (context) - Language, --- et al. - 1992
1 Ada 95 Compatibility Guide (context) - Taylor - 1995
1 A Portable Generic Elementary Function Package in Ada and an.. (context) - Tang - 1991 ACM
1 Design and Philosophy (context) - Barnes - 1976
1 DIS 10967-1:1993 edition (context) - Independent, Part et al. - 1993
1 Generic Package of Primitive Functions for Ada (context) - Organization - 1994
1 The Choice of Computer Languages in Safety-Critical Systems (context) - Cullyer, Goodenough et al. - 1991
Documents on the same site (http://fermivista.math.jussieu.fr/ftp/ftp.unibw-muenchen.de.html): More
Between Functions and Relations in Calculating Programs - Hutton (1992) (Correct)
The Hyper-G Network Information System - Andrews, Kappe, Maurer (1995) (Correct)
Hyper-G Client/Server Protocol (HG-CSP) Version 7.05 - Written By (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