Islands: aliasing protection in object-oriented languages
OOPSLA '91 Conference proceedings on Object-oriented programming systems, languages, and applications
An empirical study of list structure in Lisp
Communications of the ACM
ECCOP '98 Proceedings of the 12th European Conference on Object-Oriented Programming
Scale-free geometry in OO programs
Communications of the ACM - Adaptive complex enterprises
Hi-index | 0.00 |
Since the first papers on "Aliasing in Object-Oriented Programming" appeared, since the Geneva Convention on Aliasing, since the developments in Ownership Types, in Separation Logic, and all the other developments related in this volume, two competing dynamics can be seen underlying the research in this area. These dynamics are not unique to aliasing: indeed given sufficiently broad definitions, most computer science or software engineering research can be ascribed to one of these approaches, or perhaps lying somewhere between the two.