brianw@mako.UUCP (Brian Wilkerson) (07/19/84)
Well, the results are in. First, my thanks to those who responded to my earlier request for references concerning control abstraction. I tried to thank each of you individually, but if I missed anyone, I'm sorry, and thank you. Below is a 'refer(1)' bibliography of all the references sent to me. It is somewhat incomplete in a few places, and if anyone has more information on any entry, I would appreciate hearing about it (by mail, of course). Thanks again, Brian Wilkerson. uucp : tektronix!tekecs!mako!brianw arpa : brianw@mako.UUCP After September 1st : uucp : ihnp4!alberta!cavell!brian arpa : brian@cavell.UUCP ---------- cut here ---------- %A J. Backus %T 1977 ACM Turing Award Lecture: Can Programming be Liberated from the von Neumann Style? %J Comm. ACM %V 21 %N 8 %D August 1978 %K functional %A Grady Booch %T Software Engeneering in Ada %A P. Brinch\ Hansen %T Distributed Processes: A Concurrent Programming Concept %J Comm. ACM %V 21 %N 11 %D November 1978 %K processes coroutines %A P. Brinch\ Hansen %T Operating Systems Principles %I Prentice-Hall, Inc. %C Englewood Cliffs, NJ %D 1973 %A T. E. Cheatham\ Jr %T The Recent Evolution of Programming Languages %J Information Processing %V 71 %D August 1971 %K language development %A E. F. Codd %T Relational Completeness of Data Base Sublanguages %B Data Base Systems %O Courant Computer Science Symposia Series, Volume 6 %I Prentice-Hall %C Englewood Cliffs, New Jersey %D 1977 %A O.-J. Dahl %A B. Myrhaug %A K. Nygaard %T The Simula 67 Common Base Language %R Publication Number S-2 %I Norwegian Computing Center %C Oslo, Norway %D May 1968 %A W. J. Dahl %A E. W. Dijkstra %A C. A. R. Hoare %T Structured Programming %I Academic Press %C New York, NY %D 1972 %A C. J. Date %T An Introduction to Database Systems %I Addison-Wesley %C Reading, Massachusetts %D 1977 %A U. S. Department of Defense %T Rationale for the Design of the Green Programming Language %D 1979 %K ada %A L. Peter Deutsch %T Building Control Structures In the Smalltalk-80 System %J BYTE %D August 1981 %P 322-346 %A D. A. Fisher %T Control Structures For Programming Languages %R Doctoral Thesis (AD 708511) %I Carnegie-Mellon University %D May 1970 %A N. Gehani %T Generic Procedures: An Implementation and an Undecidability Result %J Computer Languages %V 5 %N 3/4 %D 1980 %A C. M. Geschke %A J. H. Morris,\ Jr. %A E. M. Satterwaite %T Early Experience with MESA %J Comm. ACM %V 20 %N 8 %D August 1977 %P 540-553 %A D. Gries %A N. Gehani %T Some Ideas on Data Types in High-Level Languages %J Comm. ACM %V 20 %N 6 %D June 1977 %K generics domain %A R. E. Griswold %A M. T. Griswold %T The ICON Programming Language %I Prentice-Hall %C Englewood Cliffs, New Jersey %D 1983 %A R. E. Griswold %A M. Novak %T Programmer-Defined Control Operations in ICON %J The Computer Journal %D August 1982 %A D. R. Hansen %T Is Block Structure Necessary? %J Software \- Practice and Experience %V 11 %N 8 %D August 1981 %K modules %A Malcom Harrison %T Data Structures and Programming %I Scott Foresman and Company %C Glenview, IL %A J. Heina\\*:nen %T A Programmer Controlled Approach to Data and Control Abstraction %J SIGPLAN Notices %V 18 %N 6 %D June 1983 %K control abstraction user defined types %X Notion of creating implementations of basic types in language Lukko. Does not successfully add control abstraction %A C. A. R. Hoare %T Communicating Sequential Processes %J Comm. ACM %V 21 %N 8 %D August 1978 %P 666-677 %K coroutines %A Carl Hewitt %T Viewing Control Structures as Patterns of Passing Messages %J Artificial Intelligence %V 8 %D 1977 %P 323-364 %A Paul Hilfinger %T Abstraction Mechanism and Language Design %I MIT Press %A K. Jensen %A N. Wirth %T Pascal User Manual and Report %V Lecture Notes in Computer Science %N 18 %I Springer-Verlag %D 1974 %A A. K. Jones %A B. H. Liskov %T A Language Extension for Expressing Constraints on Data Access %J Comm. ACM %V 21 %N 5 %D May 1978 %K abstraction properties %A S. Kamin %T Final Data Types and Their Specification %J ACM Transactions on Programming Languages and Systems %V 5 %N 1 %D January 1983 %K data abstraction %X Mentions a paradigm for specifying types by their behavior %A B. B. Kristensen %T Abstraction Mechanisms in the BETA Programming Languages %J 11th PPLS ACM %D Jan 1983 %P 285-298 %A L. Lamport %T A General Construction for Expressing Repetition %J SIGPLAN Notices %V 14 %N 3 %D March 1979 %K control structure forall %A B. W. Lampson\ \fIet\ al\fR %A J. Mitchell %A E. Satterwaite %T On the Transfer of Control Between Contexts %B Lecture Notes in Computer Science %V 19 %I Prentice-Hall %C Englewood Cliffs NJ %D 1974 %P 181-203 %A B. W. Lampson\ \fIet\ al\fR %T Report on the Programming Language EUCLID %I Xerox Research Center %C Palo Alto, California %D August 1976 %A H. F. Ledgard %A M. A. Marcotty %T A Geneology of Control Structures %J Comm. ACM %V 18 %N 11 %D November 1975 %P 629-639 %A Jerrold S. Leichter %T Generalized Control Structures -- Some Threads and Thoughts %R Research Report (YALEU/DCS/RR-318) %I Yale University %D May 1984 %A B. Liskov %A A. Snyder %A R. Atkinson %A C. Schaffert %T Abstraction Mechanisms in CLU %J Comm. ACM %V 20 %N 8 %D August 1977 %P 564-576 %K generators %A J. McCarthy %A P. W. Abrahams %A D. J. Edwards %A T. P. Hart %A M. I. Levin %T LISP 1.5 Programmers Manual %P MIT Press %D 1962 %A J. Morris %T A Manual for the MODEL Programming Language %O Version 3, Revision 3 %I Los Alamos Scientific Laboratory %C Los Alamos, New Mexico %D February 1980 %A G. Novak %A Data Abstraction in Glisp %J SIGPLAN Notices %V 18 %N 6 %D June 1983 %K object oriented languages %X Another language to cite with ST80 - object-oriented programming %A M. Novak %A R. E. Griswold %T Programmer-Defined Evaluation Regimes %I University of Arizona %R TR 82-16 %D December 1982 %A M. Powell %A M. A. Linton %T Visual Abstraction in an Interactive Programming Environment %J SIGPLAN Notices %V 18 %N 6 %D June 1983 %K visual abstraction %A C. J. Prenner %T Multi-Path Control Structures for Programming Languages %O Ph.D. Thesis %I Harvard University %R AD-758 203 %D August 1972 %A Ram Rao %T A Kernal For Distributed and Shared Memory Communication %R Doctoral Thesis %I Uniersity of Washington %D 1982 %A J. W. Schmidt %A M. Moll %T Abstraction Mechanisms for Database Programming %J SIGPLAN Notices %V 18 %N 6 %D June 1983 %K database control structures %X A set of database operations for retrieval, storage, and updating %A Mary Shaw %A William A. Wulf %A Ralph L. London %T Abstraction and Verification in Alphard : Defining and Specifying Iteration and Generators %J CACM %V 20 %N 8 %D August 1977 %P 553-564 %A Mary Shaw %A G. T. Almes %A J. M. Newcomer %A B. K. Reid %A William A. Wulf %T A Comparison of Programming Languages for Software Engineering %J Software \- Practice and Experience %V 10 %N 1 %D January 1980 %K abstraction trends %A M. Shaw %A W. A. Wulf %A R. L. London %T Abstraction and Verification in ALPHARD: Defining and Specifying Iteration and Generators %J Comm. ACM %V 20 %N 8 %D August 1977 %A M. Shaw %A W. A. Wulf %T Toward Relaxing Assumptions in Languages and their Implementations %J SIGPLAN Notices %V 15 %N 3 %D March 1980 %K control structures %A J. Steensgaard-Madsen %T Modular Programming with Pascal %J Software \- Practice and Experience %V 11 %N 12 %D December 1981 %K detached procedures %A J. Steensgaard-Madsen %T A Statement-Oriented Approach to Data Abstraction %J Transactions on Programming Languages and Systems %V 3 %N 1 %D January 1981 %A Franco Turini %T Abstractions of Control Environments %J BIT %V 23 %N 1 %D 1983 %P 21-35 %A B. Wegbreit %T The Treatment of Data Types in EL1 %J Comm. ACM %V 17 %N 5 %D May 1974 %A G. M. Weinburg %A D. P. Geller %A T. W.-S. Plum %T IF-THEN-ELSE Considered Harmful %J SIGPLAN Notices %V 10 %N 8 %D August 1975 %A A. van\ Wijngaarden %T A Report on the Algorithmic Language ALGOL 68 %J Num. Math. %V 14 %N 2 %D 1969 %A N. Wirth %T Modula: A Language for Modular Multiprogramming %J Software \- Practice and Experience %V 8 %N 1 %D January 1978 %A N. Wirth %T Program Development by Stepwise Refinement %J CACM %V 14 %N 4 %D April 1971 %P 221-227 %A W. A. Wulf %A R. L. London %A M. Shaw %T Abstraction and Verification in ALPHARD %B New Directions in Programming Languages %E S. A. Shuman %I IRIA %D 1976 %A W. A. Wulf %A R. L. London %A M. Shaw %T Abstraction and Verification in ALPHARD : Introduction to Language and Methodology %I Carnegie-Mellon University %C Pittsburgh, Pennsylvania %D 1976 %A J. A. Zimmer %T A Control Form for Complex Iterations %J SIGPLAN Notices %V 16 %N 2 %D February 1981 %K structure bystates -- Brian Wilkerson tektronix!tekecs!mako!brianw brianw@mako