Generators in Icon

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Generators in Icon

Full text

Pdf (1.03 MB)

Source

ACM Transactions on Programming Languages and Systems (TOPLAS) archive
Volume 3 , Issue 2 (April 1981) table of contents

Pages: 144 - 161

Year of Publication: 1981

ISSN:0164-0925

Authors

Ralph E. Griswold	Department of Computer Science, The University of Arizona, Tucson, AZ
David R. Hanson	Department of Computer Science, The University of Arizona, Tucson, AZ
John T. Korb	Xerox Corporation, 3333 Coyote Hill Road, Palo Alto, CA

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 1, Downloads (12 Months): 36, Citation Count: 16

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/357133.357136 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	G.M. Birtwhistle , O.J. Dahl , B. Myhrhaug , K. Nygaard, Simula Begin, Chartwell-Bratt Ltd, 1979
	2	Daniel G. Bobrow , Bertram Raphael, New Programming Languages for Artificial Intelligence Research, ACM Computing Surveys (CSUR), v.6 n.3, p.153-174, Sept. 1974 [doi>10.1145/356631.356632]
	3	Daniel G. Bobrow , Ben Wegbreit, A model and stack implementation of multiple environments, Communications of the ACM, v.16 n.10, p.591-603, Oct. 1973 [doi>10.1145/362375.362379]
	4	Kenneth A. Bowen, Prolog, Proceedings of the 1979 annual conference, p.14-23, January 1979 [doi>10.1145/800177.810020]
	5	Ole Johan Dahl, Structured Programming, Academic Press, Inc., Orlando, FL, 1972
	6	Robert W. Floyd, Nondeterministic Algorithms, Journal of the ACM (JACM), v.14 n.4, p.636-644, Oct. 1967 [doi>10.1145/321420.321422]
	7	FRIEDMAN, D.P., AND WISE, D.S. CONS should not evaluate its arguments. In Automata, Languages, and Programming, S. Michaelson and R. Milner, Eds., Edinburgh Univ. Press, Edinburgh, 1976, pp. 257-284.
	8	James F Gimpel, Algorithms in SNOBOL4, Catspaw, Salida, CO, 1986
	9	Solomon W. Golomb , Leonard D. Baumert, Backtrack Programming, Journal of the ACM (JACM), v.12 n.4, p.516-524, Oct. 1965 [doi>10.1145/321296.321300]
	10	Ralph E. Griswold, The Icon programming language a new approach to high-level string processing, Proceedings of the 1979 annual conference, p.8-13, January 1979 [doi>10.1145/800177.810019]
	11	GRISWOLD R.E. The SL5 programming language and its use for goal-directed programming. In Proe. 5th Texas Conf. on Computer Systems, Univ. Texas, Austin, Oct. 1976.
	12	Ralph E. Griswold , David R. Hanson, An Alternative to the Use of Patterns in String Processing, ACM Transactions on Programming Languages and Systems (TOPLAS), v.2 n.2, p.153-172, April 1980 [doi>10.1145/357094.357096]
	13	GRISWOLD R.E., AND HANSON, D.R. Reference manual for the Icon programming language. Tech. Rep. TR 79-1a, Dep. Computer Science, Univ. Arizona, Tucson, Feb. 1980.
	14	Ralph E. Griswold , David R. Hanson, An overview of SL5, ACM SIGPLAN Notices, v.12 n.4, p.40-50, April 1977 [doi>10.1145/954654.954658]
	15	Ralph E. Griswold , David R. Hanson , John T. Korb, The icon programming language: an overview, ACM SIGPLAN Notices, v.14 n.4, April 1979 [doi>10.1145/988078.988082]
	16	Ralph E Griswold, The SNOBOL 4 programming language, Prentice-Hall, Inc., Upper Saddle River, NJ, 1971
	17	Leo J. Guibas , Douglas K. Wyatt, Compilation and delayed evaluation in APL, Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.1-8, January 23-25, 1978, Tucson, Arizona [doi>10.1145/512760.512761]
	18	David Roy Hanson, Procedure-based linguistic mechanisms in programming languages., 1976
	19	David R. Hanson, A procedure mechanism for backtrack programming, Proceedings of the annual conference, p.401-405, October 20-22, 1976, Houston, Texas, United States [doi>10.1145/800191.805625]
	20	David R. Hanson , Ralph E. Griswold, The SL5 procedure mechanism, Communications of the ACM, v.21 n.5, p.392-400, May 1978 [doi>10.1145/359488.359502]
	21	HANSON, D.R., AND HANSEN, W.J. Icon implementation notes. Tech. Rep. TR79-12a, Dep. Computer Science, Univ. Arizona, Feb. 1980.
	22	Peter Henderson , James H. Morris, Jr., A lazy evaluator, Proceedings of the 3rd ACM SIGACT-SIGPLAN symposium on Principles on programming languages, p.95-103, January 19-21, 1976, Atlanta, Georgia [doi>10.1145/800168.811543]
	23	H~,WlTT, C. PLANNER: A language for manipulating models and proving theorems in a robot. In Proc. 2d Int'l Joint Conf. on Artificial Intelligence, London, 1971, pp. 167-182.
	24	KAHN, G., AND McQUEEN, D.B. Coroutines and networks of parallel processes. In Proc. IFIPS 77, 1977, pp. 993-998.
	25	Paul Klint, An overview of the SUMMER programming language, Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.47-55, January 28-30, 1980, Las Vegas, Nevada [doi>10.1145/567446.567451]
	26	John Timothy Korb, The design and implementation of a goal-directed programming language., 1979
	27	Gary Lindstrom, Backtracking in a Generalized Control Setting, ACM Transactions on Programming Languages and Systems (TOPLAS), v.1 n.1, p.8-26, July 1979 [doi>10.1145/357062.357063]
	28	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]
	29	John McCarthy, LISP 1.5 Programmer's Manual, The MIT Press, 1962
	30	McDERMOTT, D.V., AND SUSSMAN, G.J. The CONNIVER reference manual. AI Lab. Memo 259, MIT, Cambridge, Mass., 1972.
	31	NEWELL, A. (ED.) Information Processing Language- V Manual, Rand Corp., Prentice-Hall, Englewood Cliffs, N.J., 1961.
	32	Charles J. Prenner , Jay M. Spitzen , Ben Wegbreit, An implementation of backtracking for programming languages, ACM SIGPLAN Notices, v.7 n.11, November 1972 [doi>10.1145/987361.987367]
	33	John F. Reiser, SAIL, Stanford University, Stanford, CA, 1976
	34	Dennis M. Ritchie , Ken Thompson, The UNIX time-sharing system, Communications of the ACM, v.17 n.7, p.365-375, July 1974 [doi>10.1145/361011.361061]
	35	Mary Shaw , William A. Wulf , Ralph L. London, Abstraction and verification in Alphard: defining and specifying iteration and generators, Communications of the ACM, v.20 n.8, p.553-564, Aug. 1977 [doi>10.1145/359763.359782]
	36	SMITH, D.C., AND ENEA, H.J. Backtracking in MLISP2. In Proc. 3d Int'l Joint Conf. on AI, Stanford, Calif., 1973, pp. 677-685.
	37	SUSSMAN, G.J., AND MCDERMOTT, D.V. From PLANNER to CONNIVER--A genetic approach. In Proc. AFIPS 1972 Fall Joint Computer Conf., vol. 41, AFIPS Press, Arlington, Va., 1972, pp. 1171-1179.
	38	VAN WIJNGAARDEN, A., MAILLOUX, B.J., PECK, J.E.L., KOST}~R, C.H.A., SINTZOFF, M., LINDSEY, C.H., MEERTENS, L.G.L.T., AND FISKER, R.G. (Eds.). Revised report on the algorithmic language Algol 68. Acta Inf. 5 (Jan. 1976), 1-236.
	39	David H D Warren , Luis M. Pereira , Fernando Pereira, Prolog - the language and its implementation compared with Lisp, Proceedings of the 1977 symposium on Artificial intelligence and programming languages, p.109-115, August 15-17, 1977
	40	Charles Wetherell, Etudes for Programmers, Prentice-Hall, Inc., Upper Saddle River, NJ, 1978
	41	WroTH, N. Algorithms + Data Structures = Programs. Prentice-Hall, Englewood Cliffs, N.J., 1976.
	42	WroTH, N. The programming language Pascal. Acta Inf. I (Jan. 1971), 35-63.
	43	WULF, W.A., LONDON, R.L., ANO SHAW, M. An introduction to the construction and verification of Alphard programs. IEEE Trans. Softw. Eng. SE-2, 4 (Dec. 1976), 253-265.

