Cliché-based program editors

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Cliché-based program editors

Full text

Pdf (3.22 MB)

Source

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

Pages: 102 - 150

Year of Publication: 1994

ISSN:0164-0925

Author

Richard C. Waters

Mitsubishi Electric Labs, Cambridge, MA

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 3, Downloads (12 Months): 24, Citation Count: 2

Additional Information:

references cited by index terms review 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/174625.174628 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	Alfred V. Aho , John E. Hopcroft, The Design and Analysis of Computer Algorithms, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1974
	2	ARANGO, O , AND FREEMAN, P. 1985. Modeling knowledge for software development In Proceedings of the 3rd International ~~orkshop on Software Speciticatlons and Design (London, England). 63-66.
	3	ARDIS, M A. 1987. Template-Mode for GNU Emacs. Draft documentation, Wang Institute, Tyngsbc~ro, Mass.
	4	Rolf Bahlke , Gregor Snelting, The PSG system: from formal language definitions to interactive programming environments, ACM Transactions on Programming Languages and Systems (TOPLAS), v.8 n.4, p.547-576, Oct. 1986 [doi>10.1145/6465.20890]
	5	BILOS, R. 1987. A token-based synt ax sensitive editor. R ep. LiTH-IDA-R-87-02, L~nkSping Umv, Linkoping, Sweden.
	6	Pierpaolo Degano , Stefano Mannucci , Bruno Mojana, Efficient incremental LR parsing for syntax-directed editors, ACM Transactions on Programming Languages and Systems (TOPLAS), v.10 n.3, p.345-373, July 1988 [doi>10.1145/44501.214503]
	7	DONZEAt~-GOUGE, V , HUET, G., I~AHN G., LANG, B., AND LI~VY J.J. 1975. A structure oriented program editor: A first step towards computer asblsted programming. In Proceedings of the Internat~onaI Computing Symposium, (Antibes, France).
	8	GARI,AN, D. 1985. Flexible unparsmg in a structure editing environment Rep CMU-CS-85-129, Carnegie-Mellon Univ., Pittsbllrgh Penn
	9	HARANDI, IVI T., AND YOUNG, F H 1985 Template based specification and design In Proceedings of the 3rd International "t~Zorkshop on Software Specifications and Design (London, England) 94-97.
	10	JEINNt~N, N ~ AND WIRTH, N. 198.5. Pascal (,)'~er 2vlanual and Report. Sprlnger-Verhg, New Yarl<
	11	S. Katz , C. A. Richter , K.-S. The, PARIS: a system for reusing partially interpreted schemas, Software reusability: vol. 1, concepts and models, ACM Press, New York, NY, 1989 [doi>10.1145/73103.73113]
	12	B. W. Kernighan , D. M. Ritchie, The C programming language, Prentice-Hall, Inc., Upper Saddle River, NJ, 1978
	13	Donald E. Knuth, The Art of Computer Programming Volumes 1-3 Boxed Set, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1998
	14	Donald E. Knuth, The art of computer programming, volume 2 (3rd ed.): seminumerical algorithms, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1997
	15	Donald E. Knuth, The art of computer programming, volume 1 (3rd ed.): fundamental algorithms, Addison Wesley Longman Publishing Co., Inc., Redwood City, CA, 1997
	16	LAVI, J.Z. 1985 Improving the embedded computer systems software process using a generic model. In Proceedings of the 3rd International Workshop on Software Specit~catlons and Design (London, England). 127-129.
	17	A Lomax, The suitability of language syntaxes for program generation, ACM SIGPLAN Notices, v.22 n.3, p.95-101, March 1987 [doi>10.1145/24697.24707]
	18	MARK OF THE UNICORN INC. 1981. Mince. Mark of the Unicorn Inc., Cambridge Mass.
	19	MEDINA-MORA, R., AND FEILER, P. 1981. An incremental programming environment. IEEE Trans. Softw. Eng. 7, 5 (Sept.), 472-482.
	20	MELESE, B. 1984. Structured editing--Unstructured editing, cooperation and complementar-ity. In Proceedings of the 2nd Software Engineering Conference (Nice, France). 48-53.
	21	MINSKY, M.L. 1975. A framework for representing knowledge. In The Psychology of Computer Vision, Winston, P.H., Ed. McGraw-Hill, New York.
	22	R. Prieto-Diaz, Classification of reusable modules, Software reusability: vol. 1, concepts and models, ACM Press, New York, NY, 1989 [doi>10.1145/73103.73107]
	23	Charles Rich, Inspection Methods in Programming: Cliches and Plans, Massachusetts Institute of Technology, Cambridge, MA, 1987
	24	Charles Rich , Richard C. Waters, The programmer's apprentice, ACM Press, New York, NY, 1990
	25	C. Rich , R. C. Waters, Formalizing reusable software components in the programmer's apprentice, Software reusability: vol. 2, applications and experience, ACM Press, New York, NY, 1989 [doi>10.1145/75722.75737]
	26	Charles Rich , Linda M. Wills, Recognizing a Program's Design: A Graph-Parsing Approach, IEEE Software, v.7 n.1, p.82-89, January 1990 [doi>10.1109/52.43053]
	27	SCHANK, R.C., AND ABELSON, R.P 1977. Scripts, PIans, Goals, and Understanding. Lawrence Erlbaum, Hillsdale, N.J.
	28	John J. Shilling, Fred: a program development tool, Proceedings of the second conference on Software development tools, techniques, and alternatives, p.172-180, December 1985, San Francisco, California, United States
	29	SOLOWAY, E., AND ENRLICH, K. 1984. Empirical studies of programming know~edge. IEEE Trans. Softw. Eng. I0, 5 (Sept.), 595-609.
	30	Richard M. Stallman, GNU EMACS Manual, Free Software Foundation, 2000
	31	Richard M. Stallman, EMACS the extensible, customizable self-documenting display editor, Proceedings of the ACM SIGPLAN SIGOA symposium on Text manipulation, p.147-156, June 08-10, 1981, Portland, Oregon, United States
	32	Peter J. Sterpe, TEMPEST: A Template Editor for Structured Text, Massachusetts Institute of Technology, Cambridge, MA, 1985
	33	SYMBOLICS INC. 1984. Lisp Machine documentation (release 4). Symbolics Inc., Cambridge Mass.
	34	TAN, Y.M. 1987 Ace: A cliche-based program structure editor. Rep. MIT/AI/WP-294, Massachusetts Inst. of Technology, Cambridge Mass.
	35	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]
	36	TGS SYSTEMS INC. 1990. Prograph Technical Specitications. TGS Systems Inc., Halifax, N.S., Canada.
	37	UNILOCIC LTD. 1984. Scribe Document Production System, user manual. Unilogic Ltd., Pittsburgh Penn.
	38	Richard C. Waters, Automatic transformation of series expressions into loops, ACM Transactions on Programming Languages and Systems (TOPLAS), v.13 n.1, p.52-98, Jan. 1991 [doi>10.1145/114005.102806]
	39	WATERS, R.C. 1990 Pretty printing. In Common Lisp: The Language, 2nd Ed. Steele, G.L. Jr., Ed. Digital Press, Burlington, Mass. 748-769.
	40	Richard C. Waters, The programmer's apprentice: a session with KBEmacs, IEEE Transactions on Software Engineering, v.11 n.11, p.1296-1320, Nov. 1985 [doi>10.1109/TSE.1985.231880]
	41	Richard C. Waters, User Format Control in a LISP Prettyprinter, ACM Transactions on Programming Languages and Systems (TOPLAS), v.5 n.4, p.513-531, Oct. 1983 [doi>10.1145/69575.357225]
	42	Richard C. Waters, Program editors should not abandon text oriented commands, ACM SIGPLAN Notices, v.17 n.7, July 1982 [doi>10.1145/988376.988380]
	43	WILLS, L lVl. 1992. Automated program recognition bv graph parsing, R.ep. MIT/AI/TR-1358, Massachusetts Inst. of Technology, Cambridge Mass
	44	L. M. Wills, Automated program recognition: a feasibility demonstration, Artificial Intelligence, v.45 n.1-2, p.113-171, Sep. 1990 [doi>10.1016/0004-3702(90)90039-3]
	45	W. Yin , M. M. Tanik , D. Y. Y. Yun , T. J. Lee , A. G. Dale, Software reusability: a survey and a reusability experiment, Proceedings of the 1987 Fall Joint Computer Conference on Exploring technology: today and tomorrow, p.65-72, December 1987, Dallas, Texas, United States

CITED BY 2

	Arthur G. Duncan, Implementing internal program representations with Ada and Ada 9X, Proceedings of the conference on TRI-Ada '94, p.154-163, November 06-11, 1994, Baltimore, Maryland, United States
	António Menezes Leitão, Detection of Redundant Code Using R²D², Software Quality Control, v.12 n.4, p.361-382, December 2004

INDEX TERMS

Primary Classification:
D. Software
D.2 SOFTWARE ENGINEERING
D.2.3 Coding Tools and Techniques
Subjects: Program editors

General Terms:
Design, Experimentation

Keywords:
abstract syntax tree schemas, computer-aided software engineering (CASE), plan diagrams, reuse

REVIEW

"Paul W. Abrahams : Reviewer"

The idea behind this paper and much of Waters's other work is that the best way to understand and manipulate a program is to treat it as an assembly of algorithmic fragments called cliche´s. A cliche&ac more...

Collaborative Colleagues:

Richard C. Waters: colleagues

Adobe Acrobat

QuickTime

Windows Media Player

Real Player