3552 search results - page 324 / 711 » Proof theory in the abstract |
287
click to vote
POPL
2007
ACM
16 years 7 months ago
2007
ACM
This work presents a framework for fusing flow analysis and theorem proving called logic-flow analysis (LFA). The framework itthe reduced product of two abstract interpretations: ...
182
click to vote
PLDI
2003
ACM
15 years 12 months ago
2003
ACM
d Abstract) Bruno Blanchet∗ § Patrick Cousot§ Radhia Cousot∗¶ J´erˆome Feret§ Laurent Mauborgne§ Antoine Min´e§ David Monniaux∗§ Xavier Rival§ that abstract inter...
177
click to vote
ALDT
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Argumentation has been acknowledged as a powerful mechanism for automated decision making. In this context several recent works have studied the problem of accommodating ...
147
click to vote
BIRTHDAY
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. Variables make rule-based systems more abstract and expressive, as witnessed by term rewriting systems and two-level grammars. In this paper we show that variables can be...
172
click to vote
APN
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. The research domain of process discovery aims at constructocess model (e.g. a Petri net) which is an abstract representation of an execution log. Such a Petri net should ...