1

[ANSI 66] ANSI (formerly USASI) X3.9 1966(USA Standard Fortran).

2

[Ba 70] Balzer, R.M., Ports, A method for dynamic interprogram communication and job control. Rand Corporation (R605 ARPA) (1970).

3

[Ba 76] Barnes, J.G.P., RTL/2 design and philosophy, Heyden, London (1976).

4

[BFH 76] Bron, C., Fokkinga, M.M. and De Haas, A.C.M., A proposal for dealing with abnormal termination of programs, Twente University of Technology, Mem. Nr. 150, The Netherlands (Nov. 1976).

5

[BJ 78] Bert, D., Jacquet, P., Some Validation Problems with Parameterized Types and Generic Functions, Proc. 3rd International Symposium on Programming, Paris, Dunod (1978), pp. 279-292.

6

Per Brinch Hansen, The nucleus of a multiprogramming system, Communications of the ACM, v.13 n.4, p.238-241, April 1970  [doi>10.1145/362258.362278]

7

Per Brinch Hansen, Operating system principles, Prentice-Hall, Inc., Upper Saddle River, NJ, 1973

8

[BH 75] Brinch Hansen, P., The Programming Language Concurrent Pascal, IEEE Trans. Soft. Eng., 1, 2(June 1975), pp. 199-207.

9

[BH 77] Brinch Hansen, P., Distributed processes: A Concurrent Programming concept, Computer Science Department, University of Southern California-Los Angeles (1977).

10

Per Brinch Hansen, Distributed processes: a concurrent programming concept, Communications of the ACM, v.21 n.11, p.934-941, Nov. 1978  [doi>10.1145/359642.359651]

11

[Br 75] Brosgol, Ben M., et al., CS4 Language Reference Manual and Operating System, Interface, Report IR-130-2, Intermetrics, Inc., Cambridge, Mass., October 1975.

12

[Br 78] Brown, R.S., A Realistic Model of Floating Point Compilation, Numerical Software, Vol. 3 (ed., Rice), Academic Press, 1978.

13

B. L. Clark , J. J. Horning, The System Language for Project SUE, ACM SIGPLAN Notices, v.6 n.9, p.79-88, October 1971

14

Roy H. Campbell , A. Nico Habermann, The specification of process synchronization by path expressions, Operating Systems, Proceedings of an International Symposium, p.89-102, April 23-25, 1974

15

Melvin E. Conway, Design of a separable transition-diagram compiler, Communications of the ACM, v.6 n.7, p.396-408, July 1963  [doi>10.1145/366663.366704]

16

[DEC 74] Digital Equipment Corporation, BLISS-II Programmer's Manual, Maynard, Mass. (1974).

17

[DH 76] De Haas, A.C.M., Escape Clauses in Programming Languages, Twente University of Technology, The Netherlands (Sept. 1976).

18

[Di 68] Dijkstra, E.W., Cooperating Sequential Processes, in Programming languages, (ed. F. Genuys), Academic press, London, 1972.

19

Edsger W. Dijkstra, Chapter I: Notes on structured programming, Structured programming, Academic Press Ltd., London, UK, 1972

20

[DoD 78] Department of Defense STEELMAN requirements for high order computer programming languages, June 1978.

21

[DNM 69] Dahl, O.J., Nygaard, K., Myhrhaug, B., The Simula 67 common base language, Pub S-22, Norwegian Computing Center, Oslo (1969).

22

[Fo 77] Fokkinga, M.M., Axiomatization of declarations and the formal treatment of an escape construct, Twente University of Technology, Mem. Nr. 176, The Netherlands (Sept. 1977).

23

[Fr 77] Francez, N., Another advantage of Keyword Notation for Parameter Communication with Subprograms, Comm. ACM 20, 8 (Aug. 1977) pp. 604-605.

24

[GH 75] Gannon, J.D., Horning, J.J., Language design for programming reliability. IEEE Trans., Software Eng. SE-1, 2 (June 1975) pp. 179-191.

25

[GK 77] Goos, G., Karstens, P., A Comparison of Modularization Facilities in Four Languages, IFIP Working Conference on the Production of Reliable Software, Novosibirsk 1977, North Holland.

26

Charles M. Geschke , James H. Morris, Jr. , Edwin H. Satterthwaite, Early experience with Mesa, Communications of the ACM, v.20 n.8, p.540-553, Aug. 1977  [doi>10.1145/359763.359771]

