Aliasing in object-oriented programming types, analysis and verification ; [International Workshop on Aliasing, Confinement and Ownership 2011]

Gespeichert in:

Bibliographische Detailangaben
Weitere Verfasser:	Clarke, Dave (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Berlin, Heidelberg u.a. Springer 2013
Schriftenreihe:	Lecture notes in computer science 7850 : State-of-the-art-survey
Schlagworte:	Object-oriented programming (Computer science) > Konferenzschrift > Aufsatzsammlung > Objektorientierte Programmierung > Objektorientierte Programmiersprache > Aliasanalyse > Programmverifikation
Online Zugang:	Inhaltstext Inhaltsverzeichnis Cover
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!