4211 search results - page 7 / 843 » Types as Abstract Interpretations |
TLCA
2007
Springer
14 years 2 months ago
2007
Springer
We propose type systems that abstractly interpret small-step rather than big-step operational semantics. We treat an expression or evaluation context as a structure in a linear log...
CORR
2008
Springer
13 years 8 months ago
2008
Springer
al abstract interpretation A formal study using Coq Yves Bertot INRIA Sophia-M
TACS
1994
Springer
14 years 19 days ago
1994
Springer
traction for PCF1 Samson.Abramsky2 University of Edinburgh and Radha Jagadeesan3 Loyola University Chicago and Pasquale Malacaria4 Queen Mary and Westfield College An intensional m...
TLDI
2003
ACM
14 years 1 months ago
2003
ACM
Standard ML employs an opaque (or generative) semantics of datatypes, in which every datatype declaration produces a new type that is different from any other type, including othe...
LICS
2000
IEEE
14 years 29 days ago
2000
IEEE
We introduce a new model based on coherence spaces for interpreting large impredicative type systems such as the Extended Calculus of Constructions (ECC). Moreover, we show that t...