research-article

Comments on "Language Design for Program Manipulation"

Author:

W. G. GriswoldAuthors Info & Claims

IEEE Transactions on Software Engineering, Volume 20, Issue 3

Pages 218 - 219

https://doi.org/10.1109/32.268924

Published: 01 March 1994 Publication History

Publisher Site

Abstract

The paper by E.A.T. Merks et al. "Language design for program manipulation" identifies design principles for a procedural or object-oriented language whose programs will be easier to manipulate. However, it neglects to relate these design principles to existing, broader, design principles, and in some instances omits good examples of languages meeting their criteria. The author relates the new principles to more fundamental design principles, and provides the needed examples of languages meeting their criteria. Together these additions can better help designers of new programming languages that are amenable to manipulation.

References

[1]

{1} E. A. T. Merks, J. M. Dyck, and R. D. Cameron, "Language design for program manipulation," IEEE Trans. Software Eng., vol. 18, pp. 19-32, Jan. 1992.

Digital Library

Google Scholar

[2]

{2} W. G. Griswold, "Program Restructuring to Aid Software Maintenance," Ph.D. thesis, Univ. of Washington, Dept. of Comput. Sci. & Eng., Aug. 1991. (Tech. Rep. 91-08-04.)

Google Scholar

[3]

{3} W. G. Griswold and D. Notkin, "Automated assistance for program restructuring," ACM Trans. Software Eng. Methodol., vol. 2, pp. 228-269, July 1993.

Digital Library

Google Scholar

[4]

{4} E. A. T. Merks, "Acer: Manipulation principles applied to language design," Ph.D. thesis, Simon Fraser Univ., School of Comput. Sci., Burnaby, BC, Canada, Apr. 1992.

Digital Library

Google Scholar

[5]

{5} B. J. MacLennan, Principles of Programming Languages: Design, Evaluation, and Implementation, 2nd ed. New York: Holt, Rinehart, and Winston, 1987.

Digital Library

Google Scholar

[6]

{6} G. L. Steele, COMMON LISP. the Language, 2nd ed. Burlington, MA: Digital Press, 1991.

Digital Library

Google Scholar

[7]

{7} R. K. Dybvig, The Scheme Programming Language. Englewood Cliffs, NJ: Prentice-Hall, 1987.

Digital Library

Google Scholar

[8]

{8} S. Horwitz, J. Prins, and T. Reps, "Integrating noninterfering versions of programs," ACM Trans. Programming Lang. Syst., pp. 345-387, July 1989.

Digital Library

Google Scholar

[9]

{9} B. Stroustrup, The C++ Programming Language, 2nd ed. Reading, MA: Addison-Wesley, 1991.

Digital Library

Google Scholar

[10]

{10} U.S. Department of Defense, Reference Manual for the Ada Programming Language, Feb. 1983. ANSI/MIL-STD-1815A-1983.

Google Scholar

[11]

{11} B. Meyer, Object-Oriented Software Construction. Cambridge, UK: Prentice-Hall, 1988.

Digital Library

Google Scholar

Index Terms

Comments on "Language Design for Program Manipulation"
1. Theory of computation
  1. Logic

Index terms have been assigned to the content through auto-classification.

Recommendations

Programming Languages The First 25 Years

The programming language field is certainly one of the most important subfields of computer science. It is rich in concepts, theories, and practical developments. The present paper attempts to trace the 25 year development of programming languages by ...
Language Design for Program Manipulation

The design of procedural and object-oriented programming languages is considered with respect to how easily programs written in those languages can be formally manipulated. Current procedural languages such as Pascal, Modula-2 and Ada; generally support ...
PLCC: a programming language compiler compiler
SIGCSE '14: Proceedings of the 45th ACM technical symposium on Computer science education

This paper describes PLCC, a compiler-compiler tool to support courses in programming languages, compilers, and computational theory. This tool has proven to be useful for implementing interpreters, building compilers, and creating parsers for context-...

Comments

Information & Contributors

Information

Published In

cover image IEEE Transactions on Software Engineering

IEEE Transactions on Software Engineering Volume 20, Issue 3

March 1994

55 pages

ISSN:0098-5589

Issue’s Table of Contents

Publisher

IEEE Press

Publication History

Published: 01 March 1994

Author Tags

Qualifiers

Research-article

Index Terms

Recommendations

Programming Languages The First 25 Years

Language Design for Program Manipulation

PLCC: a programming language compiler compiler

Comments

Published In

Publisher

Publication History

Author Tags

Qualifiers

Other Metrics

Article Metrics

Other Metrics

Abstract

References

Index Terms

Recommendations

Programming Languages The First 25 Years

Language Design for Program Manipulation

PLCC: a programming language compiler compiler

Comments

Information

Published In

Publisher

Publication History

Author Tags

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

View options

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations