161 search results - page 22 / 33 » Ontology Model-Based Static Analysis on Java Programs |
ISSTA
2009
ACM
14 years 3 months ago
2009
ACM
Program differencing is a common means of software debugging. Although many differencing algorithms have been proposed for procedural and object-oriented languages like C and Ja...
PLDI
2010
ACM
14 years 1 months ago
2010
ACM
Programming language specifications mandate static and dynamic analyses to preclude syntactic and semantic errors. Although individual languages are usually well-specified, comp...
PPDP
2005
Springer
14 years 2 months ago
2005
Springer
fects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type and eff...
ACSC
2005
IEEE
14 years 2 months ago
2005
IEEE
We introduce a new approach to computing interprocedural modification side effects for Java programs in the presence of dynamic class loading. When compile-time unknown classes c...
ATVA
2004
Springer
14 years 2 months 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...