27

John B. Goodenough, Exception handling: issues and a proposed notation, Communications of the ACM, v.18 n.12, p.683-696, Dec. 1975  [doi>10.1145/361227.361230]

28

[GS 77] Geschke, C.M., Satterthwaite, E.H., Exception Handling in Mesa, XEROX PARC report, Palo Alto (1977).

29

John Guttag, Abstract data types and the development of data structures, Communications of the ACM, v.20 n.6, p.396-404, June 1977  [doi>10.1145/359605.359618]

30

Alfred C. Hartmann , J. Hartmanis , G. Goos, Concurrent Pascal Compiler for Minicomputers, Springer-Verlag New York, Inc., Secaucus, NJ, 1983

31

[Hab 73] Habermann, A.N., Critical comments on the programming languaue Pascal, Acta Informatica, 3(1973), pp. 47-57.

32

W. T. Hardgrave, Positional versus keyword parameter communication in programming languages, ACM SIGPLAN Notices, v.11 n.5, p.52-58, May 1976  [doi>10.1145/956003.956008]

33

[HF 76] Hague, S.J., and Ford, B., Portability, Predicition and Correction, Software Practice and Experience, Vol. 6 (1976) pp. 61-69.

34

James J. Horning , Hugh C. Lauer , P. M. Melliar-Smith , Brian Randell, A program structure for error detection and recovery, Operating Systems, Proceedings of an International Symposium, p.171-187, April 23-25, 1974

35

C. A. R. Hoare, Monitors: an operating system structuring concept, Communications of the ACM, v.17 n.10, p.549-557, Oct. 1974  [doi>10.1145/355620.361161]

36

C. A. R. Hoare, Communicating sequential processes, Communications of the ACM, v.21 n.8, p.666-677, Aug. 1978  [doi>10.1145/359576.359585]

37

Richard C. Holt , David B. Wortman, A model for implementing Euclid modules and type templates, ACM SIGPLAN Notices, v.14 n.8, p.8-12, August 1979

38

[IF 77] Ichbiah, J.D., Ferran, G., Separate Definition and Compilation in LIS and its Implementation, Cornell Symposium on the Design of High Order Languages, in Lecture Notes in Computer Science, Springer Verlag, N.Y.(1977).

39

[IRHC 74] Ichbiah, J.D., Rissen, J.P., H' eliard, J.C., Cousot, P., the System Implementation Language LIS, Reference Manual, CII-HB Technical Report 4549 E/EN, Dec. 1974, CII-HB, Louveciennes, France.

40

[Ka 74] Kahn, G., The semantics of a simple language for parallel programming, Proc. IFIP Congress 74, North Holland (1974).

41

Roy Levin, Program structures for exceptional condition handling., Carnegie Mellon University, Pittsburgh, PA, 1977

42

[LHLMP 76] Lampson, B.W., Horning, J.J., London, R.L., Mitchell, J.G, and Popek, G.J., Report on the Programming Language Euclid, Xerox report, Palo Alto (Aug. 1976).

43

[Li 74] Liskov, B. A Note on CLU, Computation Structures Group Memo 112, MIT Project MAC, Cambridge, Mass., November 1974.

44

Butler W. Lampson , J. G. Mitchell , E. H. Satterthwhaite, On the transfer of control between contexts, Programming Symposium, Proceedings Colloque sur la Programmation, p.181-203, April 09-11, 1974

45

[LS 79] Lauer, H.C., Satterthwaite, E.H., The impact of Mesa on system design (to be published) 1979.

46

Barbara Liskov , Alan Snyder , Russell Atkinson , Craig Schaffert, Abstraction mechanisms in CLU, Communications of the ACM, v.20 n.8, p.564-576, Aug. 1977  [doi>10.1145/359763.359789]

47

[Or 50] Orwell, G., "1984", Harcourt, Brace and Co., N.Y. (July 1950).

48

[Pa 71] Parnas, D.L., Information distribution aspects of design methodology, Information Processing 71, North Holland Pub. Co., Amsterdam (1971), pp. 399-344.

49

[Pe 66] Perstein, M.H., The JOVIAL (J3) Grammar and Lexicon, SDC techincal report TM-555 (1966).

50

[PW 74] Presser, L., White, J., Making Golbal Variables Beneficial, Proceedings IFIP (Aug. 1974).

51

