A generic static analyzer for multithreaded Java programs
Publication status
publishedJournal / series
Software : practice & experienceVolume
Pages
Publisher
Wiley-BlackwellSubject
Static analysis; Generic analyzers; Abstract interpretation; Multithreaded programsOrganisational unit
03653 - Müller, Peter
Notes
Article first published online 9 May 2012, Manuscript accepted 5 April 2012, Manuscript revised 9 January 2012, Manuscript received 26 April 2011.More
Show all metadata