Program developments

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Program developments: formal explanations of implementations

Full text

Pdf (949 KB)

Source

Communications of the ACM archive
Volume 26 , Issue 11 (November 1983) table of contents

Pages: 902 - 911

Year of Publication: 1983

ISSN:0001-0782

Author

David S. Wile

USC/Information Sciences Institute, Marina del Rey, CA

Publisher

ACM New York, NY, USA

Bibliometrics

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

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/182.358443 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	Allen, F.E. Bibliography on program optimization. Tech. Rep. RC 5767, IBM Research, Yorktown Heights, New York, 1975.
	2	Babich, W.A., and Jazayeri, M. The method of attributes for data flow analysis: Parts I and II. Acto Inf. 10, 3 (1978), 245-264, 265-272.
	3	Balzer, R,M. EXDAMS--extendable debugging and monitoring system. Spring Joint Computer Conference, IFIP, 1969, pp. 567-580.
	4	Balzer, R.M. Language-independent programmer's interface. Tech. Rep. RR-73-15, USC/Information Sciences Institute, Marina del Ray, California, 1973.
	5	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
	6	Barstow, D.R., Knowledge-based Program Construction. Elsevier, North Holland, 1979.
	7	F. L. Bauer, Programming as an evolutionary process, Proceedings of the 2nd international conference on Software engineering, p.223-234, October 13-15, 1976, San Francisco, California, United States
	8	Bauer, F.L., Bray, M., Partsch, H., Pepper, P. et al. Report on a Wide Spectrum Language for Program Specification and Development. Tech. Rep. TUM-181O4, Technische Universitaet Muenchen, May 1981.
	9	Bray, M., and Pepper, P. Program development as a formal activity. IEEE Trans. Soflw. Eng. 1 (January 1981), 14-22.
	10	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]
	11	Caine, S.H., and Gordon, E,K. PDL--a tool for software development. In Proc. National Computer Conference, AFIPS, 1975.
	12	Cameron, R.D., and Ito, M.R. Grammar-based definition of meta-programming systems. University of British Columbia, Vancouver, January 1982.
	13	Cheatham, T.E., Holloway, G.H., and Townley, J.A. Symbolic evaluation and the analysis of programs. IEEE Trans. Soft. Eng. S, 4 (July 1979), 4o2-417.
	14	Thomas E. Cheatham, Jr. , Glenn H. Holloway , Judy A. Townley, Program refinement by transformation, Proceedings of the 5th international conference on Software engineering, p.430-437, March 09-12, 1981, San Diego, California, United States
	15	Wellington Yu Chiu, Structure comparison and semantic interpretation of differences, 1981
	16	Darlington, J., and Feather, M. A Transformational Approach to Modification. Tech. Rep. 80/3, Imperial College, London, 1979.
	17	Darlington, J. The structured description of algorithm derivations. Algorithmic Languages: Proc IFIP TC-2 International Symposium, 1982.
	18	Deutsch, L. P. An Interactive Program Verifier. Ph.D. Th., University of California, Berkeley, June 1973.
	19	Edsger Wybe Dijkstra, A Discipline of Programming, Prentice Hall PTR, Upper Saddle River, NJ, 1997
	20	Feather, M.S. A System for Developing Programs by Transformation. Ph.D. Th., University of Edinburgh, Department of Artificial Intelligence, 1979.
	21	Feiler, P.H., and Medina-More, R. An Incremental Programming Environment. Carnegie-Mellon University, April 1980.
	22	Fickas, S. Automatic goal-directed pro, gram transformation. Proc. 1st Annual Nat. Conf. Artif. Intell., The American Association for Artificial Intelligence, 1980, pp. 68-70.
	23	Susan L. Gerhart, Knowledge about programs: A model and case study, Proceedings of the international conference on Reliable software, p.88-95, April 21-23, 1975, Los Angeles, California
	24	Gerhart, S.L., et al. An overview of Affirm: A specification and verification system. Proceedings IFIP 80, Australia, October, 1980, pp. 343- 348.
	25	Charles Matthew Geschke, Global program optimizations., 1973
	26	M. Gordon , R. Milner , L. Morris , M. Newey , C. Wadsworth, A Metalanguage for interactive proof in LCF, Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.119-130, January 23-25, 1978, Tucson, Arizona [doi>10.1145/512760.512773]
	27	Griss, C., Griss, M., and Marti, J. META/LISP. T~eh. Rept. Operating Note No. 24, University of Utah, Utah Computational Physics Group, 1976.
	28	Habermann, A.N. An overview of the Gandalf project. In CMU Computer Science Research Review 1978-79, Carnegie-Mellon University, 1980.
	29	Donzeau-Gouge, V., Huet, G., Kahn, G., Long, B., and Levy, J.J. A structure-oriented program editor: A first step towards computer assisted programming. International Computing Symposium, 1975, 1975, pp. 113-120.
	30	Dennis Francis Kibler, Power, efficiency, and correctness of transformation systems., 1978
	31	Knuth, D.E., and Bendix, P.B., Simple word problems in universal algebras. In Leech, J., Ed., Computational Problems in Abstract Algebra, New York: Pergamon Press, 1970, pp. 263-297.
	32	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]
	33	Low, J.R. Automatic Coding: Choice of Data Structures. Tech. Rep. 1, University of Rochester, Computer Science Department, 1974.
	34	James Milne Neighbors, Software construction using components, 1980
	35	Partsch, H., and R. Steinbrueggen. A comprehensive survey on program transformation systems. Tech. Rep. TUM 18108, Technische Universitaet Muenchen, July, 1981.
	36	Rich, C. A formal representation for plans in the Programmer's Apprentice. In Proc. 7th Int. Joint Conf. Artif. Intell,, August 1981.
	37	Schwartz, J.T. On Programming, An Interim Report on the SETL Project. New York University, Courant Institute of Mathematical Sciences, June 1975.
	38	Michel Sintzoff, Suggestions for Composing and Specifying Program Design Decisions, Proceedings of the Fourth 'Colloque International sur la Programmation' on International Symposium on Programming, p.311-326, April 22-24, 1980
	39	Thomas A. Standish , Dennis F. Kibler , James M. Neighbors, Improving and refining programs by program manipulation, Proceedings of the annual conference, p.509-516, October 20-22, 1976, Houston, Texas, United States [doi>10.1145/800191.805652]
	40	Swartout, W.R. Explaining and justifying expert consulting programs. Proc. 7th Int. Joint Conf. Artif. lntell., August 1981.
	41	Tim Teitelbaum , Thomas Reps, The Cornell program synthesizer: a syntax-directed programming environment, Communications of the ACM, v.24 n.9, p.563-573, Sept. 1981 [doi>10.1145/358746.358755]
	42	Teitelman, W. Interlisp Reference Manual. Xerox Palo Alto Research Center, 1978.
	43	Waters, R.C. "The Programmer's apprentice: Knowledge based program editing." IEEE Trans. Soft Eng 8, 1 (January 1982), 1-12.
	44	Wile, D.S. POPART: Producer of Parsers and Related Tools, System Builder's Manual. USC/Information Sciences Institute, TM-82-21, 1982.
	45	William Allan Wulf , Richard K. Johnsson , Charles B. Weinstock , Steven O. Hobbs , Charles M. Geschke, The Design of an Optimizing Compiler, Elsevier Science Inc., New York, NY, 1975
	46	Yonke, M.D. A knowledgeable, language-independent system for program construction and modification. Tech. Rep. RR-75-42, USC/Information Sciences Institute, October 1975.