D. L. Parnas , H. Würges, Response to undesired events in software systems, Proceedings of the 2nd international conference on Software engineering, p.437-446, October 13-15, 1976, San Francisco, California, United States

52

[R 74] Rain, M., Mary Programmars Reference Manual, R Unit, Trondheim (1974).

53

B. Randell, System structure for software fault tolerance, Proceedings of the international conference on Reliable software, p.437-449, April 21-23, 1975, Los Angeles, California

54

[Ro 70] Ross, D.T., Uniform referents: an essential property for a software engineering language, in Software Engineering (J.TOU, Ed.), Vol. 1, Academic Press (1970), pp. 91-101.

55

Mary Shaw , Paul Hilfinger , Wm. A. Wulf, Language design for the Ironman requirement: reference manual, ACM SIGPLAN Notices, v.13 n.9, September 1978  [doi>10.1145/987649.987654]

56

[SW 74] Scowen, R.S., Wichmann, B.A., The definition of comments in Programming Languages, Software-Practice and Experience, Vol. 4,2 (April 1974), pp. 181- 188.

57

[VH 75] Von Henke, F.W., On Generating Programs from Data Types: An Approach to Automatic Programming. Proc. Int'l. Symposium on Proving and Improving Programings (Arc-et-Senans) IRIA (1975), pp. 57-70.

58

[VW 75] Van Wijngaarden, A., et al., Revised Report on the algorithmic Language Algol 68, Acta Informatica, Vol. 5, Fasc. 1-3 (1975).

59

David C. Walden, A system for interprocess communication in a resource sharing computer network, Communications of the ACM, v.15 n.4, p.221-230, April 1972  [doi>10.1145/361284.361288]

60

Ben Wegbreit, The treatment of data types in EL1, Communications of the ACM, v.17 n.5, p.251-264, May 1974  [doi>10.1145/360980.360992]

61

[We 78] Welsh, J., Economic Range checks in Pascal, Software - Practice and Experience, Vol. 8, 1 (Jan 1978) pp. 85-98.

62

[Wi 71] Wirth, N., The programming language Pascal, Acta Informatica, Vol. 1, No. 1 (1971), pp. 35-63, Springer Verlag.

63

Niklaus Wirth, Program development by stepwise refinement, Communications of the ACM, v.14 n.4, p.221-227, April 1971  [doi>10.1145/362575.362577]

64

[Wi 76] Wirth, N., Modula, A language for modular programming, Technische Hochschle Zurich, report 18 (March 1976).

65

[WLS 76] Wulf, W.A., London, R.L., and Shaw, M., Abstraction and verification in Alphard: Introduction to language and metholodlogy, USC Inform. Sci. tech. Report, University of Southern California, Los Angeles (1976).

66

[Wo 72] Woodger, M., Levels of Langueges in High Level Languages, INFOTECH, State of the Art Report, No. 7, pp. 201-215.

67

[WSH 77] Welsh, J., Sneeringer, M.J., Hoare, C.A.R., Ambiguities and Insecurities in Pascal, Software-Practice and Experience, Vol. 7,6 (November 1977), pp. 685- 696.

68

[WWG 70] Woodward, P.M., Wetherall, P.R., and Gorman, B., Official Definition of CORAL 66, Her Majesty's Stationery Office (1970).

69

Charles T. Zahn, Jr., A control statement for natural top-down structured programming, Programming Symposium, Proceedings Colloque sur la Programmation, p.170-180, April 09-11, 1974

Jan van den Bos , R. Plasmeijer , Jan W. M. Stroet, Process Communication Based on Input Specifications, ACM Transactions on Programming Languages and Systems (TOPLAS), v.3 n.3, p.224-250, July 1981

Christophe Dony, Exception handling and object-oriented programming: towards a synthesis, ACM SIGPLAN Notices, v.25 n.10, p.322-330, Oct. 1990

F. C. Belz , E. K. Blum , D. Heimbigner, A multi-processing implementation-oriented formal definition of Ada in SEMANOL, Proceedings of the ACM-SIGPLAN symposium on The ADA programming language, p.202-212, January 1980

Henry G. Baker, Unify and conquer, Proceedings of the 1990 ACM conference on LISP and functional programming, p.218-226, June 27-29, 1990, Nice, France

Barry W. Boehm, Software engineering-as it is, Proceedings of the 4th international conference on Software engineering, p.11-21, September 17-19, 1979, Munich, Germany

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

