Aliasing in object-oriented programming : types, analysis and verification /

Saved in:

Bibliographic Details
Imprint:	Berlin ; New York : Springer, ©2013.
Description:	1 online resource.
Language:	English
Series:	Lecture notes in computer science, 0302-9743 ; 7850 LNCS sublibrary. SL 2, Programming and software engineering Lecture notes in computer science ; 7850. LNCS sublibrary. SL 2, Programming and software engineering.
Subject:	Object-oriented programming languages. Object-oriented programming (Computer science) Object-oriented programming (Computer science) Object-oriented programming languages. Programming Languages. Software.
Format:	E-Resource Book
URL for this record:	http://pi.lib.uchicago.edu/1001/cat/bib/11078362

Hidden Bibliographic Details
Other authors / contributors:	Clarke, Dave, 1971- Noble, James, 1967- Wrigstad, Tobias.
ISBN:	9783642369469 3642369464 9783642369452
Digital file characteristics:	text file PDF
Notes:	Includes author index.
Summary:	This book presents a survey of the state-of-the-art on techniques for dealing with aliasing in object-oriented programming. It marks the 20th anniversary of the paper The Geneva Convention On The Treatment of Object Aliasing by John Hogg, Doug Lea, Alan Wills, Dennis de Champeaux and Richard Holt. The 22 revised papers were carefully reviewed to ensure the highest quality. The contributions are organized in topical sections on the Geneva convention, ownership, concurrency, alias analysis, controlling effects, verification, programming languages, and visions.
Other form:	Printed edition: 9783642369452
Standard no.:	10.1007/978-3-642-36946-9

Similar Items