The synthesizer generator: a system for constructing language-based editors
The synthesizer generator: a system for constructing language-based editors
SDE 3 Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
Building program optimizers with rewriting strategies
ICFP '98 Proceedings of the third ACM SIGPLAN international conference on Functional programming
An Editor for Helping Novices to Learn Standard ML
PLILP '97 Proceedings of the9th International Symposium on Programming Languages: Implementations, Logics, and Programs: Including a Special Trach on Declarative Programming Languages in Education
A rule-based language for programming software updates
Proceedings of the 2002 ACM SIGPLAN workshop on Rule-based programming
A rule-based language for programming software updates
ACM SIGPLAN Notices
An update calculus for expressing type-safe program updates
Science of Computer Programming
ICCOMP'08 Proceedings of the 12th WSEAS international conference on Computers
ESOP'03 Proceedings of the 12th European conference on Programming
| Hi-index | 0.00 |
We propose to view programs as abstract data types andto perform program changes by applying well-defined operationson programs. The ADT view of programs goesbeyond the approach of syntax-directed editors and proof-editorssince it is possible to combine basic update oper-ationsinto larger update programs that can be stored andreused. It is crucial for the design of update operations andtheir composition to know which properties they can preservewhen they are applied to a program.In this paper we argue in favor of the abstract datatype view of programs, and present a general framework inwhich different programming languages, update languages,and properties can be studied.