2584 search results - page 192 / 517 » On the Forward Checking Algorithm |
70
Voted
TACAS
2007
Springer
15 years 4 months ago
2007
Springer
We present JPF–SE, an extension to the Java PathFinder Model Checking framework (JPF) that enables the symbolic execution of Java programs. JPF–SE uses JPF to generate and expl...
82
Voted
LICS
2002
IEEE
15 years 3 months ago
2002
IEEE
We investigate NLTL, a linear-time temporal logic with forgettable past. NLTL can be exponentially more succinct than LTL + Past (which in turn can be more succinct than LTL). We ...
ASIAN
2003
Springer
15 years 1 months ago
2003
Springer
Abstract. We provide a formal definition of information flows in XML transformations and, more generally, in the presence of type driven computations and describe a sound technique...
95
Voted
JFP
2002
14 years 10 months ago
2002
Algorithms for checking subtyping between recursive types lie at the core of many programming language implementations. But the fundamental theory of these algorithms and how they...
102
Voted
DLOG
2011
14 years 1 months ago
2011
We present an optimized query rewriting algorithm for OWL 2 QL that computes the rewriting set of a user query by avoiding unnecessary inferences and extended clause subsumption ch...