3481 search results - page 319 / 697 » Higher-Order Logic Programming as Constraint Logic Programmi... |
127
click to vote
CADE
2007
Springer
16 years 4 months ago
2007
Springer
Abstract. Hoare logic is widely used for software specification and verification. Frequently we need to prove the total correctness of a program: to prove that the program not only...
119
Voted
JELIA
1990
Springer
15 years 8 months ago
1990
Springer
In Floyd-Hoare logic, programs are dynamic while assertions are static (hold at states). In action logic the two notions become one, with programs viewed as on-the-fly assertions ...
163
Voted
ENTCS
2002
15 years 4 months ago
2002
In this work we provide a semantic description of functional logic languages covering notions like laziness, sharing, and non-determinism. Such a semantic description is essential...
160
click to vote
DLOG
2009
15 years 2 months ago
2009
Abstract. The paper describes how interpretations of multimedia documents can be formally derived using abduction over domain knowledge represented in an ontology. The approach use...
132
click to vote
ESOP
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. This paper concerns mechanisms for maintaining the value of an instrumentation predicate (a.k.a. derived predicate or view), defined via a logical formula over core pred...