archives

A Foundation for the Model Theory of Abstract Data Types with Mutation and Aliasing (preliminary version)


Home 

About 

Browse 

Search 

Register 

Subscriptions 

Deposit Papers 

Help
    

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.

Full text available as:Postscript
Adobe PDF

Abstract

A Foundation for the Model Theory of Abstract Data Types
with Mutation and Aliasing
(preliminary version)
by
Gary T. Leavens and Krishna Kishore Dhara
Abstract
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.

Subjects:All uncategorized technical reports
ID code:00000038
Deposited by:Staff Account on 01 November 1992



Contact site administrator at: ssg@cs.iastate.edu