Brian A. Wichmann, Is Ada too big? A designer answers the critics, Communications of the ACM, v.27 n.2, p.98-103, Feb. 1984

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

Hans-Juergen Boehm , Alan Demers, Implementing RUSSELL, ACM SIGPLAN Notices, v.21 n.7, p.186-195, July 1986

Alessio Giacomucci , Frank L. Friedman, Capsules: A data abstraction facility for Pascal, Proceedings of the ACM '81 conference, p.154-160, January 1981

Dominic Duggan, Dynamic typing for distributed programming in polymorphic languages, ACM Transactions on Programming Languages and Systems (TOPLAS), v.21 n.1, p.11-45, Jan. 1999

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

J. Van Den Bos , C. Laffra, PROCOL: a parallel object language with protocols, ACM SIGPLAN Notices, v.24 n.10, p.95-102, Oct. 1989

A. Ohori , P. Buneman, Static type inference for parametric classes, ACM SIGPLAN Notices, v.24 n.10, p.445-450, Oct. 1989

T. P. Baker, A single-pass syntax-directed front end for Ada, ACM SIGPLAN Notices, v.17 n.6, p.318-326, June 1982

Jagdish C. Agrawal , Alka R. Harriger, Undergraduate courses needed in Ada and software engineering, ACM SIGCSE Bulletin, v.17 n.1, p.266-281, Mar. 1985

Frederick C. Hathorn, Structured tasks, Proceedings of the sixth Washington Ada symposium on Ada, p.63-74, July 1989, McLean, Virginia, 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

W. K. Giloi , P. Behr, An IPC protocol and its hardware realization for a high-speed distributed multicomputer system, Proceedings of the 8th annual symposium on Computer Architecture, p.481-493, May 12-14, 1981, Minneapolis, Minnesota, United States

Peter Buneman , Atsushi Ohori, Polymorphism and type inference in database programming, ACM Transactions on Database Systems (TODS), v.21 n.1, p.30-76, March 1996

T. Baker, Improving immediacy in Ada, ACM SIGAda Ada Letters, v.VIII n.7, p.50-56, June 1-3, 1988

Richard C. Holt , James R. Cordy, The Turing programming language, Communications of the ACM, v.31 n.12, p.1410-1423, Dec. 1988

Roberto Salama , Wentai Liu , Ronald S. Gyurcsik, Software experience with concurrent C and LISP in a distributed system, Proceedings of the 1988 ACM sixteenth annual conference on Computer science, p.329-334, February 1988, Atlanta, Georgia, United States

Shohei Fujita, Distributed MIMD multiprocessor system with MicroAda/SuperMicro(TM) for asynchronous concurrent Newton's algorithms, Proceedings of the 5th ACM SIGSMALL symposium on Small systems, p.49-59, August 02-04, 1982, Colorado Springs, Colorado, United States

H.-J. Boehm, Type inference in the presence of type abstraction, ACM SIGPLAN Notices, v.24 n.7, p.192-206, July 1989

Boumediene Belkhouche , Joseph E. Urban , Gregory A. Riccardi, Synthesizing abstract data type specifications, Proceedings of the 20th annual Southeast regional conference, p.176-181, April 01-03, 1982, Knoxville, Tennessee

Hausi A Muller , Robert Hood , Ken Kennedy, Efficient recompilation of module interfaces in a software development environment, ACM SIGPLAN Notices, v.22 n.1, p.180-189, January 1987

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

Laura K. Dillon, Task dependence and termination in Ada, ACM Transactions on Software Engineering and Methodology (TOSEM), v.6 n.1, p.80-110, Jan. 1997

Frederic N. Ris, Experience with access functions in an experimental compiler, ACM SIGMICRO Newsletter, v.15 n.3, p.16-27, September 1984

Barbara Liskov, Distributed programming in Argus, Communications of the ACM, v.31 n.3, p.300-312, March 1988

Alexander Borgida, Language features for flexible handling of exceptions in information systems, ACM Transactions on Database Systems (TODS), v.10 n.4, p.565-603, Dec. 1985

J. D. Gannon , E. E. Katz , V. R. Basili, Metrics for Ada packages: an initial study, Communications of the ACM, v.29 n.7, p.616-623, July 1986

Alexander L. Wolf , Lori A. Clarke , Jack C. Wileden, Interface control and incremental development in the PIC environment, Proceedings of the 8th international conference on Software engineering, p.75-82, August 28-30, 1985, London, England

