2947 search results - page 16 / 590 » Analyzing Program Analyses |
186
click to vote
CC
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Clocks are a mechanism for providing synchronization barriers in concurrent programming languages. They are usually implemented using primitive communication mechanisms a...
RTA
2010
Springer
15 years 2 months ago
2010
Springer
The K framework, based on rewriting logic semantics, provides a powerful logic for deļ¬ning the semantics of programming languages. While most work in this area has focused on deļ...
FMCO
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. We describe the algorithmic and implementation ideas behind a tool, Orion, for ļ¬nding common programming errors in C and C++ programs using static code analysis. We aim...
SPIN
2000
Springer
15 years 2 months ago
2000
Springer
This paper describes how two runtime analysis algorithms, an existing data race detection algorithm and a new deadlock detection algorithm, have been implemented to analyze Java pr...
101
click to vote
ENVSOFT
2006
14 years 10 months ago
2006
Nestedness is a property of binary matrices of ecological data and quantified by the matrix's temperature, T. The program widely used to calculate T is Nestedness Temperature...