Back to Results
First PageMeta Content
Formal methods / Logic in computer science / Runtime verification / Theoretical computer science / Iterator / Q / Monad / Algorithm / Shape analysis / Computing / Software engineering / Computer programming


Finding Programming Errors Earlier by Evaluating Runtime Monitors Ahead-of-Time Eric Bodden1 , Patrick Lam2 and Laurie Hendren1 1 2
Add to Reading List

Document Date: 2014-02-12 18:13:43

Open Document

File Size: 293,15 KB

Share Result on Facebook

City

Atlanta / /

Company

IBM / AMD / /

Country

United States / /

Currency

USD / /

IndustryTerm

classification algorithm / printing / worklist algorithm / machine learning algorithm / long-term software maintenance / flow-sensitive static analysis algorithm / visualization tool / intraprocedural worklist algorithm / allocation site / /

OperatingSystem

Linux / Ubuntu / /

Organization

School of Computer Science / McGill University Department / University of Waterloo / /

/

Position

Writer / list programmer / ASyncIterC ASyncIterM FailSafeEnum FailSafeIter HasNextElem HasNext LeakingSync Reader Writer / representative / Program analysis General / programmer / /

ProgrammingLanguage

Java / AspectJ / Jython / /

ProvinceOrState

Georgia / /

Technology

intraprocedural worklist algorithm / 2.1 Intraprocedural worklist algorithm / //state-wise disjunction Algorithm / 3.2 Static analysis algorithm / Java / 4 Algorithm / machine learning algorithm / Linux / completeness The analysis algorithm / API / 1 Algorithm / 2 Algorithm / 3 Algorithm / machine learning / classification algorithm / static analysis algorithm / worklist algorithm / /

URL

http /

SocialTag