Browse Research and Tech Reports - Computer Science by Subject "annotations"

  • Karmani, Rajesh Kumar; Madhusudan, P.; Moore, Brandon (2010-04-19)
    The goal of this paper is to build an annotation framework of thread contracts, called Accord to argue that a parallel program has no data-races, and build accompanying verification and testing tools. Accord annotations ...

    application/pdf

    application/pdfPDF (248Kb)