author = {Wolfgang Schreiner},
title = {{Supporting the Design Pattern "Object Structures as Plain Values"}},
language = {english},
abstract = {We sketch the principles of a type system for an object-oriented language such as Java which allows to statically ensure that an object structure is not modified by a method call, if the primary reference of that object structure is stored in a local variable of the method and this variable does not syntactically occur in the call. The object structure thus behaves like a “plain value”, say a machine number, stored in a local variable in that no hidden side-effects can change it. We call the corresponding design pattern “object structures as plain values”. The model is presented in an informal style; its validity still remains to be shown by a formal definition and soundness proof.},
year = {2009},
month = {September},
institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria},
sponsor = {Supported by the Austrian-Hungarian Scientific/Technical Cooperation Contract HU 13/2007},
length = {16}