TU Darmstadt / ULB / TUbiblio

Efficient hybrid typestate analysis by determining continuation-equivalent states

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

Item Type: Conference or Workshop Item
Erschienen: 2010
Creators: Bodden, Eric
Title: Efficient hybrid typestate analysis by determining continuation-equivalent states
Language: English
Title of Book: Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - ICSE '10
Volume: 1
Divisions: 20 Department of Computer Science > Software Technology
20 Department of Computer Science
Date Deposited: 27 Sep 2010 14:15
Official URL: http://dx.doi.org/10.1145/1806799.1806805
Identification Number: doi:10.1145/1806799.1806805
Export:

Optionen (nur für Redakteure)

View Item View Item