Concepts and Notations for Concurrent Programming; ACM Computing Surveys 15, 1 (March 1983) Pp

Home , Barbara Liskov

ANDREWS83 Andrews, G.R., Schneider, F.B.; Concepts and Notations for Concurrent Programming; ACM Computing Surveys 15, 1 (March 1983) pp. 3-43.

BRINCHHANSEN75 Brinch Hansen, P.; The Programming Language Concurrent Pascal; IEEE Transactions on Software Engi- neering (June 1975) pp. 199-207.

BRINCHHANSEN78 Brinch Hansen, P.; Distributed Processes: A Concurrent Programming Concept; CACM 21, 11 (November 1978).

DONNER83 Donner, M.D.; The Design of OWL a Language for Walking; ACM SIGPLAN Notices 18, 16 (June 1983)

HOARE78 Hoare C.A.R.; Communicating Sequential Processes; CACM 21, 8 (August 1978) pp. 666-677.

LAMPSON80 Lampson, B.W. and Redell D.D.; Experience with Processes and Monitors in Mesa; CACM 23, 2 (February 1980) pp. 105-117.

LISKOV79 Liskov, B.H., and Snyder, A.; Exception Handling in CLU; IEEE TSE SE-5, 6 (November 1979), pp. 546-558.

STOTTS82 Stotts Jr., P.D.; A Comparative Survey of Concurrent Programming Languages; ACM SIGPLAN Notices 17, 9 (September 1982).

WIRTH77 Wirth N.; Tow ards a Discipline of Real-Time Programming, CACM 20, 8 (August 1977) pp. 577-583.

DIJKSTRA78 Dijkstra E.W.; Guarded Commands, Nondeterminacy and Formal Derivation of Programs; CACM 18, 8 (August 1978).

SHAW77 Shaw, M., Wulf, W. A., and London, R.L.; Abstraction and Veriﬁcation in Alphard : Deﬁning and Specify- ing Iteration and Generators; CACM 20, 8 (August 1977).

SOLOWA Y83 Soloway E., Bonar J., and Ehrlich K.; Cognitive Strategies and Looping Constructs: An Empirical Study; CACM 26, 11 (November 1983).

CASHIN79 Cashin, P.M., Joliat, M.L., Kamel, R.F., and Lasker, D.M.; Experience with a Modular Typed Language: PROTEL; Proceedings of the Fifth International Conference on Software Engineering 1979.

GUTTAG77 Guttag, J.; Abstract Data Types and the Development of Data Structures; CACM 20, 6 (June 1977) pp. 396-404.

GUTTAG80 -2-

Guttag, J.; Notes on Type Abstraction (Version 2); IEEE Transactions on Software Engineering 6, 1 (Jan- uary 1980) pp. 13-23.

LISKOV00 Liskov, Barbara et al.; Abstraction Mechanisms in CLU; CACM 20, 8 pp. 564-76.

FITTER00 Fitter, M., Green, T.R.G.; When do diagrams make good computer languages?; International Journal of Man-Machine Studies 11.2 pp. 235-262.

GREEN00 Green, T.R.G.; Conditional program statements and their comprehensibility to professional programmers; Journal of Occupational Psychology 50.2 pp. 93-109.

HARVEY82 Harvey, Brian; Why Logo?; Byte 7, 8 (August 1982).

HOARE73 Hoare, C.A.R.; Hints on Programming Language Design; SIGACT/SIGPLAN Symposium on Principles of Programming Languages (October 1973).

INGALLS81 Ingalls Daniel H.H.; Design Principles Behind Smalltalk; Byte 6, 8 (August 1981).

IVERSON80 Iverson, K.E.; Notation as a Tool of Thought; CACM 23, 8 (August 1980) pp. 444-465.

WIRTH74 Wirth, N.; On The Design of Programming Languages; Procedures of the IFIP Congress 74, pp. 386-393, North Holland, Amsterdam, North-Holland Publishing Co.

GANNON77 Gannon, J.D.; An Experimental Evaluation of Data Type Conventions; CACM 20, 8 (August 1977) pp. 584-595.

GEHANI79 Gehani, N.; A High Level Data Structure - the Grid; Computer Languages, Volume 4, pp. 93-98.

GRIES77 Gries, D., Gehani, N.; Some Ideas on Data Types in High-Level Languages; CACM 20, 6 (June 1977) pp. 414-420.

WHARTON83 Wharton, R.M.; A Note on Types and Prototypes; ACM SIGPLAN Notices 18, 12 (December 1983) pp. 122-125.

BRINCHHANSEN82 Brinch Hansen P.; Programming a Personal Computer; Prentice-Hall Inc. 1982.

HEHNER83 Hehner, E.C.R.; The Logic of Programming; to be published in the Prentice-Hall International Series in -3-

Computer Science (C.A.R. Hoare, series editor). Ms. dated 1983, July 6.

HOARE69 Hoare, C.A.R.; An Axiomatic Basis for Computer Programming; CACM (October 1969) pp. 576-583.

WASSERMAN82 Wasserman, A.I., Gutz, S.; The Future of Programming; CACM 25, 3 (March 1982) pp. 196-205.

WULF80 Wulf, William A.; Trends in the Design and Implementation of Programming Languages.; IEEE Computer 13, 12 (December 1980).

PERKINS81 Perkins H.; Lazy I/O is Not the Answer; ACM SIGPLAN Notices 16, 4 (April 1981) pp. 81-88.

FEUER82 Feuer, A.R. and Gehani, N.H.; A Comparison of the Programming Languages C and Pascal; Computing Surveys 14, 1 (March 1982) pp. 73-92.

WINOGRAD79 Winograd, Terry; Beyond Programming Languages; CACM 22, 7 (July 1979) pp. 391-401.

GEHANI80 Gehani, N.; Generic Procedures: An Implementation and an Undecidability Result; Computer Languages, Volume 5, pp. 155-161.

ELSHOFF82 Elshoff, J.L., Marcotty, M.; Improving Computer Program Readability to Aid Modiﬁcation; CACM 25, 8 (August 1982) pp. 512-521.

LISKOV83 Liskov, Barbara, and Scheiﬂer, Robert; Guardians and Actions: Linguistic Support for Robust, Distributed Programs; ACM TOPLAS 35, 3 (July 1983) pp. 381-404.

LOVE77 Love, T.; An Experimental Investigation of the Effect of Program Structure on Program Understanding; Proceedings of an ACM Conference on Language Design for Reliable Software (edited by D.B. Wortman). A combined issue of SIGPLAN Notices 12, 3 (March 1977), Operating Systems Review 11, 2 (April 1977) and Software Engineering Notes 2, 2 (March 1977) pp. 105-113.

ASHCROFT82 Ashcroft, E.A., Wadge, W.W.; Prescription for Semantics; ACM Transactions on Programming Languages and Systems 4, 2 (April 1982) pp. 283-294.

HEHNER84 Hehner, E.C.R.; Predicative Programming Part I; CACM 27, 2 (February 1984) pp. 134-143.

WILLIAMS80 Williams, M.H.; A Formal Notation for Specifying Static Semantic Rules; Computer Languages, Volume 5, pp. 37-55.

WILLIAMS81 Williams, M.H.; Methods for Specifying Static Semantics; Computer Languages, Volume 6, pp. 1-17. -4-

ALBIZURIROMERO84 Albizuri-Romero, Miren B.; A Graphical Abstract Programming Language; ACM SIGPLAN Notices 19, 1 (January 1984) pp. 14-23.

FALCONE81 Falcone, Joseph R.; A Vector Programming Language; ACM SIGPLAN Notices (April 1981) pp. 36-50.

GEURTS82 Geurts L.; An Overview of the B Programming Language; ACM SIGPLAN Notices 17, 12 (December 1982) pp. 49-58.

GRISWOLD81 Griswold, R.E., Hanson, D.R., and Korb, J.T.; Generators in Icon; ACM TOPLAS 3, 2 (April 1981) pp. 144-161.

KRULL81 Krull F.N.; Experience With ILIAD: A High-Level Process Control Language; CACM 24, 2 (February 1981) pp. 66-72.

MACLENNAN83 Bruce J. MacLennan; Chapter 13, Logic Programming: PROLOG, Principles of Languages: Design, Evalu- ation and Implementation. New York: Holt, Rinehart and Winston, 1983, pp. 499-521.

PATTERSON81 Patterson D.A.; An Experiment in High Level Language Microprogramming and Veriﬁcation; CACM 24, 10 (October 1981) pp. 699-709.

POPEK77 Popek, G.J., J.J. Horning, B.W. Lampson, J.G. Mitchell and R.L. London; Notes on the Design of Euclid; Proceedings of an ACM Conference on Language Design for Reliable Software, (edited by D.B. Wortman). Combined issues SIGPLAN Notices 12, 3 (March 1977), Operating Systems Review 11, 2 (April 1977), Software Engineering Notes 2, 2 (March 1977) pp. 11-18.

TAKEUCHI83 Takeuchi, I., Okuno, H., and Ohsato, N.; Tao--A Harmonic Mean of

LISP, PROLOG and Smalltalk; SIGPLAN Notices 18, 7 (July 1983) pp. 65-74.

TEITELBAUM81 Teitelbaum T., Reps T.; The Cornell Program Synthesizer: A Syntax Directed Programming environment; CACM 24, 9 (September 1981) pp. 563-573.

WARREN77 Warren, David H.D., and Pereira, Luis M.; PROLOG: The language and its Implementation Compared with Lisp; Proceedings of the Symposium on Artiﬁcial Intelligence and Programming Languages. SIGPLAN Notices 12, 8 (August 1977) and SIGART Newsletter 64 (August 1977) pp. 109-115.

WICHMANN84 Wichmann, B.A.; Is Ada too Big? A Designer Answers the Critics; CACM 27, 2 (February 1984) pp. 98-103.

WIRTH83 Wirth, N.; The Programming Language Modula-2; Institut fur Informatik, Report Nr. 36 IfI ETH Zurich, 1980, pp. 1-25. Also appears as pp. 139-170 of Wirth, N.; Programming in Modula-2; New York: Springer- -5-

Verlag, 1983.

BARRON83 Barron, Iann et al; Transputer does 5 or more MIPS even when not used in parallel; Electronics, 17 (November 1983) pp. 109.

GEHANI84 Gehani, N.H., Cargill, T.A.; Concurrent Programmin in the Ada Language: The Polling Bias; Software Practice and Experience 14, 5 (May 1984).

SCOTT83; Messages vs. Remote Procedures is a False Dichotomy; SIGPLAN Notices, 18, 5 (May 1983).

SMITH845 Smith, B.C.; Reﬂection and Semantics in Lisp; Proceedings of ACM Symposium on Principles of Program- ing Languages (May 1984).

KRISTENSEN83 Kristensen,B.B., Madsen,O.L., Moller-Pederson,B. and Nygaard,K.; Abstraction Mechanisms in the Beta Programming Language; Proceedings of the Tenth Annual ACM Symposium on Principles of Program- ming Languages (1983) pp. 285-298.

ACKERMAN82 Ackerman, William B. Data Flow Languages, IEEE Computer 15, 2(February 1982) pp. 15-24

CURTIS82 Curtis, B.; A Review of Human Factors Research on Programming Languages and Speciﬁcations; Human Factors in Computer Systems, (1982), pp. 212-218.

HUNT82 Hunt, James W., Programming Languages; IEEE Computer 15, 4(April 1982), pp. 70-88

THACHER84 Thacher,H.C.Jr.; On the Elimination of Pointer Variables and Dynamic Allocation in Higher Level Lan- guages; ACM SIGPLAN Notices Vil.19 No.4 (April 1984).

WEINBERG71 Gerald M. Weinberg, The Psychology of Computer Programming Van Nostrand Reinhold Co., New York, 1971

APPELBE84 Appelbe, William F. and A.P. Ravn. "Encapsulation Constructs in Systems Programming Languages". ACM Transactions on Programming Languages and Systems, Volume 6, Number 2, (April 1984), pp. 129-158.

RO WE84 Panel Discussion at SIGPLAN ’83: Symposium on Programming Languages Issues in Software Systems Moderator/Editor: Lawrence A. Rowe (U.C. Berkeley) Panel Members: Peter Deutsch (Xerox PARC), Stu Feldman (A.T.&T. Bell Laboratories), Butler Lampson (Xerox PARC), Barbara Liskov (MIT), Terry Wino- grad (Stanford University); SIGPLAN Notices, V19 #8, August 1984

TAYLOR83 Taylor, Richard N., "A General-Purpose Algorithm for Analyzing Concurrent Programs", Communications of the A.C.M., Volume 26, Number 5, May 1983, pp. 362-376. -6-

APPELBE84 Appelbe, William F. and A.P. Ravn. "Encapsulation Constructs in Systems Programming Languages". ACM Transactions on Programming Languages and Systems, Volume 6, Number 2, (April 1984).

BACKUS78 Backus, John, "Can Programming Be Liberated from the von Neumanr style? Functional Style and Its Algebra of Programs", IBM Research Laboratory, San Jose, CACM August 1978, Volume 21, Number 8

BOX83 Jan van den Box, Marinus J. Plasmeijer, Pieter H. Hartel, Input-Output Tools: A Language Facility for Interactive and Real-Time Systems, IEEE Transactions on Software Engineering, May 1983

BRON 84 C. Bron and E.J. Dijkstra, Three Cheers for Procedures: Tow ards a fuller appreciation of the procedural mechanism, Proc. IFIP/IFORS Symposium on System Implementation Languages: Experience and Assess- ment University of Kent at Caterbury, 1984

BRON84b On the use of exception handling in Modular Pascal C. Bron and E.J. Dijkstra Proc. IFIP/IFORS Sympo- sium on System Implementation Languages: Experience and Assessment University of Kent at Canterbury, 1984

CLOCKSIN81 Clocksin,W.F. and Mellish, C.S., "Programming in PROLOG", Springer-Verlag, 1981

COLOMBETTI84 Colombetti, Marco & Giovanni Guide, "Supporting Control Deﬁnition in Programming Languages", Com- puter Languages, Vol. 9, No. 1, 1984, pp. 1-23 - Control Structures.

CURRIE84 I.F. Currie, "Orwellian Programming in Safety-Critical Systems" in System Implementation Languages: Experiences and Assessment (sponsored by IFIP Working Group 2.4, cosponsored by IFORS) Conference Proceedings, University of Kent, September 17-19, 1984 (No continuous page numbering, articles are arranged in alphabetical order of author.)

DAHL66 Dahl,O. and Nygaard,K.;

SIMULA-An Alogol-Based Simulation Language; Communications of the ACM, 9,9 (September 1966) pp. 671-678.

DEWAR79 Dewar, Robert B. K., Arthur Grant, Ssu-Cheng Liu, Jacob T. Schwartz, and Edmond Schonberg. "Pro- gramming by Reﬁnement, as Exempliﬁed by the SETL Representation Sublanguage", ACM Transactions on Programming Languages and Systems 1, 1(1979), 27-49.

DEWAR79 Dewar, Robert B.K. "The SETL Programming Language" (l979), 1176 pages.

EISENSTADT83 Eisenstadt, M.; A User-Friendly Software Environment for the Novice Programmer;

CACM 26, 12 (December 1983) pp. 1058-1064; -7-

FARROW83 Farrow,R.; Attribute Grammars and Data-Flow Languages; SIGPLAN’83 ACM (June 1983).

GALLAIRE82 Gallaire, H. and Lasserre, C.; "Metalevel Control for Logic Programs", in "Logic Programming" by Tarn- lund and Clarke, pp. 173-185, London, Academic Press, 1982

GRESCHKE77 Greschke,C., Morris,J., and Satterthwaite,E.; Early Experience with Mesa;

CACM, 20,8 (August 1977)

GLIGOR83 Virgil D. Gligor and Gary L. Luckenbaugh, "An Assessment of the Real-Time Requirements for Program- ming Environments and Languages", (Proceedings of the Real-Time Systems Symposium, IEEE, Decem- ber 1983, pp. 3-19).

