Article thumbnail

Measuring enforcement windows with symbolic trace interpretation: what well-behaved programs say

By Devin Coughlin, Bor-Yuh Evan Chang, Amer Diwan and Jeremy G. Siek
Publisher: ACM Press
Year: 2012
DOI identifier: 10.1145/2338965.2336786
OAI identifier:
Provided by: MUCC (Crossref)
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://www.cs.colorado.edu/~be... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.