CITED BY 24

	David S Wile , Dennis G Allard, Worlds: an organizing structure for object-bases, ACM SIGPLAN Notices, v.22 n.1, p.16-26, January 1987
	Seapahn Meguerdichian , Farinaz Koushanfar , Advait Morge , Dusan Petranovic , Miodrag Potkonjak, MetaCores: design and optimization techniques, Proceedings of the 38th conference on Design automation, p.585-590, June 2001, Las Vegas, Nevada, United States
	Jens Palsberg , Cun Xiao , Karl Lieberherr, Efficient implementation of adaptive software, ACM Transactions on Programming Languages and Systems (TOPLAS), v.17 n.2, p.264-292, March 1995
	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
	Martin S. Feather, Language support for the specification and development of composite systems, ACM Transactions on Programming Languages and Systems (TOPLAS), v.9 n.2, p.198-234, April 1987
	Stuart Shapiro, Splitting the Difference: The Historical Necessity of Synthesis in Software Engineering, IEEE Annals of the History of Computing, v.19 n.1, p.20-54, January 1997
	Pankaj K. Garg , Sanjay Bhansali, Process programming by hindsight, Proceedings of the 14th international conference on Software engineering, p.280-293, May 11-15, 1992, Melbourne, Australia
	Allen Goldberg, Reusing software developments, ACM SIGSOFT Software Engineering Notes, v.15 n.6, p.107-119, Dec. 1990
	Ira D. Baxter, Design maintenance systems, Communications of the ACM, v.35 n.4, p.73-89, April 1992
	Rainer Brück, Migration: a model for design by modification, Proceedings of the 1993 ACM/SIGAPP symposium on Applied computing: states of the art and practice, p.71-76, February 14-16, 1993, Indianapolis, Indiana, United States
	Anthony Finkelstein, Modeling the software process: “not waving but drowning” (panel session): representation schemes for modelling software development, Proceedings of the 11th international conference on Software engineering, p.402-404, May 1989, Pittsburgh, Pennsylvania, United States
	A. Finkelstein , H. Fuks, Multiparty specification, ACM SIGSOFT Software Engineering Notes, v.14 n.3, p.185-195, May 1989
	D. Barstow, Artificial intelligence and software engineering, Proceedings of the 9th international conference on Software Engineering, p.200-211, March 1987, Monterey, California, United States
	W. L. Johnson , M. Feather, Building an evolution transformation library, Proceedings of the 12th international conference on Software engineering, p.238-248, March 26-30, 1990, Nice, France
	C. Potts , G. Bruns, Recording the reasons for design decisions, Proceedings of the 10th international conference on Software engineering, p.418-427, April 11-15, 1988, Singapore
	Ulrik Jørring , William L. Scherlis, Compilers and staging transformations, Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.86-96, January 01, 1986, St. Petersburg Beach, Florida
	Prem Devanbu, On 'A Framework for Source Code Search Using Program Patterns', IEEE Transactions on Software Engineering, v.21 n.12, p.1009-1010, December 1995
	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
	W. N. Robinson, Integrating multiple specifications using domain goals, ACM SIGSOFT Software Engineering Notes, v.14 n.3, p.219-226, May 1989
	Saeko Matsuura , Hironobu Kuruma , Shinichi Honiden, EVA: A Flexible Programming Method for Evolving Systems, IEEE Transactions on Software Engineering, v.23 n.5, p.296-313, May 1997
	Martin S. Feather, Constructing Specifications by Combining Parallel Elaborations, IEEE Transactions on Software Engineering, v.15 n.2, p.198-208, February 1989
	D. R. Smith, KIDS: A Semiautomatic Program Development System, IEEE Transactions on Software Engineering, v.16 n.9, p.1024-1043, September 1990
	Nachum Dershowitz, Program abstraction and instantiation, ACM Transactions on Programming Languages and Systems (TOPLAS), v.7 n.3, p.446-477, July 1985
	Alexander Egyed , David S. Wile, Support for Managing Design-Time Decisions, IEEE Transactions on Software Engineering, v.32 n.5, p.299-314, May 2006