A System for Assisting Program Transformation

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

A System for Assisting Program Transformation

Full text

Pdf (1.19 MB)

Source

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

Pages: 1 - 20

Year of Publication: 1982

ISSN:0164-0925

Author

Martin S. Feather

USC/Information Sciences Institute, 4676 Admiralty Way, Marina del Rey, CA

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 0, Downloads (12 Months): 43, Citation Count: 29

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/357153.357154 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	Robert Balzer , Neil Goldman , David Wile, On the Transformational Implementation approach to programming, Proceedings of the 2nd international conference on Software engineering, p.337-344, October 13-15, 1976, San Francisco, California, United States
	2	BAUER, F.L., PARTSCH, H., PEPPER, P., ANI) W6SS~ER, H. Techniques for program development. In Infotech State of the Art Report: Software Engineering Techniques. Infotech Information Ltd., Maidenhead, Berkshire, England, 1977, pp. 25-50.
	3	BAUER, F.L., PAR?SC~, H., PEPPER, P., AND WOSSNER, H. Notes on the project CIP: Outline of a transformation system. Tech. Rep. TUM-INFO-7729, Inst. fiir Informatik, Technische Univ. M/inchen, 1977.
	4	BOYLE, J.M. Program adaption and program transformation. In Practice in Software Adaption and Maintenance: Proceedings, Workshop on Software Adaption and Maintenance, Berlin. Elsevier North-Holland, New York, 1979, pp. 3-20.
	5	BURSTALL, R.M. Design considerations for a functional programming language. In The Software Revolution: Proc. Infotech State of the Art Conference, Copenhagen. Pergamon Press, Elmsford, N.Y., 1977, pp. 45-57.
	6	R. M. Burstall , John Darlington, A Transformation System for Developing Recursive Programs, Journal of the ACM (JACM), v.24 n.1, p.44-67, Jan. 1977 [doi>10.1145/321992.321996]
	7	R. M. Burstall , D. B. MacQueen , D. T. Sannella, HOPE: An experimental applicative language, Proceedings of the 1980 ACM conference on LISP and functional programming, p.136-143, August 25-27, 1980, Stanford University, California, United States [doi>10.1145/800087.802799]
	8	DARLINGTON, J. A synthesis of several sorting algorithms. Acta Inf. 11, I (Dec. 1978), 1-30.
	9	DARLINGTON, J. Program transformation and synthesis: Present capabilities. Tech. Rep. DAI 43, Dep. Artificial Intelligence, Univ. Edinburgh, Edinburgh, Scotland, 1977; also appeared in Artif intell. 16, i (March 1981), 1-46.
	10	DARLINGTON, J. A Semantic Approach to Automatic Program Improvement. Ph.D. dissertation, Dep. Artificial Intelligence, Univ. Edinburgh, Edinburgh, Scotland, 1972.
	11	DARLiNCTON, J., AND BURSTALL, R.M. A system which automatically improves programs. Acta Inf. 6, i (March 1976), 41-60.
	12	FEATHER, M.S. Program specification applied to a text-formatter. Available from author; submitted to IEEE Trans. Softw. Eng.
	13	FEATHER, M.S. A System for Developing Programs by Transformation. Ph.D. dissertation, Dep. Artificial Intelligence, Univ. Edinburgh, Edinburgh, Scotland, 1979.
	14	FEATHER, M.S. Program transformation applied to the telegram problem. In Proc. 3d Int. Symp. Programming, Paris, 1978, pp. 173-186.
	15	FRIEDMAN, D.P., AND WISE, D.S. Functional combination. Comput. Lang. 3, I (Feb. 1978), 31-35.
	16	HEND~.aSON, P., AND SNOWDON, R. An experiment in structured programming. BIT 12, 1 (1972), 38-53.
	17	Brian W. Kernighan , P. L. Plauger, Software Tools, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1976
	18	Koq~r, L. About a transformation system: A theoretical study. In Proc. 3d Int. Syrup. Programming, Paris, 1978, pp. 232-247.
	19	Stanley Lee , Willem P. deRoever , Susan L. Gerhart, The evolution of list-copying algorithms and the need for structured program verification, Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.53-67, January 29-31, 1979, San Antonio, Texas [doi>10.1145/567752.567758]
	20	MANNA, Z., AND WALmNCER, R. Synthesis: Dreams ~ programs. IEEE Trans. Softw. Eng. SE-5, 4 (1979), 294-328.
	21	MARTELLI, A. Program development through successive transformations: An application to list processing. In Proc. 3d Int. Syrup. Programming, Paris, 1978, pp. 381-394.
	22	PARTSCH, H., AND PEPPER, P. Program transformations on different levels of programming. Tech. Rep. TUM-INFO-7715, Institut for Informatik, Technische Univ. M(inchen, 1977.
	23	PE~rOROSSI, A. Improving memory utilization in transforming recursive programs. In Proceedings, 7th Symposium on Mathematical Foundations of Computer Science, Zakopane, Poland. Springer-Verlag, New York, 1978, pp. 416-425.
	24	Pr~TTOROSSI, A. Transformation of programs and use of "tupling strategy." Presented at Informatica 77, Bled, Yugoslavia, 1977.
	25	SCHWARZ, J. Verifying the safe use of destructive operations in applicative programs. In Proc. 3d int. Symp. Programming, Paris, 1978, pp. 395-411.
	26	TOPOR, R.W. Interactive Program Verification Using Virtual Programs. Ph.D. dissertation, Dep. Artificial Intelligence, Univ. Edinburgh, Edinburgh, Scotland, 1975.
	27	WECSREIT, B. Goal-directed program transformation. IEEE Trans. Sofiw. Eng. SE-2, 2 (1976), 69-80.

CITED BY 29

	H. Seidl , M. H. Sørensen, Constraints to stop higher-order deforestation, Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.400-413, January 15-17, 1997, Paris, France
	Robert D. Cameron , M. Robert Ito, Grammar-Based Definition of Metaprogramming Systems, ACM Transactions on Programming Languages and Systems (TOPLAS), v.6 n.1, p.20-54, Jan. 1984
	S. K. Debray, Unfold/fold transformations and loop optimization of logic programs, ACM SIGPLAN Notices, v.23 n.7, p.297-307, July 1988
	F. Warren Burton, Annotations to Control Parallelism and Reduction Order in the Distributed Evaluation of Functional Programs, ACM Transactions on Programming Languages and Systems (TOPLAS), v.6 n.2, p.159-174, April 1984
	N. Yoshida, A transformational approach to the derivation of hardware algorithms from recurrence equations, Proceedings of the 1988 ACM/IEEE conference on Supercomputing, p.433-440, November 12-17, 1988, Orlando, Florida, United States
	Wei-Ngan Chin, Safe fusion of functional expressions, ACM SIGPLAN Lisp Pointers, v.V n.1, p.11-20, Jan. 1992
	R. S. Bird, The promotion and accumulation strategies in transformational programming, ACM Transactions on Programming Languages and Systems (TOPLAS), v.6 n.4, p.487-504, Oct. 1984
	Hanne Riis Nielson , Flemming Nielson, Transformations on higher-order functions, Proceedings of the fourth international conference on Functional programming languages and computer architecture, p.129-143, September 11-13, 1989, Imperial College, London, United Kingdom
	Yanhong A. Liu , Scott D. Stoller , Tim Teitelbaum, Discovering auxiliary information for incremental computation, Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.157-170, January 21-24, 1996, St. Petersburg Beach, Florida, United States
	William G. Griswold , David Notkin, Automated assistance for program restructuring, ACM Transactions on Software Engineering and Methodology (TOSEM), v.2 n.3, p.228-269, July 1993
	Jacques Eloff, Software restructuring: implementing a code abstraction transformation, Proceedings of the 2002 annual research conference of the South African institute of computer scientists and information technologists on Enablement through technology, September 16-18, 2002, Port Elizabeth, South Africa
	H. Partsch , R. Steinbrüggen, Program Transformation Systems, ACM Computing Surveys (CSUR), v.15 n.3, p.199-236, Sept. 1983
	Philip Wadler, Listlessness is better than laziness: Lazy evaluation and garbage collection at compile-time, Proceedings of the 1984 ACM Symposium on LISP and functional programming, p.45-52, August 06-08, 1984, Austin, Texas, United States
	John Sieg, Jr., A tool supporting query optimization and program transformation techniques, Proceedings of the 1990 ACM annual conference on Cooperation, p.15-21, February 20-22, 1990, Washington, D.C., United States
	Mark Harman , Lin Hu , Rob Hierons , Joachim Wegener , Harmen Sthamer , André Baresel , Marc Roper, Testability Transformation, IEEE Transactions on Software Engineering, v.30 n.1, p.3-16, January 2004
	Raghavan Komondoor , Susan Horwitz, Semantics-preserving procedure extraction, Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.155-169, January 19-21, 2000, Boston, MA, USA
	Daniel Le Métayer, ACE: an automatic complexity evaluator, ACM Transactions on Programming Languages and Systems (TOPLAS), v.10 n.2, p.248-266, April 1988
	V. Berzins , Luqi , A. Yehudai, Using Transformations in Specification-Based Prototyping, IEEE Transactions on Software Engineering, v.19 n.5, p.436-452, May 1993
	Uday S. Reddy, Transformational derivation of programs using the focus system, ACM SIGSOFT Software Engineering Notes, v.13 n.5, p.163-172, November 1988
	Alberto Pettorossi , Maurizio Proietti, Rules and strategies for transforming functional and logic programs, ACM Computing Surveys (CSUR), v.28 n.2, p.360-414, June 1996
	Uday S. Reddy, Formal methods in transformational derivation of programs, ACM SIGSOFT Software Engineering Notes, v.15 n.4, p.104-114, Sep. 1990
	J. Allan Yang , Young-il Choo, Parallel-program transformation using a metalanguage, ACM SIGPLAN Notices, v.26 n.7, p.11-20, July 1991
	D. R. Smith, KIDS: A Semiautomatic Program Development System, IEEE Transactions on Software Engineering, v.16 n.9, p.1024-1043, September 1990
	André Baresel , David Binkley , Mark Harman , Bogdan Korel, Evolutionary testing in the presence of loop-assigned flags: a testability transformation approach, ACM SIGSOFT Software Engineering Notes, v.29 n.4, July 2004
	Wojtek Kozaczynski , Jim Ning , Andre Engberts, Program Concept Recognition and Transformation, IEEE Transactions on Software Engineering, v.18 n.12, p.1065-1075, December 1992
	Achuth Sankar S. Nair , Vinod Chandra, A MetaL for C and Pascal, ACM SIGCSE Bulletin, v.39 n.4, December 2007
	Robert S. Rist, Knowledge creation and retrieval in program design: a comparison of novice and intermediate student programmers, Human-Computer Interaction, v.6 n.1, p.1-46, March 1991
	Elaine Kant, Understanding and automating algorithm design, Proceedings of the 9th international joint conference on Artificial intelligence, p.1243-1253, August 18-23, 1985, Los Angeles, California
	Uday S. Reddy , Barat Jayaraman, Theory of linear equations applied to program transformation, Proceedings of the Eighth international joint conference on Artificial intelligence, p.10-16, August 08-12, 1983, Karlsruhe, West Germany