4211 search results - page 92 / 843 » Types as Abstract Interpretations |
ZMP
2002
15 years 3 months ago
2002
Abstract. Music video (MV) content is frequently measured using researcher descriptions. This study examines subjective or viewers' notions of sex and violence. 168 university...
101
Voted
CSL
2009
Springer
15 years 10 months ago
2009
Springer
We investigate the relationship between two independently developed termination techniques for rst and higher-order rewrite systems. On the one hand, sized-types based termination...
143
Voted
COLING
1990
15 years 4 months ago
1990
An experimental system for dialogue structure analysis based on a new type plan recognition model for spoken dialogues has been implemented. This model is realized by using four t...
152
click to vote
FOSSACS
2012
Springer
13 years 11 months ago
2012
Springer
We study type-directed encodings of the simply-typed λ-calculus in a session-typed π-calculus. The translations proceed in two steps: standard embeddings of simply-typed λ-calcu...
104
Voted
FOSSACS
2004
Springer
15 years 9 months ago
2004
Springer
We introduce a computational interpretation for Hilbert’s choice operator (ε). This interpretation yields a typed foundation for dynamic linking in software systems. The use of ...