530 search results - page 2 / 106 » The Valid Model Semantics for Logic Programs |
100
click to vote
CORR
2004
Springer
15 years 2 months ago
2004
Springer
Abstraction by Typing Andrew D. Gordon Microsoft Research Riccardo Pucella Cornell University An XML web service is, to a first approximation, an RPC service in which requests and...
107
Voted
PPDP
2009
Springer
15 years 9 months ago
2009
Springer
We give a denotational semantics to a type and effect system tracking reading and writing to global variables holding values that may include higher-order effectful functions. Reï...
154
click to vote
LPNMR
2001
Springer
15 years 6 months ago
2001
Springer
In this paper, we continue to explore many-valued disjunctive logic programs with probabilistic semantics. In particular, we newly introduce the least model state semantics for suc...
103
Voted
WLP
2005
Springer
15 years 8 months ago
2005
Springer
Assigning semantics to logic programs via selector generated models (Schwarz 2002/2003) extends several semantics, like the stable, the inflationary, and the stable generated sema...
216
Voted
POPL
2008
ACM
16 years 2 months ago
2008
ACM
Translation validation consists of transforming a program and a posteriori validating it in order to detect a modification of its semantics. This approach can be used in a verifie...