Abstract | ||
---|---|---|
Exporting objects by reference can be problematic since the receivers can use the received reference to perform state changing operations on the referenced object. This can lead to errors if the referenced object is a subobject of a compound object not anticipating the change. We propose an extension of a type system with a read-only construct that can be used to control access to state changing methods. We formulate and prove a read-only theorem for read-only references stating that a read-only reference cannot be used to perform operations that change its referenced object state. |
Year | DOI | Venue |
---|---|---|
2002 | 10.1007/3-540-45719-4_31 | AMAST |
Keywords | Field | DocType |
read-only theorem,referenced object,read-only references,exporting object,referenced object state,read-only reference,type system,computer science | Programming language,Object-oriented programming,Method,Computer science,Theoretical computer science,Subobject,Access control,Object (computer science),Formal methods | Conference |
ISBN | Citations | PageRank |
3-540-44144-1 | 2 | 0.41 |
References | Authors | |
7 | 1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Mats Skoglund | 1 | 242 | 10.16 |