Advertisement
Published in:
2013 | OriginalPaper | Chapter
How, Then, Should We Program?
Author : James Noble
Published in: Aliasing in Object-Oriented Programming. Types, Analysis and Verification
Publisher: Springer Berlin Heidelberg
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
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.