TU Darmstadt / ULB / TUbiblio

Efficient hybrid typestate analysis by determining continuation-equivalent states

Bodden, Eric :
Efficient hybrid typestate analysis by determining continuation-equivalent states.
[Online-Edition: http://dx.doi.org/10.1145/1806799.1806805]
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - ICSE '10
[ Konferenzveröffentlichung] , (2010)

Offizielle URL: http://dx.doi.org/10.1145/1806799.1806805
Typ des Eintrags: Konferenzveröffentlichung
Erschienen: 2010
Autor(en): Bodden, Eric
Titel: Efficient hybrid typestate analysis by determining continuation-equivalent states
Sprache: Englisch
Buchtitel: Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - ICSE '10
Band: 1
Fachbereich(e)/-gebiet(e): 20 Fachbereich Informatik > Softwaretechnik
20 Fachbereich Informatik
Hinterlegungsdatum: 27 Sep 2010 14:15
Offizielle URL: http://dx.doi.org/10.1145/1806799.1806805
ID-Nummer: doi:10.1145/1806799.1806805
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen