Some Observations Concerning Formal Differentiation of Set Theoretic Expressions

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Some Observations Concerning Formal Differentiation of Set Theoretic Expressions

Full text

Pdf (1.54 MB)

Source

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

Pages: 196 - 225

Year of Publication: 1982

ISSN:0164-0925

Author

Micha Sharir

School of Mathematical Sciences, Tel-Aviv University, Ramat-Aviv, Tel Aviv 69978, Israel

Publisher

ACM New York, NY, USA

Bibliometrics

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

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/357162.357166 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	John Cocke , Ken Kennedy, An algorithm for reduction of operator strength, Communications of the ACM, v.20 n.11, p.850-856, Nov. 1977 [doi>10.1145/359863.359888]
	2	John Cocke, Programming languages and their compilers: Preliminary notes, Courant Institute of Mathematical Sciences, New York University, 1969
	3	DEWAR, R.B.K., AND MCCANN, A.P. MACRO SPITBOL--A SNOBOL4 compiler. Sofiw. Pract. Exper. 7 (1977), 95-113.
	4	DEWAR, R.B.K., SCHONBERa, E., AND SCHWARTZ, J.T. Higher Level Programming: Introduction to the Use of the Set-Theoretic Programming Language SETL. Courant Institute of Mathematical Sciences, New York Univ., New York, 1981.
	5	DEWAR, R.B.K., SHARIR, M., AND WEIXELRAUM, E. On transformational construction of garbage collection algorithms. Tech. Rep., Computer Science Dep., Courant Institute of Mathematical Sciences, New York Univ., New York, to appear.
	6	EARLEY, J. High level iterators and a method for automatically designing data structure representation. Comput. Lang. I (1976), 321-342.
	7	Amelia C. Fong, Inductively computable constructs in very high level languages, Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.21-28, January 29-31, 1979, San Antonio, Texas [doi>10.1145/567752.567755]
	8	Amelia C. Fong , Jeffrey D. Ullman, Induction variables in very high level languages, Proceedings of the 3rd ACM SIGACT-SIGPLAN symposium on Principles on programming languages, p.104-112, January 19-21, 1976, Atlanta, Georgia [doi>10.1145/800168.811544]
	9	KENNEDY, K., AND SCHWARTZ, J.T. An introduction to the set-theoretical language SETL. Comput. Math. Appl. 1, I (1975), 97-119.
	10	Donald E. Knuth, The art of computer programming, volume 1 (3rd ed.): fundamental algorithms, Addison Wesley Longman Publishing Co., Inc., Redwood City, CA, 1997
	11	Nils J. Nilsson, Problem-Solving Methods in Artificial Intelligence, McGraw-Hill Pub. Co., 1971
	12	PAIGE, R. Expression continuity and the formal differentiation of algorithms. Tech. Rep. 15, Computer Science Dep., Courant Institute of Mathematical Sciences, New York Univ., New York, 1979.
	13	PAIGE, R., AND KOENiG, S. Finite differencing of computable expressions. Tech. Rep. LCSR- TR-8, Laboratory for Computer Science Research, Rutgers Univ., New Brunswick, N.J., 1980.
	14	Bob Paige , J. T. Schwartz, Expression continuity and the formal differentiation of algorithms, Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.58-71, January 17-19, 1977, Los Angeles, California [doi>10.1145/512950.512957]
	15	SCHWARTZ, J.T. On the "base form" of algorithms. SETL Newsl. 159, Courant Institute of Mathematical Sciences, New York Univ., New York, 1975.
	16	SO,WAR?Z, J.T. On Programming: An Interim Report on the SETL Project, 2d ed. Courant Institute of Mathematical Sciences, New York Univ., New York, 1975.
	17	SCHWARTZ, J.T. intermediate result recording and other techniques for optimizing recursions and backtrack programs. SETL Newsl. 155, Courant Institute of Mathematical Sciences, New York Univ., New York, 1975.
	18	SHARm, M. A strange sorting technique inspired by program transformation. Comput. Math. Appl. 7, 4 (1981), 293-298.
	19	SHARIR, M. Formal integration--A program transformation technique. Comput. Lang. 6, 1 (1981), 35-46.
	20	SHARm, M. Set theoretic constructs as a tool in program construction. In Proceedings of the Internationa~ Workshop on Program Construction, Bonas, France, Sept. 1980.
	21	SHARm, M. Algorithm derivation by transformation. Tech. Rep. 21, Computer Science Dep., Courant Institute of Mathematical Sciences, New York Univ., New York, 1980.

CITED BY 6

	Robert B. K. Dewar , Micha Shirar , Elia Weixelbaum, Transformational Derivation of a Garbage Collection Algorithm, ACM Transactions on Programming Languages and Systems (TOPLAS), v.4 n.4, p.650-667, Oct. 1982
	Saumya Debray, Abstract interpretation and low-level code optimization, Proceedings of the 1995 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, p.111-121, June 21-23, 1995, La Jolla, California, United States
	Robert Paige , Shaye Koenig, Finite Differencing of Computable Expressions, ACM Transactions on Programming Languages and Systems (TOPLAS), v.4 n.3, p.402-454, July 1982
	Friedrich Ludwig Bauer , Bernhard Möller , Helmut Partsch , Peter Pepper, Formal Program Construction by Transformations-Computer-Aided, Intuition-Guided Programming, IEEE Transactions on Software Engineering, v.15 n.2, p.165-180, February 1989
	Tom Rothamel , Yanhong A. Liu, Efficient implementation of tuple pattern based retrieval, Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, January 15-16, 2007, Nice, France
	Tom Rothamel , Yanhong A. Liu, Generating incremental implementations of object-set queries, Proceedings of the 7th international conference on Generative programming and component engineering, October 19-23, 2008, Nashville, TN, USA