3342 search results - page 62 / 669 » Automating Abstract Interpretation |
NLDB
2010
Springer
15 years 28 days ago
2010
Springer
Abstract. This paper proposes an approach which utilizes natural language processing (NLP) and ontology knowledge to automatically denote the implicit semantics of textual requirem...
ESOP
2005
Springer
15 years 4 months ago
2005
Springer
Additional Key Words and Phrases: program analysis, modular arithmetic, abstract interpretation, affine relation, interprocedural analysis
SLP
1990
15 years 4 days ago
1990
eric abstract interpretation framework. The results show significant benefits when using the proposed incremental analysis algorithms.
JSYML
2006
14 years 11 months ago
2006
Abstract. We present a generalisation of the type-theoretic interpretation of constructive set theory into Martin-L
CEC
2008
IEEE
15 years 5 months ago
2008
IEEE
— Predicting oil recovery efficiency of deepwater reservoirs is a challenging task. One approach to characterize and predict the producibility of a reservoir is by analyzing its...