4211 search results - page 6 / 843 » Types as Abstract Interpretations |
FUIN
2010
13 years 6 months ago
2010
Abstract. We present the type rules for a dependently typed core calculus together with a straightforward implementation in Haskell. We explicitly highlight the changes necessary t...
ICTCS
2005
Springer
14 years 29 days ago
2005
Springer
Abstract. We consider a call-by-value language, with higher-order functions, records, references to values of arbitrary type, and subtyping. We adapt an intrinsic denotational mode...
SIGSOFT
2004
ACM
14 years 26 days ago
2004
ACM
A type system for object models is described that supports subtypes and allows overloading of relation names. No special features need be added to the modelling language; in parti...
ASPDAC
1999
ACM
13 years 11 months ago
1999
ACM
Abstract Due to the large variety of di erent embedded processor types, retargetable software development tools, such as compilers and simulators, have received attention recently....
AMAST
1997
Springer
13 years 11 months ago
1997
Springer
