858 search results - page 86 / 172 » Abstract Interpretation Based Verification of Logic Programs |
RTA
2010
Springer
15 years 3 months ago
2010
Springer
The K framework, based on rewriting logic semantics, provides a powerful logic for deļ¬ning the semantics of programming languages. While most work in this area has focused on deļ...
105
click to vote
LPNMR
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. The recently proposed notion of an elementary set yielded a reļ¬nement of the theorem on loop formulas, telling us that the stable models of a disjunctive logic program ...
SEFM
2005
IEEE
15 years 5 months ago
2005
IEEE
Veriļ¬cation of programs requires reasoning about sets of program states. In case of programs manipulating pointers, program states are pointer graphs. Veriļ¬cation of such prog...
ECAI
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. In previous research, we presented a dynamicprogramming-based EM (expectation-maximization) algorithm for parameterized logic programs, which is based on the structure sh...
103
click to vote
CAV
2006
Springer
15 years 3 months ago
2006
Springer
Example Guided Abstraction Refinement (CEGAR) [6] framework. A number of wellengineered software model-checkers are available, e.g., SLAM [1] and BLAST [12]. Why build another one?...