159 search results - page 25 / 32 » Structural abstract interpretation, A formal study using Coq |
118
click to vote
CL
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. We propose an extension of concurrent constraint programming with primitives for process migration within a hierarchical network, and we study its semantics. To this purp...
141
click to vote
CIKM
2010
Springer
14 years 11 months ago
2010
Springer
In the standard formalization of supervised learning problems, a datum is represented as a vector of features without prior knowledge about relationships among features. However, ...
125
click to vote
BIRTHDAY
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. The logical and operational aspects of rewriting logic as a logical framework are tested and illustrated in detail by representing pure type systems as object logics. Mor...
197
click to vote
FSE
2011
Springer
14 years 5 months ago
2011
Springer
Abstract. Bellare and Kohno introduced a formal framework for the study of related-key attacks against blockciphers. They established sufficient conditions (output-unpredictabilit...
125
click to vote
TLDI
2010
ACM
15 years 10 months ago
2010
ACM
In the GADT (Generalized Algebraic Data Types) type system, a pattern-matching branch can draw type information from both the scrutinee type and the data constructor type. Even th...