|Smart textual editors email@example.com (1996-07-15)|
|Re: Smart textual editors firstname.lastname@example.org (1996-07-18)|
|Re: Smart textual editors email@example.com (1996-07-20)|
|Re: Smart textual editors firstname.lastname@example.org (1996-07-20)|
|Re: Smart textual editors email@example.com (Mihai Christodorescu) (1996-07-20)|
|Re: Smart textual editors firstname.lastname@example.org (1996-07-22)|
|Re: Smart textual editors email@example.com (Nick Geovanis) (1996-07-23)|
|Re: Smart textual editors firstname.lastname@example.org (Mihai Christodorescu) (1996-07-23)|
|Paper on Cliche Based Editors (Was Re: Smart textual editors) email@example.com (1996-07-24)|
|Re: Smart textual editors firstname.lastname@example.org (1996-07-24)|
|Re: Smart textual editors email@example.com (Darius Blasband) (1996-07-24)|
|Re: Smart textual editors firstname.lastname@example.org (1996-07-26)|
|[3 later articles]|
|From:||email@example.com (Bruce McAdam)|
|Date:||22 Jul 1996 11:00:53 -0400|
|Organization:||Department of Computer Science, University of Edinburgh|
|References:||96-07-103 96-07-115 96-07-134|
Part of the Knowledge-Based Systems course I did last year was on
KB-Software-Engineering in particular editors called Cliche-Based-Editors.
We studied an extension to Emacs (kbemacs) which could do high level
manipulation of code and paste standard `cliches' into programs and expand
these using other cliches or user provided code to fill in gaps.
Constraints given in a logic based syntax allowed the program to suggest
what code to use and to help ensure the user's code is correct.
The system was quite powerful but extremely slow to use (I have never
actually tried to run it though). I also thought that this style of editor
was a bad idea and looked like it would encourage sloppy programming -- I'd
much rather have a language designed for provable code with a decent
I think I have a paper called `Cliche Based Editing' somewhere, I'll post a
reference if I can find it.
Bruce J. McAdam
Computer Science Undergraduate
The University of Edinburgh
Return to the
Search the comp.compilers archives again.