GOLDBERG83 Goldberg, A., Robson,D.;

SMALLTALK-80 The Language and Its Implementation; Adison-Wesley series in Computer Science (May 1983); Part 2 (Ch. 6 - Ch. 20).

GOLDBERG83 Goldberg,A., Robson,D.;

SMALLTALK-80 The Language and Its Implementation; Addison-Wesley series in Computer Science (May 1983); Part 4 (Ch. 26 - Ch. 30).

GORDON76 Gordon, Michael J.C., "The Denotational Description of Programming Languages: An Introduction", Springer-Verlag, 1976

HANSEN81 Brinch Hansen, Per. "The Design of Edison". Software - Practice and Experience, Volume 11, Number 4 (April 1981), pp. 363-396.

HOARE72 Hoare, C.A.R.,; A Note on the For Statement; Bit 12, (1972), pp. 334-341

HOARE,C.A.R.74 "Monitors, An Operating System Structuring Concept", C.A.R. Hoare, Communications of the ACM, Octo- ber 1974, Volume 17, Number 10, pp. 549-557.

HOARE78 Hoare, C.A.R., "Communications of the A.C.M., Volume 21, Number 8, August 1978, pp. 666-677.

IVERSON81 Kenneth E. Iverson & Adin D. Falkoff, 1981: The Evolution of APL, in History of Programming Lan- guages, Academic Press, 1981, pp. 661-691

KOHLER81 W.H. Kohler, "A Survey of Techniques for Synchronization and Recovery in Decentralized Computer Sys- tems", Computing Surveys, June 1981, Volume 13, No. 2, pp. 149-183 -8-

KOWALSKI79 Ko walski, R; Algoithm = Logic + Control; Communications of the ACM (July 1979) pp. 424-436.

KRULL81 Krull, Fred N., "Experience with ILIAD: A High Level Process Control Language", General Motors Research Laboratories, (CACM, Vol. 24, No. 2, Feb. 1981, pp. 66-72)

KURTZ81 Thomos E. Kurtz, 1981: Basic, in History of Programming Languages, Academic Press, 1981, pp. 515-549

LOZANO-PEREZ83 Lozano-Perez, T.; Robot Programming; Proceedings of the IEEE, 71, 7 (July 1983) pp. 821-841.

MAY84 May, David; OCCAM and the Transputer, in System Implementation Languages: Experience and Assess- ment University of Kent September 1984

MCKENDRY84 McKendry, Martin S. and Campbell, Roy H. Implementing Language Support in High-Level Languages IEEE Transactions on Software Engineering, Vol. SE-10 No. 3 (May 1984) pp. 227-236

MILNER78 Milner, R.; A Theory of Type Polymorphism in Programming; Journal of Computer and System Sciences 17 (1978) pp. 348-375.

PARKER84 J.R. Parker A Practical Examination of Preﬁxed Procedures

INFOR, August 1984

REED79 D.P. Reed and R.K. Kanodia, "Synchronization with Eventcounts and Sequencers", Communications of the ACM, February 1979, Volume 22, No. 2, pp. 115-123.

ROST84 Rose, Leonie V. and Stroustrup, Bjarne Complex Arithmetic in C Computing Science Technical Report No. 109 AT&T Bell Laboratories, 1984

SENGLER83 Sengler, H.E., "A Model of the Understanding of a Program and Its Impact on the Design of the Program- ming Language GRADE", Psychology of Computer Use, T. R.G. Green et al. (eds.), 1983, pp. 91-106 - Program Structure and Representation.

SHAW81 Shaw, M.; Almes, G. T.; Newcomer, J.M.; Reid, B. and Wulf, W.A.; A Comparison of Programming Lan- guages for Software Engineering; Software Practice & Experience 11, 1 (January 1981) pp. 1-52

SHEIL83 Sheil, B.; Power Tools for Programmers; Datamantion (February 1983).

SMOLIAR83 Smoliar,S.W. and Barstoe,D.; Who Needs Languages, and Why Do They Need Them? Or NO Matter How High the Level Its Still Programming; SIGPLAN ’83 ACM (June 1983). -9-

