4211 search results - page 102 / 843 » Types as Abstract Interpretations |
152
Voted
EAAI
2006
15 years 3 months ago
2006
Type-2 fuzzy sets, which are characterized by membership functions (MFs) that are themselves fuzzy, have been attracting interest. This paper focuses on advancing the understandin...
248
Voted
ECOOP
2009
Springer
16 years 4 months ago
2009
Springer
We propose a novel approach based on coinductive logic to specify type systems of programming languages. The approach consists in encoding programs in Horn formulas which are inter...
231
Voted
POPL
2006
ACM
16 years 3 months ago
2006
ACM
We propose a type system based on regular tree grammars, where algebraic datatypes are interpreted in a structural way. Thus, the same constructors can be reused for different typ...
114
Voted
ISICT
2004
15 years 5 months ago
2004
A type flaw attack on a security protocol is an attack where a field in a message that was originally intended to have one type is subsequently interpreted as having another type. ...
138
Voted
PPDP
2007
Springer
15 years 9 months ago
2007
Springer
We describe a semantic type soundness result, formalized in the Coq proof assistant, for a compiler from a simple imperative language with heap-allocated data into an idealized as...