Aliasing in Object-Oriented Programming. Types, Analysis and Verification

Aliasing in Object-Oriented Programming. Types, Analysis and Verification

Aliasing in Object-Oriented Programming. Types, Analysis and Verification

 
Volume:

Author(s):
Dave Clarke, James Noble, Tobias Wrigstad (auth.), Dave Clarke, James Noble, Tobias Wrigstad (eds.)

Series:
Lecture Notes in Computer Science 7850
Periodical:
 

Publisher:
Springer-Verlag Berlin Heidelberg
City:
 

Year:
2013
Edition:
1

Language:
English
Pages (biblio ech):
515521

ISBN:
978-3-642-36945-2, 978-3-642-36946-9
ID:
966798

Time added:
2013-08-01 07:00:00
Time modified:
2016-03-20 10:50:50

Library:
 
Library issue:
 

Size:
7 MB (6832999 bytes)
Extension:
pdf

…