1689 search results - page 52 / 338 » Refining abstract interpretations |
97
Voted
CSL
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. We investigate the possibility of giving a computational interpretation of an involutive negation in classical natural deduction. We first show why this cannot be simply ...
106
click to vote
FMCAD
2007
Springer
15 years 5 months ago
2007
Springer
We present a framework for formal verification of embedded custom memories. Memory verification is complicated ifficulty in abstracting design parameters induced by the inherently ...
113
click to vote
CODES
2001
IEEE
15 years 5 months ago
2001
IEEE
Models of computation like Kahn and dataflow process networks provide convenient means for modeling signal processing applicahis is partly due to the abstract primitives that thes...
93
Voted
JSYML
2006
15 years 1 months ago
2006
Abstract. We present a generalisation of the type-theoretic interpretation of constructive set theory into Martin-L
104
click to vote
CICLING
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. Text interpretation can be considered as the process of extracting deep-level semantics from unstructured text documents. Deeplevel semantics represent abstract index str...