780 search results - page 35 / 156 » Compositional Quantitative Reasoning |
125
click to vote
LOPSTR
1998
Springer
15 years 5 months ago
1998
Springer
Based on a variable-free combinatory form of definite clause logic programs we outline a methodology and supporting program environment CombInduce for inducing well-moded logic pro...
107
click to vote
ALP
1994
Springer
15 years 5 months ago
1994
Springer
Abstract. We introduce a compositional characterization of the operational semantics of equational Horn programs. Then we show that this semantics and the standard operational sema...
IJCAI
1993
15 years 2 months ago
1993
We describe a new approach to default reasoning, based on a principle of indi erence among possible worlds. We interpret default rules as extreme statistical statements, thus obta...
104
click to vote
CADE
2008
Springer
16 years 1 months ago
2008
Springer
Abstract. A proof method is described which combines compositional proofs of interleaved parallel programs with the intuitive and highly automatic strategy of symbolic execution. A...
128
click to vote
ENTCS
2006
15 years 1 months ago
2006
The advent of proof-carrying code has generated significant interest in reasoning about low-level languages. It is widely believed that low-level languages with jumps must be diff...