article

Free access

Program developments: formal explanations of implementations

Author:

David S. WileAuthors Info & Claims

Communications of the ACM, Volume 26, Issue 11

Pages 902 - 911

https://doi.org/10.1145/182.358443

Published: 01 November 1983 Publication History

PDF eReader

References

[1]

Allen, F.E. Bibliography on program optimization. Tech. Rep. RC 5767, IBM Research, Yorktown Heights, New York, 1975.

Google Scholar

[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.

Digital Library

Google Scholar

[3]

Balzer, R,M. EXDAMS--extendable debugging and monitoring system. Spring Joint Computer Conference, IFIP, 1969, pp. 567-580.

Google Scholar

[4]

Balzer, R.M. Language-independent programmer's interface. Tech. Rep. RR-73-15, USC/Information Sciences Institute, Marina del Ray, California, 1973.

Google Scholar

[5]

Balzer, R., Goldman, N., and Wile, D. On the transformational implementation approach to programming. Proc. 2nd International Conf. Softw. Eng., 1976, pp. 337-343.

Digital Library

Google Scholar

[6]

Barstow, D.R., Knowledge-based Program Construction. Elsevier, North Holland, 1979.

Google Scholar

[7]

Bauer, F.L. Programming as an evolutionary process. Proc. 2nd International Conf. Sofiw. Eng., 1976, pp. 223-234.

Digital Library

Google Scholar

[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.

Google Scholar

[9]

Bray, M., and Pepper, P. Program development as a formal activity. IEEE Trans. Soflw. Eng. 1 (January 1981), 14-22.

Digital Library

Google Scholar

[10]

Burstall, R.M., and Darlington, J. A transformation system for developing recursive programs. J. ACM 24, 1 (1977), 44-67.

Digital Library

Google Scholar

[11]

Caine, S.H., and Gordon, E,K. PDL--a tool for software development. In Proc. National Computer Conference, AFIPS, 1975.

Google Scholar

[12]

Cameron, R.D., and Ito, M.R. Grammar-based definition of meta-programming systems. University of British Columbia, Vancouver, January 1982.

Google Scholar

[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.

Google Scholar

[14]

Cheatham, T.E., Holloway, G.H., and Townley, J.A. Program refinement by transformation. Proc. 5th Int. Conf. Softw. Eng., IEEE, March 1981, pp. 430-437.

Digital Library

Google Scholar

[15]

Chiu, W. Structure Comparison and Semantic Interpretation of Differences. Ph.D. Th., University of Southern California, 1981.

Digital Library

Google Scholar

[16]

Darlington, J., and Feather, M. A Transformational Approach to Modification. Tech. Rep. 80/3, Imperial College, London, 1979.

Google Scholar

[17]

Darlington, J. The structured description of algorithm derivations. Algorithmic Languages: Proc IFIP TC-2 International Symposium, 1982.

Google Scholar

[18]

Deutsch, L. P. An Interactive Program Verifier. Ph.D. Th., University of California, Berkeley, June 1973.

Google Scholar

[19]

Dijkstra, E.W., A Discipline of Programming. Englewood Cliffs, New Jersey: Prentice-Hall, 1976.

Digital Library

Google Scholar

[20]

Feather, M.S. A System for Developing Programs by Transformation. Ph.D. Th., University of Edinburgh, Department of Artificial Intelligence, 1979.

Google Scholar

[21]

Feiler, P.H., and Medina-More, R. An Incremental Programming Environment. Carnegie-Mellon University, April 1980.

Google Scholar

[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.

Google Scholar

[23]

Gerhart, S.L. Knowledge about programs: A model and a case study. Proc. Int. Conf. Reliable Soflw., IEEE, 1975, pp. 88-95.

Digital Library

Google Scholar

[24]

Gerhart, S.L., et al. An overview of Affirm: A specification and verification system. Proceedings IFIP 80, Australia, October, 1980, pp. 343- 348.

Google Scholar

[25]

Geschke, C.M. Global Program Optimizations. Ph.D. Th., Carnegie- Mellon University, 1972.

Digital Library

Google Scholar

[26]

Gordon, M., Milner, R. et al, A metalanguage for interactive proof in LCF. In Proc. Conference Symp. Principles of Programming Languages, 1978, pp. 119-130.

Digital Library

Google Scholar

[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.

Google Scholar

[28]

Habermann, A.N. An overview of the Gandalf project. In CMU Computer Science Research Review 1978-79, Carnegie-Mellon University, 1980.

Google Scholar

[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.

Google Scholar

[30]

Kibler, D.F. Power, Efficiency, and Correctness of Transformation Systems. Ph.D. Th., University of California, Irvine, 1978.

Digital Library

Google Scholar

[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.

Google Scholar

[32]

Loveman, D.B. Program improvement by source to source transformation. I. ACM 24, 1 (Jan. 1977), 121-145.

Digital Library

Google Scholar

[33]

Low, J.R. Automatic Coding: Choice of Data Structures. Tech. Rep. 1, University of Rochester, Computer Science Department, 1974.

Crossref

Google Scholar

[34]

Neighbors, J.M. Software Construction Using Components. Ph.D, Th., University of California at lrvine, 1980.

Digital Library

Google Scholar

[35]

Partsch, H., and R. Steinbrueggen. A comprehensive survey on program transformation systems. Tech. Rep. TUM 18108, Technische Universitaet Muenchen, July, 1981.

Google Scholar

[36]

Rich, C. A formal representation for plans in the Programmer's Apprentice. In Proc. 7th Int. Joint Conf. Artif. Intell, August 1981.

Google Scholar

[37]

Schwartz, J.T. On Programming, An Interim Report on the SETL Project. New York University, Courant Institute of Mathematical Sciences, June 1975.

Google Scholar

[38]

Sintzoff, M. Suggestions for composing and specifying program design decisions. In 4th Int. Syrup. Progr., Paris, April 1980.

Digital Library

Google Scholar

[39]

Standish, T.A., Harriman, D.C., Kibler, D.F., and Neighbors, J.M. Improving and refining programs by program manipulation. ACM National Conference Proceedings, ACM, 1976, pp. 509-516.

Digital Library

Google Scholar

[40]

Swartout, W.R. Explaining and justifying expert consulting programs. Proc. 7th Int. Joint Conf. Artif. lntell., August 1981.

Google Scholar

[41]

Teitelbaum, T., and Reps, R. The Cornell program synthesizer: A syntax-directed programming environment. Comm. ACM 24, 9 (September 1981), 563-573.

Digital Library

Google Scholar

[42]

Teitelman, W. Interlisp Reference Manual. Xerox Palo Alto Research Center, 1978.

Google Scholar

[43]

Waters, R.C. "The Programmer's apprentice: Knowledge based program editing." IEEE Trans. Soft Eng 8, 1 (January 1982), 1-12.

Digital Library

Google Scholar

[44]

Wile, D.S. POPART: Producer of Parsers and Related Tools, System Builder's Manual. USC/Information Sciences Institute, TM-82-21, 1982.

Google Scholar

[45]

Wulf, W.A., Johnsson, R.K., Weinstock, C.B., Hobbs, S.O., and Geschke, C.M. The Design of an Optimizing Compiler. American Elsevier, New York, 1975.

Digital Library

Google Scholar

[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.

Crossref

Google Scholar

Cited By

View all

Jin L(2023)TrapML — A metalanguage for transformational programmingJournal of Computer Science and Technology10.1007/BF029452915:4(388-399)Online publication date: 22-Mar-2023
https://dl.acm.org/doi/10.1007/BF02945291
Hall JRapanotti L(2012)Software engineering as the design theoretic transformation of software problemsInnovations in Systems and Software Engineering10.1007/s11334-011-0171-28:3(175-193)Online publication date: 1-Sep-2012
https://dl.acm.org/doi/10.1007/s11334-011-0171-2
Durieux JSaint-James E(2011)Une charpente de semi-unificationRAIRO - Theoretical Informatics and Applications10.1051/ita/198822020173122:2(173-226)Online publication date: 8-Jan-2011
https://doi.org/10.1051/ita/1988220201731
Show More Cited By

Index Terms

Program developments: formal explanations of implementations
1. Software and its engineering
  1. Software notations and tools
2. Theory of computation
  1. Formal languages and automata theory
    1. Grammars and context-free languages

Recommendations

Formalization in program development
Abstract
The concepts of specification and formalization, as relevant to the development of programs, are introduced and discussed. It is found that certain arguments given for using particular formal modes of expression in developing and proving programs ...
Program Synthesis from Formal Requirements Specifications Using APTS

Formal specifications of software systems are extremely useful because they can be rigorously analyzed, verified, and validated, giving high confidence that the specification captures the desired behavior. To transfer this confidence to the actual ...
Incrementalization across object abstraction
OOPSLA '05: Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications

Object abstraction supports the separation of what operations are provided by systems and components from how the operations are implemented, and is essential in enabling the construction of complex systems from components. Unfortunately, clear and ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

Communications of the ACM Volume 26, Issue 11

Nov. 1983

203 pages

ISSN:0001-0782

EISSN:1557-7317

DOI:10.1145/182

Editor:
Peter J. Denning
NASA Ames Research Center, Moffett Field, CA

Issue’s Table of Contents

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 November 1983

Published in CACM Volume 26, Issue 11

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

98
Total Citations
View Citations
460
Total Downloads

Downloads (Last 12 months)86
Downloads (Last 6 weeks)15

Reflects downloads up to 10 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Jin L(2023)TrapML — A metalanguage for transformational programmingJournal of Computer Science and Technology10.1007/BF029452915:4(388-399)Online publication date: 22-Mar-2023
https://dl.acm.org/doi/10.1007/BF02945291
Hall JRapanotti L(2012)Software engineering as the design theoretic transformation of software problemsInnovations in Systems and Software Engineering10.1007/s11334-011-0171-28:3(175-193)Online publication date: 1-Sep-2012
https://dl.acm.org/doi/10.1007/s11334-011-0171-2
Durieux JSaint-James E(2011)Une charpente de semi-unificationRAIRO - Theoretical Informatics and Applications10.1051/ita/198822020173122:2(173-226)Online publication date: 8-Jan-2011
https://doi.org/10.1051/ita/1988220201731
Hall JRapanotti LJackson M(2008)Problem Oriented Software EngineeringIEEE Transactions on Software Engineering10.1109/TSE.2007.7076934:2(226-241)Online publication date: 1-Mar-2008
https://dl.acm.org/doi/10.1109/TSE.2007.70769
Egyed ALetier EFinkelstein A(2008)Generating and Evaluating Choices for Fixing Inconsistencies in UML Design ModelsProceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering10.1109/ASE.2008.20(99-108)Online publication date: 15-Sep-2008
https://dl.acm.org/doi/10.1109/ASE.2008.20
Wile D(2008)Program Transformations: Some Lessons from the 1980sAutomatic Program Development10.1007/978-1-4020-6585-9_18(287-295)Online publication date: 2008
https://doi.org/10.1007/978-1-4020-6585-9_18
Wile D(2008)Program Transformations: Some Lessons from the 1980sAutomatic Program Development10.1007/978-1-4020-6585-9_17(264-272)Online publication date: 2008
https://doi.org/10.1007/978-1-4020-6585-9_17
Hall JRapanotti LJackson M(2007)Problem Oriented Software EngineeringProceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods10.1109/SEFM.2007.29(15-24)Online publication date: 10-Sep-2007
https://dl.acm.org/doi/10.1109/SEFM.2007.29
Egyed AWile D(2006)Support for Managing Design-Time DecisionsIEEE Transactions on Software Engineering10.1109/TSE.2006.4832:5(299-314)Online publication date: 1-May-2006
https://dl.acm.org/doi/10.1109/TSE.2006.48
Potkonjak MRabaey J(2006)Algorithm selectionIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems10.1109/43.75906518:5(524-532)Online publication date: 1-Nov-2006
https://dl.acm.org/doi/10.1109/43.759065
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

References

Cited By

Index Terms

Recommendations

Formalization in program development

Program Synthesis from Formal Requirements Specifications Using APTS

Incrementalization across object abstraction

Comments

Information

Published In

Publisher

Publication History

Permissions

Check for updates

Author Tags

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Get Access

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations