530 search results - page 1 / 106 » The Valid Model Semantics for Logic Programs |
PODS
1992
ACM
13 years 9 months ago
1992
ACM
ENTCS
2007
13 years 5 months ago
2007
We introduce the idea of optimisation validation, which is to formally establish that an instance of an optimising transformation indeed improves with respect to some resource mea...
ILP
2001
Springer
13 years 10 months ago
2001
Springer
In the line of previous work by S. Muggleton and C. Sakama, we extend the logical characterization of inductive logic programming, to normal logic programs under the stable models ...
ICIW
2007
IEEE
13 years 9 months ago
2007
IEEE
Abstract-- Maintaining large websites and verifying their semantic content is a difficult task. In this paper we propose a framework for syntactic validation, semantic verification...
PLDI
2011
ACM
12 years 8 months ago
2011
ACM
Translation validators are static analyzers that attempt to verify that program transformations preserve semantics. Normalizing translation validators do so by trying to match the...