Judy M. Bishop, Effective machine descriptors for Ada, Proceedings of the ACM-SIGPLAN symposium on The ADA programming language, p.235-242, January 1980

Verlynda Dobbs, A comparison of concurrent languages: a class project, ACM SIGCSE Bulletin, v.19 n.1, p.62-66, Feb. 1987

Ming T. Liu , Sandra A. Mamrak , Jayshree Ramanathan, The Distributed Double-Loop Computer Network (DDLCN), Proceedings of the ACM 1980 annual conference, p.164-178, January 1980

David C. Luckham , Norihisa Suzuki, Verification of Array, Record, and Pointer Operations in Pascal, ACM Transactions on Programming Languages and Systems (TOPLAS), v.1 n.2, p.226-244, Oct. 1979

Reino Kurki-Suonio, Stepwise design of real-time systems, ACM SIGSOFT Software Engineering Notes, v.16 n.5, p.120-131, Dec. 1991

Alexander Romanovsky , Bo Sandén, Except for exception handling …, ACM SIGAda Ada Letters, v.XXI n.3, September 2001

Denis Caromel, Toward a method of object-oriented concurrent programming, Communications of the ACM, v.36 n.9, p.90-102, Sept. 1993

Susan M. Merritt, On the importance of teaching PASCAL in the IS curriculum, ACM SIGCSE Bulletin, v.12 n.1, p.88-91, February 1980

Peter Buneman , Malcolm Atkinson, Inheritance and persistence in database programming languages, ACM SIGMOD Record, v.15 n.2, p.4-15, June 1986

Rajiv Gupta , Mary Lou Soffa, The efficiency of storage management schemes for Ada programs, ACM SIGAda Ada Letters, v.V n.2, p.164-172, Sep., Oct. 1985

Nissim Francez , Shaula A. Yemini, Symmetric intertask communication, ACM Transactions on Programming Languages and Systems (TOPLAS), v.7 n.4, p.622-636, Oct. 1985

H. A. Müller , K. Klashinsky, Rigi-A system for programming-in-the-large, Proceedings of the 10th international conference on Software engineering, p.80-86, April 11-15, 1988, Singapore

Dominic Duggan , Ching-Ching Techaubol, Modular mixin-based inheritance for application frameworks, ACM SIGPLAN Notices, v.36 n.11, p.223-240, 11/01/2001

Shaula Yemini , Daniel M. Berry, An axiomatic treatment of exception handling in an expression-oriented language, ACM Transactions on Programming Languages and Systems (TOPLAS), v.9 n.3, p.390-407, July 1987

Wolfgang Hoyer, Intertask communication realized with an interrupt mechanism, Proceedings of the 1985 ACM annual conference on The range of computing : mid-80's perspective: mid-80's perspective, p.463-470, October 1985, Denver, Colorado, United States

Nazim H. Madhavji, Visibility aspects of programmed dynamic data structures, Communications of the ACM, v.27 n.8, p.764-776, Aug 1984

Nissim Francez, Extended naming conventions for communicating processes, Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.40-45, 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

W. F. Appelbe , A. P. Ravn, Encapsulation constructs in systems programming languages, ACM Transactions on Programming Languages and Systems (TOPLAS), v.6 n.2, p.129-158, April 1984

Edward M. Carter , Robert I. Winner, Transparent microprogramming in support of abstract type oriented dynamic vertical migration, ACM SIGMICRO Newsletter, v.15 n.4, p.165-178, Dec. 1984

Joel E. Richardson , Michael J. Carey , Daniel T. Schuh, The design of the E programming language, ACM Transactions on Programming Languages and Systems (TOPLAS), v.15 n.3, p.494-534, July 1993

Malcolm P. Atkinson , Ronald Morrison, Procedures as persistent data objects, ACM Transactions on Programming Languages and Systems (TOPLAS), v.7 n.4, p.539-559, Oct. 1985

Dominic Duggan, Type-Safe linking with recursive DLLs and shared libraries, ACM Transactions on Programming Languages and Systems (TOPLAS), v.24 n.6, p.711-804, November 2002

Krithivasan Ramamritham, Resource controller tasks in ADA: Their structure and semantics, Proceedings of the 7th international conference on Software engineering, p.67-76, March 26-29, 1984, Orlando, Florida, United States

