Sciweavers

3342 search results - page 45 / 669
» Automating Abstract Interpretation
Sort
View
69
Voted
ICLP
2004
Springer
15 years 4 months ago
Termination by Abstraction
Nachum Dershowitz
LICS
2003
IEEE
15 years 4 months ago
Abstract Saturation-Based Inference
Nachum Dershowitz, Claude Kirchner
LICS
1994
IEEE
15 years 3 months ago
Subtyping and Parametricity
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...
Gordon D. Plotkin, Martín Abadi, Luca Carde...