10870 search results - page 419 / 2174 » Model Checking Programs |
192
click to vote
LANMR
2007
15 years 8 months ago
2007
Abstract We study the notion of strong equivalence between two disjunctive logic programs under the G3-stable model semantics, also called the P-stable semantics, and we show how s...
203
click to vote
EUROPAR
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. Understanding and controlling program behavior is a challenging objective for the design of advanced compilers and critical system development. In this paper, we propose ...
173
click to vote
KI
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Rule-based programming paradigm is omnipresent in number of engineering domains. However, there are some fundamental semantical differences between it, and classic progr...
