5671 search results - page 880 / 1135 » A Semantic Approach to Interpolation |
190
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Streams are infinite sequences over a given data type. A stream specification is a set of equations intended to define a stream. We propose a transformation from such a stream spec...
163
click to vote
ENTCS
2010
15 years 6 months ago
2010
Rules that are admissible can be used in any derivations in any axiomatic system of a logic. In this paper we introduce a method for checking the admissibility of rules in the mod...
148
click to vote
ENTCS
2008
15 years 6 months ago
2008
The interactive theorem prover developed in the KeY project, which implements a sequent calculus for JavaCard Dynamic Logic (JavaCardDL) is based on taclets. Taclets are lightweig...
169
click to vote
ENTCS
2006
15 years 6 months ago
2006
The project Safe Pointers by Graph Transformation at the University of York has developed a method for specifying the shape of pointer-data structures by graph reduction, and a st...
160
click to vote
IJISEC
2008
15 years 6 months ago
2008
Preventing improper information leaks is a greatest challenge of the modern society. In this paper we present a technique for measuring the ability of several families of adversari...