Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001) (2001)
San Diego, California
Nov. 26, 2001 to Nov. 29, 2001
Martin Erwig , Oregon State University
We propose to view programs as abstract data types and to perform program changes by applying well-defined operations on programs. The ADT view of programs goes beyond the approach of syntax-directed editors and proof-editors since it is possible to combine basic update oper-ations into larger update programs that can be stored and reused. It is crucial for the design of update operations and their composition to know which properties they can preserve when they are applied to a program.<div></div> In this paper we argue in favor of the abstract data type view of programs, and present a general framework in which different programming languages, update languages, and properties can be studied.
M. Erwig, "Programs Are Abstract Data Types," Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001)(ASE), San Diego, California, 2001, pp. 400.