Malcolm P. Atkinson , O. Peter Buneman, Types and persistence in database programming languages, ACM Computing Surveys (CSUR), v.19 n.2, p.105-170, June 1987

Bjarne Stroustrup, A history of C++: 1979–1991, ACM SIGPLAN Notices, v.28 n.3, p.271-297, March 1993

Luca Cardelli, Program fragments, linking, and modularization, Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.266-277, January 15-17, 1997, Paris, France

David Gelernter, Generative communication in Linda, ACM Transactions on Programming Languages and Systems (TOPLAS), v.7 n.1, p.80-112, Jan. 1985

Andy Hisgen , David Alex Lamb , Jonathan Rosenberg , Mark Sherman, A runtime representation for Ada variables and types, ACM SIGPLAN Notices, v.15 n.11, November 1980

Gary J. Gregory , Kwei-Jay Lin, Building real-time imprecise computations in Ada, Proceedings of the conference on TRI-ADA '90, p.409-421, December 03-06, 1990, Baltimore, Maryland, United States

G. V. Cormack, An algorithm for the selection of overloaded functions in ADA, ACM SIGPLAN Notices, v.16 n.2, p.48-52, February 1981

Shaula Yemini , Daniel M. Berry, A modular verifiable exception handling mechanism, ACM Transactions on Programming Languages and Systems (TOPLAS), v.7 n.2, p.214-243, April 1985

John Van Tassel , David Hemmendinger, Specifying and automatically generating Ada tasks in Prolog, Proceedings of the 1990 ACM annual conference on Cooperation, p.121-127, February 20-22, 1990, Washington, D.C., United States

Jan Stroet, An alternative to the communication primitives in ADA, ACM SIGPLAN Notices, v.15 n.12, p.62-74, December 1980

Warren H. Jessop, Ada packages and distributed systems, ACM SIGPLAN Notices, v.17 n.2, p.28-36, February 1982

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

Mark Sherman , Andy Hisgen , David Alex Lamb , Jonathan Rosenberg, An Ada code generator for VAX 11/780 with Unix, Proceedings of the ACM-SIGPLAN symposium on The ADA programming language, p.91-98, January 1980

Mark Sherman , Andy Hisgen , David Alex Lamb , Jonathan Rosenberg, An Ada code generator for VAX 11/780 with Unix, Proceedings of the ACM-SIGPLAN symposium on The ADA programming language, p.91-98, January 1980

R. Kurki-Suonio, Stepwise Design of Real-Time Systems, IEEE Transactions on Software Engineering, v.19 n.1, p.56-69, January 1993

Valdis Berzins , Michael Gray , David Naumann, Abstraction-based software development, Communications of the ACM, v.29 n.5, p.402-415, May 1986

D. R. Stevenson, Algorithms for translating Ada multitasking, ACM SIGPLAN Notices, v.15 n.11, November 1980

Barbara G. Ryder , Mary Lou Soffa, Influences on the design of exception handling ACM SIGSOFT project on the impact of software engineering research on programming language design, ACM SIGSOFT Software Engineering Notes, v.28 n.4, July 2003

Barbara G. Ryder , Mary Lou Soffa, Influences on the design of exception handling: ACM SIGSOFT project on the impact of software engineering research on programming language design, ACM SIGPLAN Notices, v.38 n.6, June 2003

Qian Cui , John Gannon, Data-Oriented Exception Handling, IEEE Transactions on Software Engineering, v.18 n.5, p.393-401, May 1992

Shaula Yemini, An axiomatic treatment of exception handling, Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.281-288, January 25-27, 1982, Albuquerque, Mexico

Jean Bacon, An approach to distributed software systems, ACM SIGOPS Operating Systems Review, v.15 n.4, p.62-74, October 1981

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

David M. Harland, Subtypes versus cell constancy with subranae constraints, ACM SIGPLAN Notices, v.17 n.12, December 1982

William D. Young , Donald I. Good, Generics and verification in Ada, ACM SIGPLAN Notices, v.15 n.11, November 1980

Rajiv Gupta , Mary Lou Soffa, The efficiency of storage management schemes for Ada programs, ACM SIGPLAN Notices, v.20 n.11, November 1985

N. H. Gehani, Capsules: A Shared Memory Access Mechanism for Concurrent C/C++, IEEE Transactions on Parallel and Distributed Systems, v.4 n.7, p.795-811, July 1993

Samuel T. Redwine, A paradigm for dealing with exceptions, ACM SIGPLAN Notices, v.16 n.5, p.36-38, May 1981

Douglas W. Jones, Tasking and parameters: a problem area in Ada, ACM SIGPLAN Notices, v.15 n.5, p.37-40, May 1980

Mark S. Sherman , Martha S. Borkan, A flexible semantic analyzer for Ada, ACM SIGPLAN Notices, v.15 n.11, November 1980

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

Judy M. Bishop, Effective machine descriptors for Ada, ACM SIGPLAN Notices, v.15 n.11, November 1980

David A. Mundie , David A. Fisher, Optimized overload resolution and type matching for Ada, ACM SIGAda Ada Letters, v.XI n.3, p.83-90, Spring 1991

Peter Buneman , Ira Winston, The use of data type information in an interactive database environment, ACM SIGMOD Record, v.11 n.2, p.104-106, Feb 1981

Roy H. Campbell , Robert B. Kolstad, Path expressions in pascal, Proceedings of the 4th international conference on Software engineering, p.212-219, September 17-19, 1979, Munich, Germany

T. P. Baker, A One-Pass Algorithm for Overload Resolution in Ada, ACM Transactions on Programming Languages and Systems (TOPLAS), v.4 n.4, p.601-614, Oct. 1982

Friedrich L. Bauer, From specifications to machine code: Program construction through formal reasoning, Proceedings of the 6th international conference on Software engineering, p.84-91, September 13-16, 1982, Tokyo, Japan

Stephen Crawley , Michael Oudshoorn, Orthogonal persistence and Ada, Proceedings of the conference on TRI-Ada '94, p.298-308, November 06-11, 1994, Baltimore, Maryland, United States

Andy Hisgen , David Alex Lamb , Jonathan Rosenberg , Mark Sherman, A runtime representation for Ada variables and types, Proceedings of the ACM-SIGPLAN symposium on The ADA programming language, p.82-90, January 1980

Andy Hisgen , David Alex Lamb , Jonathan Rosenberg , Mark Sherman, A runtime representation for Ada variables and types, Proceedings of the ACM-SIGPLAN symposium on The ADA programming language, p.82-90, January 1980

Mark Sherman , Andy Hisgen , David Alex Lamb , Jonathan Rosenberg, An Ada code generator for VAX 11/780 with Unix, ACM SIGPLAN Notices, v.15 n.11, November 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

Bernd Krieg-Brückner, Consistency checking in Ada and Anna: a transformational approach, ACM SIGAda Ada Letters, v.III n.2, p.46-54, September/October 1983

David Hemmendinger, Specifying Ada Server Tasks with Executable Formal Grammars, IEEE Transactions on Software Engineering, v.16 n.7, p.741-754, July 1990

Joseph V. Giordano, Some verification problems in Pascal-like languages, ACM SIGSOFT Software Engineering Notes, v.5 n.1, p.18-27, January 1980

Peter A. Belmont, Type resolution in Ada: An implementation report, Proceedings of the ACM-SIGPLAN symposium on The ADA programming language, p.57-61, January 1980

Alexander L. Wolf , Lori A. Clarke , Jack C. Wileden, The AdaPIC Tool Set: Supporting Interface Control and Analysis Throughout the Software Development Process, IEEE Transactions on Software Engineering, v.15 n.3, p.250-263, March 1989

N. H. Gehani , William D. Roome, Rendezvous Facilities: Concurrent C and the Ada Language, IEEE Transactions on Software Engineering, v.14 n.11, p.1546-1553, November 1988

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

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

Jan van den Bos, Comments on ADA process communication, ACM SIGPLAN Notices, v.15 n.6, p.77-81, June 1980

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

Teodor Rus, Parsing Languages by Pattern Matching, IEEE Transactions on Software Engineering, v.14 n.4, p.498-511, April 1988

Wolfgang Hoyer, Some remarks on records with variants, ACM SIGPLAN Notices, v.19 n.3, p.46-50, March 1984

Raymond T. Boute, Simplifying ADA by removing limitations, ACM SIGPLAN Notices, v.15 n.2, p.17-29, February 1980

Barbara Liskov , Maurice Herlihy , Lucy Gilbert, Limitations of synchronous communication with static process structure in languages for distributed computing, Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.150-159, January 01, 1986, St. Petersburg Beach, Florida

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

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

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

Erik Ernst , David H. Lorenz, Aspects and polymorphism in AspectJ, Proceedings of the 2nd international conference on Aspect-oriented software development, p.150-157, March 17-21, 2003, Boston, Massachusetts

