No abstract available.
Cited By
- Hoare C Communicating Sequential Processes Theories of Programming, (157-186)
- Thiemann P and Neubauer M Macros for context-free grammars Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming, (120-130)
- Black A, Hutchinson N, Jul E and Levy H The development of the Emerald programming language Proceedings of the third ACM SIGPLAN conference on History of programming languages, (11-1-11-51)
- Ford B (2004). Parsing expression grammars, ACM SIGPLAN Notices, 39:1, (111-122), Online publication date: 1-Jan-2004.
- Ford B Parsing expression grammars Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (111-122)
- Hoare C Communicating sequential processes The origin of concurrent programming, (413-443)
- Clark C (1999). Keywords, ACM SIGPLAN Notices, 34:12, (18-23), Online publication date: 1-Dec-1999.
- Reynolds J (1998). Definitional Interpreters for Higher-Order Programming Languages, Higher-Order and Symbolic Computation, 11:4, (363-397), Online publication date: 1-Dec-1998.
- Proper H and van der Weide T (1995). A General Theory for Evolving Application Models, IEEE Transactions on Knowledge and Data Engineering, 7:6, (984-996), Online publication date: 1-Dec-1995.
- Colmerauer A and Roussel P The birth of Prolog The second ACM SIGPLAN conference on History of programming languages, (37-52)
- Lindsey C A history of ALGOL 68 The second ACM SIGPLAN conference on History of programming languages, (97-132)
- Colmerauer A and Roussel P (1993). The birth of Prolog, ACM SIGPLAN Notices, 28:3, (37-52), Online publication date: 1-Mar-1993.
- Lindsey C (2019). A history of ALGOL 68, ACM SIGPLAN Notices, 28:3, (97-132), Online publication date: 1-Mar-1993.
- Kießling H and Krüger U (2019). Blocks and procedures, ACM SIGPLAN Notices, 28:11, (52-61), Online publication date: 1-Nov-1993.
- Salomon D (1992). Four Dimensions of programming-language independence, ACM SIGPLAN Notices, 27:3, (35-53), Online publication date: 1-Mar-1992.
- Pair C (2018). GRIN, IEEE Annals of the History of Computing, 12:3, (159-166), Online publication date: 1-Jul-1990.
- Seyed-Abbassi B and Thompson J G-base fourth normal form in relational database Proceedings of the 17th conference on ACM Annual Computer Science Conference, (54-61)
- Saacks M and Hassell J Two-level grammars as a technique for formalizing programming schemes Proceedings of the 17th conference on ACM Annual Computer Science Conference, (305-308)
- Gantenbein R (1987). Support for dynamic binding in strongly typed languages, ACM SIGPLAN Notices, 22:6, (69-75), Online publication date: 1-Jun-1987.
- Gantenbein R and Jones D Dynamic binding of separately compiled objects under program control Proceedings of the 1986 ACM fourteenth annual conference on Computer science, (287-292)
- Leavens G (1984). Prettyprinting styles for various languages, ACM SIGPLAN Notices, 19:2, (75-79), Online publication date: 1-Feb-1984.
- Date C (1984). Some principles of good language design, ACM SIGMOD Record, 14:3, (1-7), Online publication date: 1-Nov-1984.
- Cormack G Extensions to static scoping Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems, (187-191)
- Cormack G (1983). Extensions to static scoping, ACM SIGPLAN Notices, 18:6, (187-191), Online publication date: 1-Jun-1983.
- Grosch J (1983). Type derivation graphs, ACM SIGPLAN Notices, 18:12, (60-68), Online publication date: 1-Dec-1983.
- Lacroix M and Pirotte A Data structures for CAD object description Proceedings of the 18th Design Automation Conference, (653-659)
- Duncan A and Hutchison J Using attributed grammars to test designs and implementations Proceedings of the 5th international conference on Software engineering, (170-178)
- van Wijngaarden A (1981). Revised Report of the Algorithmic Language Algol 68, ALGOL Bulletin:Sup 47, (1-119), Online publication date: 16-Aug-1981.
- Belz F, Blum E and Heimbigner D A multi-processing implementation-oriented formal definition of Ada in SEMANOL Proceedings of the ACM-SIGPLAN symposium on The ADA programming language, (202-212)
- Ganzinger H and Ripken K (1980). Operator identification in ADA, ACM SIGPLAN Notices, 15:2, (30-42), Online publication date: 1-Feb-1980.
- Belz F, Blum E and Heimbigner D A multi-processing implementation-oriented formal definition of Ada in SEMANOL Proceedings of the ACM-SIGPLAN symposium on Ada programming language, (202-212)
- Belz F, Blum E and Heimbigner D (1980). A multi-processing implementation-oriented formal definition of Ada in SEMANOL, ACM SIGPLAN Notices, 15:11, (202-212), Online publication date: 1-Nov-1980.
- Raulefs P, Siekmann J, Szabó P and Unvericht E (1979). A short survey on the state of the art in matching and unification problems, ACM SIGSAM Bulletin, 13:2, (14-20), Online publication date: 1-May-1979.
- MacLennan B (1979). Observations on the differences between formulas and sentences and their application to programming language design, ACM SIGPLAN Notices, 14:7, (51-61), Online publication date: 1-Jul-1979.
- Hoare C (1978). Communicating sequential processes, Communications of the ACM, 21:8, (666-677), Online publication date: 1-Aug-1978.
- Reynolds J Syntactic control of interference Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, (39-46)
- Payne A (1978). A formalised technique for expressing compiler exercisers, ACM SIGPLAN Notices, 13:1, (59-69), Online publication date: 1-Jan-1978.
- Solntseff N Programming languages for introductory computing courses Papers of the SIGCSE/CSA technical symposium on Computer science education, (119-124)
- Solntseff N (1978). Programming languages for introductory computing courses, ACM SIGCSE Bulletin, 10:1, (119-124), Online publication date: 1-Feb-1978.
- Payne A (1977). A formalised technique for expressing message generators, ACM SIGCOMM Computer Communication Review, 7:2, (3-11), Online publication date: 1-Apr-1977.
- Wells M Implementation and application of a function data type Proceedings of the June 13-16, 1977, national computer conference, (389-395)
- Hedrick G (1977). ALGOL68 instruction at Oklahoma State University, ACM SIGCSE Bulletin, 9:3, (16-20), Online publication date: 1-Aug-1977.
- Hedrick G ALGOL68 instruction at Oklahoma State University Proceedings of the eighth SIGCSE technical symposium on Computer science education, (16-20)
- Szöke P Some remarks on new instances and garbage collection Proceedings of the Strathclyde ALGOL 68 conference, (42-48)
- Pagan F Algol 68 as an implementation language for portable interpreters Proceedings of the Strathclyde ALGOL 68 conference, (54-62)
- Simonet M An attribute description of a subset of Algol 68 Proceedings of the Strathclyde ALGOL 68 conference, (129-137)
- Payne A (1977). A formalised technique for expressing system exercisers, ACM SIGOPS Operating Systems Review, 11:3, (8-12), Online publication date: 1-Jul-1977.
- Szöke P (1977). Some remarks on new instances and garbage collection, ACM SIGPLAN Notices, 12:6, (42-48), Online publication date: 1-Jun-1977.
- Pagan F (1977). Algol 68 as an implementation language for portable interpreters, ACM SIGPLAN Notices, 12:6, (54-62), Online publication date: 1-Jun-1977.
- Simonet M (1977). An attribute description of a subset of Algol 68, ACM SIGPLAN Notices, 12:6, (129-137), Online publication date: 1-Jun-1977.
- Woolley J (1977). Fortran, ACM SIGPLAN Notices, 12:7, (112-125), Online publication date: 1-Jul-1977.
- Hamlet R (1977). Ignorance of ALGOL 68 considered harmful, ACM SIGPLAN Notices, 12:4, (51-56), Online publication date: 1-Apr-1977.
- Kennedy K and Warren S Automatic generation of efficient evaluators for attribute grammars Proceedings of the 3rd ACM SIGACT-SIGPLAN symposium on Principles on programming languages, (32-49)
- Parnas D, Shore J and Weiss D Abstract types defined as classes of variables Proceedings of the 1976 conference on Data : Abstraction, definition and structure, (149-154)
- Parnas D, Shore J and Weiss D (2019). Abstract types defined as classes of variables, ACM SIGPLAN Notices, 11:SI, (149-154), Online publication date: 15-Mar-1976.
- Parnas D, Shore J and Weiss D (1976). Abstract types defined as classes of variables, ACM SIGMOD Record, 8:2, (149-154), Online publication date: 1-Mar-1976.
- Woolley J, Miller L and Bernstein C (1976). LINUS, ACM SIGPLAN Notices, 11:9, (38-48), Online publication date: 1-Sep-1976.
- Bobrow D and Wegbreit B (1976). A Model for Control Structures for Artificial Intelligence Programming Languages, IEEE Transactions on Computers, 25:4, (347-353), Online publication date: 1-Apr-1976.
- Deussen P (2019). A decidability criterion for van Wijngaarden grammars, Acta Informatica, 5:4, (353-375), Online publication date: 1-Dec-1975.
- Lecarme O and Desjardins P (1975). More comments on the programming language Pascal, Acta Informatica, 4:3, (231-243), Online publication date: 1-Sep-1975.
- Caine S and Gordon E PDL Proceedings of the May 19-22, 1975, national computer conference and exposition, (271-276)
- Barta B (1975). PACOL, ACM SIGPLAN Notices, 10:3, (44-53), Online publication date: 1-Mar-1975.
- Hext J (1975). Array reference operations, ACM SIGPLAN Notices, 10:3, (113-118), Online publication date: 1-Mar-1975.
- Barta B PACOL Proceedings of the conference on Programming languages and compilers for parallel and vector machines, (44-53)
- Hext J Array reference operations Proceedings of the conference on Programming languages and compilers for parallel and vector machines, (113-118)
- Gannon J and Horning J The impact of language design on the production of reliable software Proceedings of the international conference on Reliable software, (10-22)
- Evans R (1974). Multiple exits from a loop using neither GO TO nor labels, Communications of the ACM, 17:11, (650), Online publication date: 1-Nov-1974.
- Greibach S Some restrictions on W-grammars Proceedings of the sixth annual ACM symposium on Theory of computing, (256-265)
- Hollander C Mechanical construction of type-checking predicates for extensible data types Proceedings of the 1974 annual conference - Volume 1, (112-115)
- Woolley J and Miller L LINUS Proceedings of the fourth SIGCSE technical symposium on Computer science education, (125-128)
- Woolley J and Miller L (1974). LINUS, ACM SIGCSE Bulletin, 6:1, (125-128), Online publication date: 1-Feb-1974.
- Friedman D and Shapiro S (1974). A case for while-until, ACM SIGPLAN Notices, 9:7, (7-14), Online publication date: 1-Jul-1974.
- Bauer F, De Remer F, Griffiths M, Hill U, Horning J, Koster C, McKeeman W, Poole P, Waite W, Eickel J, Goos G and Hartmanis J (1974). Compiler construction, 10.5555/1102008, Online publication date: 1-Jan-1974.
- Bobrow D and Wegbreit B (1973). A model and stack implementation of multiple environments, Communications of the ACM, 16:10, (591-603), Online publication date: 1-Oct-1973.
- Pratt V Top down operator precedence Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages, (41-51)
- Morris J Types are not sets Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages, (120-124)
- Fenner T, Jenkins M and Tennent R (1973). QUEST, ACM SIGPLAN Notices, 8:2, (3-27), Online publication date: 1-Feb-1973.
- Wegner E (1973). A Generalized Completer for ALGOL 68, ALGOL Bulletin:35, (29-31), Online publication date: 1-Mar-1973.
- MacLennan B (1973). Fen—an axiomatic basis for program semantics, Communications of the ACM, 16:8, (468-474), Online publication date: 1-Aug-1973.
- Rosen S (1972). Programming systems and languages 1965-1975, Communications of the ACM, 15:7, (591-600), Online publication date: 1-Jul-1972.
- Reynolds J Definitional interpreters for higher-order programming languages Proceedings of the ACM annual conference - Volume 2, (717-740)
- Burge W (2019). Combinatory programming and combinatorial analysis, IBM Journal of Research and Development, 16:5, (450-461), Online publication date: 1-Sep-1972.
- van Gils A (1972). The philosophy of an extensible language, ALGOL Bulletin:34, (82-88), Online publication date: 1-Jul-1972.
- Wegbreit B The ECL programming system Proceedings of the November 16-18, 1971, fall joint computer conference, (253-262)
- Amarel S (1971). Computer science, Communications of the ACM, 14:6, (391-401), Online publication date: 1-Jun-1971.
- Gils T Syntactic definition mechanisms Proceedings of the international symposium on Extensible languages, (67-74)
- Jorrand P Data types and extensible languages Proceedings of the international symposium on Extensible languages, (75-83)
- Gils T (2019). Syntactic definition mechanisms, ACM SIGPLAN Notices, 6:12, (67-74), Online publication date: 1-Dec-1971.
- Jorrand P (2019). Data types and extensible languages, ACM SIGPLAN Notices, 6:12, (75-83), Online publication date: 1-Dec-1971.
- Cohen J and Rubin A An interactive system for proving theorems in the predicate calculus Proceedings of the second ACM symposium on Symbolic and algebraic manipulation, (268-280)
- Johnston J (1971). The contour model of block structured processes, ACM SIGPLAN Notices, 6:2, (55-82), Online publication date: 1-Feb-1971.
- Wegner P (1971). Data structure models for programming languages, ACM SIGPLAN Notices, 6:2, (1-54), Online publication date: 1-Feb-1971.
- Schneider V A translation grammar for ALGOL 68 Proceedings of the May 5-7, 1970, spring joint computer conference, (493-505)
- Schuman S and Jorrand P Definition mechanisms in extensible programming languages Proceedings of the November 17-19, 1970, fall joint computer conference, (9-20)
- Lindsey C (1970). An ISO-Representation for ALGOL 68, ALGOL Bulletin:31, (37-60), Online publication date: 1-Mar-1970.
- Reynolds J (1970). GEDANKEN—a simple typeless language based on the principle of completeness and the reference concept, Communications of the ACM, 13:5, (308-319), Online publication date: 1-May-1970.
- Loeckx J (1970). An algorithm for the construction of bounded-context parsers, Communications of the ACM, 13:5, (297-307), Online publication date: 1-May-1970.
- Mailloux B and Peck J (1969). Algol 68 as an extensible language, ACM SIGPLAN Notices, 4:8, (9-13), Online publication date: 1-Aug-1969.
- Schneider V Some syntactic methods for specifying extendible programming languages Proceedings of the November 18-20, 1969, fall joint computer conference, (145-156)
- de Chastellier G and Colmerauer A W-grammar Proceedings of the 1969 24th national conference, (511-518)
Index Terms
- Report on the algorithmic language ALGOL 68
Recommendations
Algol 68 as an extensible language
Most programming languages have one or more features which may be considered as extensions of the language. The most common such feature is the procedure, as it exists in Algol 60 or in PL/I, or the subroutine in Fortran. By means of this device it is ...
Revised Report on the Algorithmic Language Scheme
The report gives a defining description of the programming language Scheme. Scheme is a statically scoped and properly tail-recursive dialect of the Lisp programming language invented by Guy Lewis Steele, Jr. and Gerald Jay Sussman. It was designed to have ...
Algol 68 as an implementation language for portable interpreters
Proceedings of the Strathclyde ALGOL 68 conferenceBy making use of its advanced and highly expressive facilities, Algol 68 can be used to implement interpretive language processors with an unusual degree of conceptual clarity and machine independence. The internal representations of source programs in ...