1107 search results - page 115 / 222 » XAIRA : software for language analysis |
216
click to vote
POPL
2007
ACM
16 years 1 months ago
2007
ACM
C programs can be difficult to debug due to lax type enforcement and low-level access to memory. We present a dynamic analysis for C that checks heap snapshots for consistency wit...
111
click to vote
POPL
2012
ACM
13 years 8 months ago
2012
ACM
We present an analysis which takes as its input a sequential program, augmented with annotations indicating potential parallelization opportunities, and a sequential proof, writte...
90
Voted
PRIMA
2009
Springer
15 years 7 months ago
2009
Springer
Agent-oriented programming has been motivated in part by the conception that high-level programming constructs based on common tions such as beliefs and goals provide appropriate a...
185
Voted
POPL
2007
ACM
16 years 1 months ago
2007
ACM
An invariance assertion for a program location is a statement that always holds at during execution of the program. Program invariance analyses infer invariance assertions that ca...
122
Voted
PLDI
2004
ACM
15 years 6 months ago
2004
ACM
The design of concurrent programs is error-prone due to the interaction between concurrently executing threads. Traditional automated techniques for finding errors in concurrent ...