3342 search results - page 45 / 669 » Automating Abstract Interpretation |
96
Voted
ICLP
2004
Springer
15 years 8 months ago
2004
Springer
102
Voted
NMR
2004
Springer
15 years 8 months ago
2004
Springer
77
Voted
LICS
2003
IEEE
15 years 8 months ago
2003
IEEE
LICS
2003
IEEE
15 years 8 months ago
2003
IEEE
128
Voted
LICS
1994
IEEE
15 years 6 months ago
1994
IEEE
In this paper we study the interaction of subtyping and parametricity. We describe a logic for a programming language with parametric polymorphism and subtyping. The logic support...