1689 search results - page 40 / 338 » Refining abstract interpretations |
ILP
1998
Springer
15 years 6 months ago
1998
Springer
Cohen's [1] refinement rules provide a flexible mechanism for introducing intentional background knowledge in an ILP system. Whereas Cohen used a limited second order theorem ...
130
click to vote
ETRICS
2006
15 years 5 months ago
2006
Abstract. Formal methods emphasizes the need for a top-down approach when developing large reliable software systems. Refinements are map step by step abstract algebraic specificat...
71
Voted
IJCAI
1997
15 years 3 months ago
1997
In the last three years, several “radically new” and promising approaches have been developed for tackling the plan synthesis problem. Currently, these approaches exist in iso...
125
click to vote
CADE
2007
Springer
16 years 2 months ago
2007
Springer
Abstract. This paper presents the foundations for using automated deduction technology in static program analysis. The central principle is the use of logical lattices ? a class of...
121
click to vote
FMCO
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. We present a model of object-oriented and component-based refinement. For object-orientation, the model is class-based and refinement is about correct changes in the stru...