Leavens, Gary T. and Dhara, Krishna K. (1992) A Foundation for the Model Theory of Abstract Data Types with Mutation and Aliasing (preliminary version). Technical Report TR92-35, Department of Computer Science, Iowa State University.
A Foundation for the Model Theory of Abstract Data Types
with Mutation and Aliasing
Gary T. Leavens and Krishna Kishore Dhara
To aid in understanding object-oriented programming languages, we
present some fundamentals of model theory for languages with mutable
abstract data types and aliasing. Our semantics for such languages is
parameterized by an algebraic model of all the abstract data types
involved in the program, including types with mutable objects. We
give an algebraic characterization of simulation between states of
such algebraic models. We present a definition of aliasing that is
based on the observable behavior of objects.
Contact site administrator at: email@example.com