SOLOWA Y84 Soloway, E. "A Cognitively-Based Methodology for Designing Languages/ Environments/Methodologies", Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments ACM Software Engineering Notes Vol.9 No.3 May 1984 ACM SIGPLAN Notices Vol.19 No.5 May 1984 (joint issue)

STEUSLOFF84 Steusloff, H.U.; Advanced Real-time Languages for Distributed Industrial Process Control; Computer, IEEE, (February 1984) pp. 37-46

STRO84 Stroustrup, Bjarne Data Abstraction in C Computing Science Technical Report No. 109 AT&T Bell Labo- ratories, 1984

STRO84 Stroustrup, Bjarne The C++ Programming Language - Reference Manual AT&T Bell Laboratories Murray Hill, New Jersey 0797 January 1, 1984

STRO84 Stroustrup, Bjarne Operator Overloading in C++ AT&T Bell Laboratories Murray Hill, New Jersey 07974 1984

STRO84 Stroustrup, Bjarne The C++ Programming Language - Reference Manual AT&T Bell Laboratories Murray Hill, New Jersey 0797 U.S.A.

TAKEUCHI83 Ikuo Takeuchi, Hiroshi Okuno, and Nobuyasu Ohsato, "TAO---A harmonic mean of Lisp, Prolog and Smalltalk", Musashino Electrical Communication Laboratory Nippon Telegraph and Telephone Public Cor- poration, 3-9-11, Midoricho, Musashino, Tokyo, Japan 180, SIGPLAN Notices, V18 #7, July 1983

WALLIS80 Wallis,Peter J.L.; External Representations of Objects of User-Deﬁned Type; ACM Transactions on Pro- gramming Languages and Systems, 2, 2 (April 1980).

WEGNER83 P. Wegner and S.A. Smolka, "Processes, Tasks, and Monitors: A Comparative Study of Concurrent Pro- gramming Primitives", IEEE Transactions on Software Engineering, July 1983, Volume SE-9, Number 4, pp. 446-462.

WEXELBLAT84 We x ealblat,R.L.; Nth Generation Languages; Datamation (September 1984) pp. 111-117.

WINNER84 Winner, Robert I. "Unassigned Objects". ACM Transactions on Programming Languages and Systems, Volume 6, Number 4 (October 1984), pp. 449-467.

WULF71 Wulf,W.A.; BLISS: A Language for Systems Programming; Communications of the ACM (December 1971) pp. 780-791. -10-

WILE83 Wile, David S.; Program Developments: Formal Explanations of Implementation; Communications of the ACM 26,11 (November 1983) pp. 902-911.

MCGRAW82 McGraw, J. R.; The VAL Language: DESCRIPTION and ANALYSIS; ACM Transactions on Program- ming Languages and Systems 4, 1, pp. 44

SNODGRASS83 Snodgrass, R.; An Object Oriented Command Language; IEEE Transactions on Software Engineering, SE-10,1 (January 83)

GRISWOLD83 Griswold, R.E. and Griswold, M.T.; The Icon Programming Language;

KORNFELD83 Kornfeld, W.A.; Equality for Prolog"; Proceedings of the Eighth International Joint Conference on Artiﬁ- cial Intelligence 1, pp. 514-519;

KRUCHTEN84 Kruchten, Phillippe, Schonberg, Edmond, and Schartz, Jacob; Software Prototyping Using the SETL Pro- gramming Language; IEEE Software 1,4 (1984), pp. 66-75.

MCDERMOTT80 McDermott, D.; The PROLOG Phenomenon; ACM SIGART, No. 72, (July 1980), pp 16-20.

PAPERT79 Papert, Seymour A., Computers and Learning The Computer Age: A Twenty-Year View

PAPERT80 Papert, Seymour; Mindstorms: Children, Computers, and Powerful Ideas; Basic Books Inc.

REDELMEIER84 Redelmeier, D. Hugh; Tow ard Practical Functional Programming; Technical Report CSRG-158 (May 1984).

SCHWARTZ75 Schwartz, Jacob T.; On Programming; (SETL)