Automatic Program Improvement: Variable Usage Transformations

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Automatic Program Improvement: Variable Usage Transformations

Full text

Pdf (1.36 MB)

Source

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

Pages: 236 - 264

Year of Publication: 1983

ISSN:0164-0925

Authors

B. Maher	Computer-Based Learning Project, The University, Leeds 2, England
D. H. Sleeman	Department of Computer Science, Stanford University, Stanford, CA

Publisher

ACM New York, NY, USA

Bibliometrics

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

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/69624.357209 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	Alto, A.V., ANO ULLMA~, J.D. Principles of Compiler Design. Addison-Wesley, Reading, Mass., 1978.
	2	Alfred V. Aho , Jeffrey D. Ullman, Theory of Parsing, Translation and Compiling, Prentice Hall Professional Technical Reference, 1973
	3	F. E. Allen , J. Cocke, A program data flow analysis procedure, Communications of the ACM, v.19 n.3, p.137, March 1976 [doi>10.1145/360018.360025]
	4	Jacques J. Arsac, Syntactic source to source transforms and program manipulation, Communications of the ACM, v.22 n.1, p.43-54, Jan. 1979 [doi>10.1145/359046.359057]
	5	Brenda S. Baker, An Algorithm for Structuring Flowgraphs, Journal of the ACM (JACM), v.24 n.1, p.98-120, Jan. 1977 [doi>10.1145/321992.321999]
	6	Jeffrey M. Barth, A practical interprocedural data flow analysis algorithm, Communications of the ACM, v.21 n.9, p.724-736, Sept. 1978 [doi>10.1145/359588.359596]
	7	Nicos Christofides, Graph theory: An algorithmic approach (Computer science and applied mathematics), Academic Press, Inc., Orlando, FL, 1975
	8	DARLINGTON, J., AND BURSTALL, R.M. A system which automatically improves programs. In Proceedings of the Third International Joint Conference on Artificial Intelligence, 1973, pp. 479-485.
	9	Will Gillett, An interactive program advising system, Proceedings of the ACM SIGCSE-SIGCUE technical symposium on Computer science and education, p.335-341, February 01-01, 1976
	10	John B. Kam , Jeffrey D. Ullman, Global Data Flow Analysis and Iterative Algorithms, Journal of the ACM (JACM), v.23 n.1, p.158-171, Jan. 1976 [doi>10.1145/321921.321938]
	11	Gary A. Kildall, A unified approach to global program optimization, Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.194-206, October 01-03, 1973, Boston, Massachusetts [doi>10.1145/512927.512945]
	12	David B. Loveman, Program Improvement by Source-to-Source Transformation, Journal of the ACM (JACM), v.24 n.1, p.121-145, Jan. 1977 [doi>10.1145/321992.322000]
	13	MAXF~R, B. A Program Transformation System. Ph.D. dissertation~ Univ. of Leeds, Leeds, England.
	14	B. Maher , D. H. Sleeman, A data driven system for syntactic transformations, ACM SIGPLAN Notices, v.16 n.10, p.50-52, October 1981 [doi>10.1145/954255.954257]
	15	MCCANN, A.P., HOLDEr, S.C., ANI) D~.WAa, R.B.K. Macro SPITBOL--DECsystem-10 version. Tech. Rep. 94, Dep. of Computer Studies, Univ. of Leeds, Leeds, England, Dec. 1976.
	16	Steven S. Muchnick , Neil D. Jones, Program Flow Analysis: Theory and Application, Prentice Hall Professional Technical Reference, 1981
	17	OSTERWEIL, L.J., AND FOSDiCK, L.D. DAVE--A validation error detection and documentation system for FORTRAN programs. Sofiw. Pract. Exper. 6 (1976), 473-486.
	18	Barry K. Rosen, Data Flow Analysis for Procedural Languages, Journal of the ACM (JACM), v.26 n.2, p.322-344, April 1979 [doi>10.1145/322123.322135]
	19	SCHN~.CK, P.B., AND ANCEL, E. A FORTRAN to FORTRAN optimizing compiler. Comput. J. 16, 4 (1973), 322-329.

CITED BY 4

	Bogdan Czejdo , Marek Rusinkiewicz, Program transformations and their applications in teaching procedural and nonprocedural languages, ACM SIGCSE Bulletin, v.17 n.1, p.202-210, Mar. 1985
	H. Partsch , R. Steinbrüggen, Program Transformation Systems, ACM Computing Surveys (CSUR), v.15 n.3, p.199-236, Sept. 1983
	Abe Lockman , Jojhn Salasin, A procedure and tools for transition engineering, ACM SIGSOFT Software Engineering Notes, v.15 n.6, p.157-172, Dec. 1990
	Toru Shimizu , Ken Sakamura, Automatic tuning of multi-task programs for real-time embedded systems, Proceedings of the 8th international conference on Software engineering, p.350-357, August 28-30, 1985, London, England