4211 search results - page 103 / 843 » Types as Abstract Interpretations |
111
Voted
APAL
2010
15 years 3 months ago
2010
A logic-enriched type theory (LTT) is a type theory extended with a primitive mechanism for forming and proving propositions. We construct two LTTs, named LTT0 and LTT 0, which we...
91
Voted
PLDI
2009
ACM
15 years 10 months ago
2009
ACM
Self-representation – the ability to represent programs in their own language – has important applications in reflective languages and many other domains of programming langu...
115
Voted
TYPES
2004
Springer
15 years 9 months ago
2004
Springer
In this paper we use the Epigram language to define the universe of regular tree types—closed under empty, unit, sum, product and least fixpoint. We then present a generic deci...
133
click to vote
TPHOL
2002
IEEE
15 years 8 months ago
2002
IEEE
We describe the operational and denotational semantics of a small imperative language in type theory with inductive and recursive definitions. The operational semantics is given b...
114
Voted
ICPR
2008
IEEE
15 years 10 months ago
2008
IEEE
Mining patterns involving multiple values that are significantly relevant is a difficult but very important problem that crosses many disciplines. Multi-value association patterns...