返回Google圖書搜尋

A Foundation for the Model Theory of Abstract Data Types with Mutation and Aliasing

其他書名	Preliminary Version
出版	Iowa State University, Department of Computer Science, 1992
URL	http://books.google.com.hk/books?id=lhBFGwAACAAJ&hl=&source=gbs_api

註釋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."