13383 search results - page 94 / 2677 » Abstractions from proofs |
134
Voted
ICLP
2010
Springer
15 years 9 months ago
2010
Springer
The proof-theoretic approach to logic programming has benefited from the
126
click to vote
COCO
2009
Springer
15 years 11 months ago
2009
Springer
Devising an efficient deterministic – or even a nondeterministic sub-exponential time – algorithm for testing polynomial identities is a fundamental problem in algebraic comp...
182
Voted
CORR
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Proof search has been used to specify a wide range of computation systems. In order to build a framework for reasoning about such specifications, we make use of a sequent...
118
click to vote
DIAGRAMS
2004
Springer
15 years 10 months ago
2004
Springer
A scalechart is a set of statecharts, operating in a dense time domain, whose behavior is self-similar at different scales. The simplicity of extracting proofs of behavior from sc...
147
Voted
FUIN
2007
15 years 5 months ago
2007
Proof-carryingcode provides a mechanism for insuring that a host, or code consumer, can safely run code delivered by a code producer. The host specifies a safety policy as a set o...