Bill Mengarini, Macro facilities in ADA, ACM SIGPLAN Notices, v.16 n.3, p.75-81, March 1981

Michael R. Gardner, When to use private types, ACM SIGAda Ada Letters, v.III n.6, p.66-78, May-June 1984

F. C. Belz , E. K. Blum , D. Heimbigner, A multi-processing implementation-oriented formal definition of Ada in SEMANOL, ACM SIGPLAN Notices, v.15 n.11, November 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

Bjarne Stroustrup, A history of C++: 1979--1991, History of programming languages---II, ACM Press, New York, NY, 1996

Abraham Silberschatz, On the synchronization mechanism of the ADA language, ACM SIGPLAN Notices, v.16 n.2, p.96-103, February 1981

David A. Bennett , Brent D. Kornman , James R. Wilson, Hidden costs in Ada, ACM SIGAda Ada Letters, v.I n.4, p.9-20, May/June 1982

Barbara G. Ryder , Mary Lou Soffa , Margaret Burnett, The impact of software engineering research on modern progamming languages, ACM Transactions on Software Engineering and Methodology (TOSEM), v.14 n.4, p.431-477, October 2005

Raymond J. Hookway, Verifying Ada programs, ACM SIGSOFT Software Engineering Notes, v.10 n.4, August 1985

Robert I. Winner , Edward M. Carter, Toward type-oriented dynamic vertical migration, ACM SIGMICRO Newsletter, v.14 n.4, December 1983

David S. Notkin, An experience with parallelism in Ada, ACM SIGPLAN Notices, v.15 n.11, November 1980

Gerhard Goos , Georg Winterstein, Towards a compiler front-end for Ada, ACM SIGPLAN Notices, v.15 n.11, November 1980

Mark S. Sherman , Martha S. Borkan, A flexible semantic analyzer for Ada, Proceedings of the ACM-SIGPLAN symposium on The ADA programming language, p.62-69, January 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

D. R. Stevenson, Algorithms for translating Ada multitasking, Proceedings of the ACM-SIGPLAN symposium on The ADA programming language, p.166-175, January 1980

Jonathan Rosenberg , David Alex Lamb , Andy Hisgen , Mark Sherman, The Charrette Ada compiler, Proceedings of the ACM-SIGPLAN symposium on The ADA programming language, p.72-81, January 1980

Dominic Duggan , John Ophel, Open and closed scopes for constrained genericity, Theoretical Computer Science, v.275 n.1-2, p.215-258, March 28 2002

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

Olivier Tardieu , Stephen A. Edwards, Scheduling-independent threads and exceptions in SHIM, Proceedings of the 6th ACM & IEEE International conference on Embedded software, October 22-25, 2006, Seoul, Korea

Robert Rocchetti, VISION II: a dynamic raster-scan display, Proceedings of the May 4-7, 1981, national computer conference, May 04-07, 1981, Chicago, Illinois

Albert Llamosí, On Ada packages, types and task types, ACM SIGAda Ada Letters, v.XII n.5, p.47-58, Sept./Oct. 1992

Jonathan L. Schilling, Dynamically-valued constants: an underused language feature, ACM SIGPLAN Notices, v.30 n.4, p.13-20, April 1995

R. Männer, Strong typing and physical units, ACM SIGPLAN Notices, v.21 n.3, p.11-20, March 1986

Ken Sumate , Kjell Nielsen, A taxonomy of Ada packages, ACM SIGAda Ada Letters, v.VIII n.2, p.55-76, March/April 1988

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

Mordechai Ben-Menachem, Towards management of software as assets: A literature review with additional sources, Information and Software Technology, v.50 n.4, p.241-258, March, 2008

Larry D. Wittie , Ariel J. Frank, A portable modula-2 operating system: SAM2S, Proceedings of the July 9-12, 1984, national computer conference and exposition, July 09-12, 1984, Las Vegas, Nevada

Nola Donato, GRASS3, a language for interactive graphics, Proceedings of the May 4-7, 1981, national computer conference, May 04-07, 1981, Chicago, Illinois

Jean D. Ichbiah: colleagues

Bernd Krieg-Brueckner: colleagues

Brian A. Wichmann: colleagues

John G. P. Barnes: colleagues

Olivier Roubine: colleagues

Jean-Claude Heliard: colleagues