RISC RISC Research Institute for Symbolic Computation  
  • @techreport{RISC3895,
    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}