4722 search results - page 417 / 945 » Representation-independent program analysis |
187
click to vote
ATVA
2004
Springer
16 years 4 days ago
2004
Springer
Data races do not cover all kinds of concurrency errors. This paper presents a data- ow-based technique to nd stale-value errors, which are not found by low-level and high-level d...
181
Voted
PPDP
2001
Springer
15 years 11 months ago
2001
Springer
We introduce a new system of trust analysis for concurrent and distributed systems using the π-calculus[13, 14, 15] as a modelling tool. A Type system using boolean annotations g...
169
click to vote
IFIP
2000
Springer
15 years 10 months ago
2000
Springer
and scenario evolution, in which concepts in the abstraction domain and scenarios in the detail domain iteratively evolve. This framework provides another facet of scenario-based r...
210
click to vote
ATVA
2008
Springer
15 years 8 months ago
2008
Springer
Goanna is an industrial-strength static analysis tool used in academia and industry alike to find bugs in C/C++ programs. Unlike existing approaches Goanna uses the off-the-shelf N...
185
click to vote
WCET
2007
15 years 8 months ago
2007
To calculate the WCET of a program, safe upper bounds on the number of loop iterations for all loops in the program are needed. As the manual annotation of all loops with such bou...