CITED BY 16

	Ralph E. Griswold , David R. Hanson, An Alternative to the Use of Patterns in String Processing, ACM Transactions on Programming Languages and Systems (TOPLAS), v.2 n.2, p.153-172, April 1980
	Franco Turini, Magma2: a language oriented toward experiments in control, ACM Transactions on Programming Languages and Systems (TOPLAS), v.6 n.4, p.468-486, Oct. 1984
	Ralph E. Griswold, The Evaluation of Expressions in Icon, ACM Transactions on Programming Languages and Systems (TOPLAS), v.4 n.4, p.563-584, Oct. 1982
	Ralph E. Griswold , Madge T. Griswold, History of the Icon programming language, ACM SIGPLAN Notices, v.28 n.3, p.53-68, March 1993
	Robert F. Gordon , George B. Leeman, Jr. , Clayton H. Lewis, Concepts and implications of undo for interactive recovery, Proceedings of the 1985 ACM annual conference on The range of computing : mid-80's perspective: mid-80's perspective, p.150-157, October 1985, Denver, Colorado, United States
	George B. Leeman, Jr., A formal approach to undo operations in programming languages, ACM Transactions on Programming Languages and Systems (TOPLAS), v.8 n.1, p.50-87, Jan. 1986
	Christopher W. Fraser , David R. Hanson, A high-level programming and command language, Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems, p.212-219, June 27-29, 1983, San Francisco, California, United States
	Bent Bruun Kristensen , Ole Lehrmann Madsen , Birger Møller-Pedersen , Kristen Nygaard, Multi-sequential execution in the BETA programming language, ACM SIGPLAN Notices, v.20 n.4, April 1985
	Ikuo Nakata , Masataka Sassa, Programming with Streams in a Pascal-Like Language, IEEE Transactions on Software Engineering, v.17 n.1, p.1-9, January 1991
	Ralph E. Griswold , Madge T. Griswold, History of the Icon programming language, History of programming languages---II, ACM Press, New York, NY, 1996
	Jed Liu , Aaron Kimball , Andrew C. Myers, Interruptible iterators, ACM SIGPLAN Notices, v.41 n.1, p.283-294, January 2006
	Stephen M. Watt, A technique for generic iteration and its optimization, Proceedings of the 2006 ACM SIGPLAN workshop on Generic programming, September 16-16, 2006, Portland, Oregon, USA
	J. O'Bagy , R. E. Griswold, A recursive interpreter for the Icon programming language, ACM SIGPLAN Notices, v.22 n.7, p.138-149, July 1987
	Nola Donato , Robert Rocchetti , Janet Tom, A prototyping environment for real-time graphics, Proceedings of the July 9-12, 1984, national computer conference and exposition, July 09-12, 1984, Las Vegas, Nevada
	Ralph E. Griswold , David R. Hanson, String processing, Encyclopedia of Computer Science, 4th edition, John Wiley and Sons Ltd., Chichester, 2003
	D. C. Dodson , A. L. Rector, "Logal": algorithmic control structures for Prolog, Proceedings of the Eighth international joint conference on Artificial intelligence, p.536-538, August 08-12, 1983, Karlsruhe, West Germany