ACM Portal
  Subscribe (Full Service)    Register (Limited Service, Free)    Login
  Search:   The ACM Digital Library   The Guide
  
ACM Home Page
Please provide us with feedback. Feedback
Preliminary Ada reference manual
Full text PdfPdf (9.10 MB)
Source ACM SIGPLAN Notices archive
Volume 14 ,  Issue 6a  (June 1979) table of contents
Preliminary Ada reference manual
Pages: 1 - 145  
Year of Publication: 1979
ISSN:0362-1340
Author
J. D. Ichbiah
Publisher
ACM  New York, NY, USA
Bibliometrics
Downloads (6 Weeks): 0,   Downloads (12 Months): 9,   Citation Count: 112
Additional Information:

cited by   collaborative colleagues  

Tools and Actions: Review this Article  
DOI Bookmark: Use this link to bookmark this Article: http://doi.acm.org/10.1145/956650.956651
What is a DOI?

CITED BY  112
Fred B. Schneider, Synchronization in Distributed Programs, ACM Transactions on Programming Languages and Systems (TOPLAS), v.4 n.2, p.125-148, April 1982
W. Eventoff , D. Harvey , R. J. Price, The rendezvous and monitor concepts: Is there an efficiency difference?, Proceedings of the ACM-SIGPLAN symposium on The ADA programming language, p.156-165, January 1980
Gary L. Filipski , Donald R. Moore , John E. Newton, Ada as a software transition tool, ACM SIGPLAN Notices, v.15 n.11, November 1980
Tim Rentsch, Object oriented programming, ACM SIGPLAN Notices, v.17 n.9, p.51-57, September 1982
Robert B. K. Dewar , Gerald A. Fisher, Jr. , Edmond Schonberg , Robert Froehlich , Stephen Bryant , Clinton F. Goss , Michael Burke, The NYU Ada translator and interpreter, Proceedings of the ACM-SIGPLAN symposium on The ADA programming language, p.194-201, January 1980
David S. Notkin, An experience with parallelism in Ada, Proceedings of the ACM-SIGPLAN symposium on The ADA programming language, p.9-15, January 1980
Michael B. Feldman, Teaching data abstraction to the practicing programmer: A case study, ACM SIGCSE Bulletin, v.12 n.1, p.9-15, February 1980
A. R. Tripathi , W. D. Young , D. I. Good, A preliminary evaluation of verifiability in Ada, Proceedings of the ACM 1980 annual conference, p.218-224, January 1980
Harold L. Ossher , Brian K. Reid, Fable: A programming-language solution to IC process automation problems, Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems, p.137-148, June 27-29, 1983, San Francisco, California, United States
H. G. Mendelbaum , B. Z. Fridman, ZROBOT: a new CAD/CAM environment to program robot control by animated graphics, Proceedings of the 1986 ACM SIGSMALL/PC symposium on Small systems, p.16-25, December 1986, San Francisco, California, United States
Radu Nicolescu, Some short comments on the definition and the documentation of the ADA programming language, ACM SIGPLAN Notices, v.15 n.7 and 8, p.64-71, July-August 1980
K. Narayanaswamy, A text-based representation for program variants, ACM SIGSOFT Software Engineering Notes, v.14 n.7, p.30-33, Nov. 1989
Gregory R. Andrews, Synchronizing Resources, ACM Transactions on Programming Languages and Systems (TOPLAS), v.3 n.4, p.405-430, Oct. 1981
Robert I. Winner, Unassigned objects, ACM Transactions on Programming Languages and Systems (TOPLAS), v.6 n.4, p.449-467, Oct. 1984
R. M. Bryant, SIMPAS: A simulation language based on PASCAL, Proceedings of the 12th conference on Winter simulation, p.25-40, December 03-05, 1980, Orlando, FL
Carl E. Landwehr, An Abstract Type for Statistics Collection in Simula, ACM Transactions on Programming Languages and Systems (TOPLAS), v.2 n.4, p.544-563, Oct. 1980
Jürgen M. Janas, A comment on "operator identification in ADA" by Ganzinger and Ripken, ACM SIGPLAN Notices, v.15 n.9, p.39-42, September 1980
Alessio Giacomucci , Frank L. Friedman, Capsules: A data abstraction facility for Pascal, Proceedings of the ACM '81 conference, p.154-160, January 1981
Gregory R. Andrews , David P. Dobkin, Active data structures, Proceedings of the 5th international conference on Software engineering, p.354-362, March 09-12, 1981, San Diego, California, United States
Rodney A. Brooks , Richard P. Gabriel , Guy L. Steele, Jr., An optimizing compiler for lexically scoped LISP, ACM SIGPLAN Notices, v.17 n.6, p.261-275, June 1982
R. M. Burstall , D. B. MacQueen , D. T. Sannella, HOPE: An experimental applicative language, Proceedings of the 1980 ACM conference on LISP and functional programming, p.136-143, August 25-27, 1980, Stanford University, California, United States
Chang-Hyun Jo , K. M. George, Language concepts using dynamic and distributed objects, Proceedings of the 19th annual conference on Computer Science, p.211-220, April 1991, San Antonio, Texas, United States
William A. Whitaker, Ada—the project: the DoD high order language working group, ACM SIGPLAN Notices, v.28 n.3, p.299-331, March 1993
Barbara Liskov , Robert Scheifler, Guardians and Actions: Linguistic Support for Robust, Distributed Programs, ACM Transactions on Programming Languages and Systems (TOPLAS), v.5 n.3, p.381-404, July 1983
Douglas W. Jones, Systematic protection mechanism design, ACM SIGPLAN Notices, v.17 n.4, p.77-80, April 1982
John F. Isner, A Fortran programming methodology based on data abstraction, Communications of the ACM, v.25 n.10, p.686-697, Oct 1982
Lawrence A. Rowe, Data abstraction from a programming language viewpoint, ACM SIGMOD Record, v.11 n.2, p.29-35, Feb 1981
Mark Weiser, Program slicing, Proceedings of the 5th international conference on Software engineering, p.439-449, March 09-12, 1981, San Diego, California, United States
Heinrich C. Mayr, Make more of data types, ACM SIGMOD Record, v.11 n.2, p.158-160, Feb 1981
David C. Luckham , W. Polak, Ada exception handling: an axiomatic approach, ACM Transactions on Programming Languages and Systems (TOPLAS), v.2 n.2, p.225-233, April 1980
Gregory R. Andrews, Parallel programs: proofs, principles, and practice, Communications of the ACM, v.24 n.3, p.140-145, March 1981
Krithivasan Ramamritham , Robert M. Keller, Specifying and proving properties of sentinel processes, Proceedings of the 5th international conference on Software engineering, p.374-382, March 09-12, 1981, San Diego, California, United States
P. M. Cashin , M. L. Joliat , R. F. Kamel , D. M. Lasker, Experience with a modular typed language: PROTEL, Proceedings of the 5th international conference on Software engineering, p.136-143, March 09-12, 1981, San Diego, California, United States
G. A. Riccardi , T. P. Baker, A runtime supervisor to support Ada tasking: rendezvous and delays, ACM SIGAda Ada Letters, v.V n.2, p.329-342, Sep., Oct. 1985
Brent Hailpern , Susan Owicki, Modular verification of concurrent programs, Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.322-336, January 25-27, 1982, Albuquerque, Mexico
David V. Moffat, Enumerations in Pascal, ADA, and beyond, ACM SIGPLAN Notices, v.16 n.2, p.77-82, February 1981
Richard N. Taylor, Assertions in programming languages, ACM SIGPLAN Notices, v.15 n.1, p.105-114, January 1980
Christophe Dony, A fully object-oriented exception handling system: rationale and smalltalk implementation, Advances in exception handling techniques, Springer-Verlag New York, Inc., New York, NY, 2001
Maurice P. Herlihy , Barbara Liskov, A Value Transmission Method for Abstract Data Types, ACM Transactions on Programming Languages and Systems (TOPLAS), v.4 n.4, p.527-551, Oct. 1982
Neil Goldman , K. Narayanaswamy, Software evolution through iterative prototyping, Proceedings of the 14th international conference on Software engineering, p.158-172, May 11-15, 1992, Melbourne, Australia
Valérie Issarny, An exception handling model for parallel programming and its verification, ACM SIGSOFT Software Engineering Notes, v.16 n.5, p.92-100, Dec. 1991
M. Donald MacLaren, Inline routines in VAXELN Pascal, ACM SIGPLAN Notices, v.19 n.6, p.266-275, June 1984
Peter L. Wallis, External Representations of Objects of User-Defined Type, ACM Transactions on Programming Languages and Systems (TOPLAS), v.2 n.2, p.137-152, April 1980
Mary Shaw , Wm. A. Wulf, Toward relaxing assumptions in languages and their implementations, ACM SIGPLAN Notices, v.15 n.3, p.45-61, March 1980
Richard D. Schlichting , Fred B. Schneider, Using message passing for distributed programming: proof rules and disciplines, ACM Transactions on Programming Languages and Systems (TOPLAS), v.6 n.3, p.402-431, July 1984
Barbara Liskov , Robert Scheifler, Guardians and actions: linguistic support for robust, distributed programs, Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.7-19, January 25-27, 1982, Albuquerque, Mexico
Jan Stroet, An alternative to the communication primitives in ADA, ACM SIGPLAN Notices, v.15 n.12, p.62-74, December 1980
Bernd Krieg Brückner , David C. Luckham, ANNA: Towards a language for annotating Ada programs, Proceedings of the ACM-SIGPLAN symposium on The ADA programming language, p.128-138, January 1980
D. R. Stevenson, Algorithms for translating Ada multitasking, ACM SIGPLAN Notices, v.15 n.11, November 1980
Krishna Kant , Abraham Silberschatz, On the generalized critical region construct, ACM SIGOPS Operating Systems Review, v.16 n.3, p.4-16, July 1982
H. Wettstein , G. Merbeth, The concept of asynchronization, ACM SIGOPS Operating Systems Review, v.14 n.4, p.50-70, October 1980
William D. Young , Donald I. Good, Generics and verification in Ada, ACM SIGPLAN Notices, v.15 n.11, November 1980
William D. Young , Donald I. Good, Steelman and the verifiability of (preliminary) ADA, ACM SIGPLAN Notices, v.16 n.2, p.113-119, February 1981
Raphael Finkel, Run-time print values, ACM SIGPLAN Notices, v.18 n.2, p.62-64, February 1983
Hermann Härtig , Andreas Pfitzmann , Leo Treff, Task state transitions in Ada, ACM SIGAda Ada Letters, v.I n.1, p.31-42, July-August 1981
Alastair J. W. Mayer, Value receiving procedures, ACM SIGPLAN Notices, v.16 n.11, November 1981
Robert Balzer , K. Narayanaswamy, Mechanisms for generic process support, ACM SIGSOFT Software Engineering Notes, v.18 n.5, p.21-32, Dec. 1993
David W. Wall, Messages as active agents, Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.34-39, January 25-27, 1982, Albuquerque, Mexico
Philip Levy, Disposable and endurant programming, ACM SIGCSE Bulletin, v.12 n.1, p.83-87, February 1980
Franklyn T. Bradshaw , George W. Ernst , Raymond J. Hookway , William F. Ogden, Procedure semantics and language definition, ACM SIGPLAN Notices, v.15 n.6, p.28-33, June 1980
L. J. Groves , W. J. Rogers, The design of a virtual machine for Ada, ACM SIGPLAN Notices, v.15 n.11, November 1980
David V. Moffat, A model for Pascal-like typing, ACM SIGPLAN Notices, v.16 n.7, p.66-74, July 1981
W. Eventoff , D. Harvey , R. J. Price, The rendezvous and monitor concepts: is there an efficiency difference?, ACM SIGPLAN Notices, v.15 n.11, November 1980
Joseph V. Giordano, Some verification problems in Pascal-like languages, ACM SIGSOFT Software Engineering Notes, v.5 n.1, p.18-27, January 1980
Rainer Woitok, Abstracting linked data structures using incremental records, ACM SIGPLAN Notices, v.18 n.11, November 1983
David M. Harland , Hamish I. E. Gunn, Another look at enumerated types, ACM SIGPLAN Notices, v.17 n.7, July 1982
Seif Haridi , John-Olof Bauner , Gert Svensson, An implementation and empirical evaluation of the tasking facilities in ADA, ACM SIGPLAN Notices, v.16 n.2, p.35-47, February 1981
Albert Llamosí , Pere Botella , Fernando Orejas, On unlimited types and reliability of Ada programs, ACM SIGAda Ada Letters, v.IV n.1, p.50-60, July-August 1984
Hideyuki Tokuda , Eric G. Manning, An interprocess communication model for a distributed software testbed, ACM SIGCOMM Computer Communication Review, v.13 n.2, April 1983
L. J. Groves , W. J. Rogers, The design of a virtual machine for Ada, Proceedings of the ACM-SIGPLAN symposium on The ADA programming language, p.223-234, January 1980
D. C. Lindsay, On binding layers of software, ACM SIGOPS Operating Systems Review, v.15 n.2, p.33-37, April 1981
Dino Mandrioli, On teaching theoretical foundations of Computer Science, ACM SIGACT News, v.14 n.4, p.58-69, Fall-Winter 1982
Harald Ganzinger , Knut Ripken, Operator identification in ADA: formal specification, complexity, and concrete implementation, ACM SIGPLAN Notices, v.15 n.2, p.30-42, February 1980
Hans Henrik Løvengreen , Dines Bjørner, On a formal model of the tasking concept in Ada, ACM SIGPLAN Notices, v.15 n.11, November 1980
Tom Pennello , Frank DeRemer , Richard Meyers, A simplified operator identification scheme for Ada, ACM SIGPLAN Notices, v.15 n.7 and 8, p.82-87, July-August 1980
H. M. Gladney, A note on enumerations, ACM SIGPLAN Notices, v.17 n.12, December 1982
Stuart I. Feldman, The impact of the proposed standard for floating point arithmetic on languages and systems, ACM SIGNUM Newsletter, v.14 n.si-2, p.31-32, October 1979
Raymond T. Boute, Simplifying ADA by removing limitations, ACM SIGPLAN Notices, v.15 n.2, p.17-29, February 1980
Gary L. Filipski , Donald R. Moore , John E. Newton, Ada as a software transition tool, Proceedings of the ACM-SIGPLAN symposium on The ADA programming language, p.176-182, January 1980
R. S. Scowen , Z. J. Ciechanowicz, Seven sorts of programs, ACM SIGPLAN Notices, v.17 n.3, p.74-79, March 1982
Anand R. Tripathi , William D. Young , Donald I. Good , James C. Browne, HAL/S/V: a verifiable subset for HAL/S, ACM SIGPLAN Notices, v.16 n.3, p.102-112, March 1981
Bernd Krieg-Brückner , David C. Luckham, ANNA: towards a language for annotating Ada programs, ACM SIGPLAN Notices, v.15 n.11, November 1980
Amiram Yehudai, Automatic indention versus program formatting, ACM SIGPLAN Notices, v.15 n.10, p.85-87, October 1980
Kuo-Chung Tai , Ken Garrard, Comments on the suggested implementation of tasking facilities in the "rationale for the design of the ADA programming language", ACM SIGPLAN Notices, v.15 n.10, p.76-84, October 1980
Gerhard Goos , Georg Winterstein, Towards a compiler front-end for Ada, Proceedings of the ACM-SIGPLAN symposium on The ADA programming language, p.36-46, January 1980
Darrel C. Ince, The implementation of file structures in some high level languages, ACM SIGPLAN Notices, v.16 n.11, November 1981
William D. Young , Donald I. Good, Generics and verification in Ada, Proceedings of the ACM-SIGPLAN symposium on The ADA programming language, p.123-127, January 1980
Alfs T. Berztiss, Data abstraction, controlled iteration, and communicating processes, Proceedings of the ACM 1980 annual conference, p.197-203, January 1980
Bill Mengarini, Macro facilities in ADA, ACM SIGPLAN Notices, v.16 n.3, p.75-81, March 1981
William E. Carlson , Larry E. Druffel , David A. Fisher , William A. Whitaker, Introducing Ada, Proceedings of the ACM 1980 annual conference, p.263-271, January 1980
William A. Whitaker, ADA---the project: the DoD high order language working group, History of programming languages---II, ACM Press, New York, NY, 1996
Joseph R. Falcone, A vector programming language, ACM SIGPLAN Notices, v.16 n.4, April 1981
Abraham Silberschatz, On the synchronization mechanism of the ADA language, ACM SIGPLAN Notices, v.16 n.2, p.96-103, February 1981
Henry F. Ledgard, A human engineered variant of BNF, ACM SIGPLAN Notices, v.15 n.10, p.57-62, October 1980
Gerhard Goos , Georg Winterstein, Towards a compiler front-end for Ada, ACM SIGPLAN Notices, v.15 n.11, November 1980
David S. Notkin, An experience with parallelism in Ada, ACM SIGPLAN Notices, v.15 n.11, November 1980
Mahadevan Ganapathi , Charles N. Fischer, Description-driven code generation using attribute grammars, Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.108-119, January 25-27, 1982, Albuquerque, Mexico
David C. Luckham , Wolfgang Polak, A practical method of documenting and verifying Ada programs with packages, ACM SIGPLAN Notices, v.15 n.11, November 1980
Robert B. K. Dewar , Gerald A. Fisher , Edmond Schonberg , Robert Froehlich , Stephen Bryant , Clinton F. Goss , Michael Burke, The NYU Ada translator and interpreter, ACM SIGPLAN Notices, v.15 n.11, November 1980
Hans Henrik Løvengreen , Dines Bjørner, On a formal model of the tasking concept in Ada, Proceedings of the ACM-SIGPLAN symposium on The ADA programming language, p.213-222, January 1980
D. R. Stevenson, Algorithms for translating Ada multitasking, Proceedings of the ACM-SIGPLAN symposium on The ADA programming language, p.166-175, January 1980
Stepehn S. Yau , Wonmo Hong, Verification of Concurrent Control Flow in Distributed Computer Systems, IEEE Transactions on Software Engineering, v.14 n.4, p.405-417, April 1988
Robert H. Halstead, Jr., MULTILISP: a language for concurrent symbolic computation, ACM Transactions on Programming Languages and Systems (TOPLAS), v.7 n.4, p.501-538, Oct. 1985
Edward F. Gehringer , J. Leslie Keedy, Tagged architecture: how compelling are its advantages?, ACM SIGARCH Computer Architecture News, v.13 n.3, p.162-170, June 1985
A Rizk , F Halsall, Design and implementation of a C-based language for distributed real-time systems, ACM SIGPLAN Notices, v.22 n.6, p.83-100, June 1987
Don Cohen , Neil Goldman , K. Narayanaswamy, Adding performance information to ADT interfaces, ACM SIGPLAN Notices, v.29 n.8, p.84-93, Aug. 1994
Alexy V. Khrabrov, An Ada-like separate compilation style in C, ACM SIGAda Ada Letters, v.XV n.2, p.23-30, Mar./April 1995
M. E. Gordon , W. B. Robinson, Using preliminary Ada in a process control application, Proceedings of the May 19-22, 1980, national computer conference, May 19-22, 1980, Anaheim, California
Nathan Cooprider , Will Archer , Eric Eide , David Gay , John Regehr, Efficient memory safety for TinyOS, Proceedings of the 5th international conference on Embedded networked sensor systems, November 06-09, 2007, Sydney, Australia
Ken Hirose , Kiyoshi Segawa , Nobuo Saito , Norihisa Doi , Masahiro Hirata , Toshiharu Yamasaki , Masayuki Takata, Specification technique for parallel processing: process-data representation, Proceedings of the May 4-7, 1981, national computer conference, May 04-07, 1981, Chicago, Illinois
Anthony I. Wasserman, The design of PLAIN: support for systematic programming, Proceedings of the May 19-22, 1980, national computer conference, May 19-22, 1980, Anaheim, California
Nathan Relles , Norman K. Sondheimer , Giorgio Ingargiola, A unified approach to online assistance, Proceedings of the May 4-7, 1981, national computer conference, May 04-07, 1981, Chicago, Illinois
Collaborative Colleagues:
J. D. Ichbiah: colleagues

The ACM Portal is published by the Association for Computing Machinery. Copyright © 2009 ACM, Inc.
Terms of Usage   Privacy Policy   Code of Ethics   Contact Us

Useful downloads: Adobe Acrobat    QuickTime    Windows Media Player    Real Player