54 search results - page 7 / 11 » Abstract Interpretation with Alien Expressions and Heap Stru... |
ICALP
1998
Springer
15 years 4 months ago
1998
Springer
Abstract. We study entailment of structural and nonstructural recursive subtyping constraints. Constraints are formal inequalities between type expressions, interpreted over an ord...
SAS
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. In this paper we investigate the existence of a deductive veri cation method based on a logic that describes pointer aliasing. The main idea of such a method is that the ...
106
click to vote
WOB
2007
15 years 26 days ago
2007
Abstract. We propose a method for global validation of gene clusterings. The method selects a set of informative and non-redundant GO terms through an exploration of the Gene Ontol...
FMOODS
2007
15 years 1 months ago
2007
We present the first tool that offers dynamic verification of extended traints on UML models. It translates a UML model into an Abstract State (ASM) which is transformed by an AS...
DIMVA
2010
15 years 1 months ago
2010
Abstract. In order to obtain and maintain control, kernel malware usually makes persistent control flow modifications (i.e., installing hooks). To avoid detection, malware develope...