3342 search results - page 217 / 669 » Automating Abstract Interpretation |
110
click to vote
LPAR
2000
Springer
15 years 6 months ago
2000
Springer
We present the rational construction of a generic domain for structural information analysis of real CLP languages called Pattern(D ), where the parameter D is an abstract domain s...
120
click to vote
DLOG
2009
15 years 19 days ago
2009
Abstract. GridTest is a framework for testing automated theorem provers using randomly generated formulas. It can be used to run tests locally, in a single computer, or in a comput...
122
click to vote
ECCV
1990
Springer
16 years 4 months ago
1990
Springer
Abstract We present a method for extracting geometric and relational structures from raw intensity data. On one hand, low-level image processing extracts isolated features. On the ...
139
click to vote
RP
2009
Springer
15 years 9 months ago
2009
Springer
We present an abstraction of the probabilistic semantics of Multiset Rewriting to formally express systems of reactions with uncertain kinetic rates. This allows biological systems...
140
Voted
MFCS
1998
Springer
15 years 7 months ago
1998
Springer
Abstract. We provide concise abstract code for running the Java Virtual Machine (JVM) to execute compiled Java programs, and define a general compilation scheme of Java programs to...