4211 search results - page 216 / 843 » Types as Abstract Interpretations |
129
click to vote
CORR
2011
Springer
14 years 11 months ago
2011
Springer
We investigate (quantifier-free) spatial constraint languages with equality, contact and connectedness predicates, as well as Boolean operations on regions, interpreted over low-...
155
click to vote
POPL
2010
ACM
16 years 1 months ago
2010
ACM
This paper introduces a new approach to type theory called pure subtype systems. Pure subtype systems differ from traditional approaches to type theory (such as pure type systems)...
126
click to vote
LICS
2009
IEEE
15 years 11 months ago
2009
IEEE
We describe a substructural logic with ordered, linear, and persistent propositions and then endow a fragment with a committed choice forward-chaining operational interpretation. ...
129
click to vote
LOPSTR
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We introduce a just-in-time specializer for Prolog. Just-intime specialization attempts to unify of the concepts and benefits of partial evaluation (PE) and just-in-time...
135
click to vote
ICANN
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We develop a probabilistic interpretation of non-linear component extraction in neural networks that activate their hidden units according to a softmaxlike mechanism. On ...