100 search results - page 1 / 20 » Compositional Type Systems for Stack-Based Low-Level Languag... |
CATS
2006
13 years 8 months ago
2006
APLAS
2005
ACM
14 years 11 days ago
2005
ACM
TIC
1998
Springer
13 years 11 months ago
1998
Springer
In previous work, we presented a Typed Assembly Language (TAL). TAL is sufficiently expressive to serve as a target language for compilers of high-level languages such as ML. More...
ESOP
2007
Springer
14 years 29 days ago
2007
Springer
In this paper, we describe the key principles of a dependent type system for low-level imperative languages. The major contributions of this work are (1) a sound type system that c...
POPL
2010
ACM
14 years 4 months ago
2010
ACM
We present Low-Level Liquid Types, a refinement type system for C based on Liquid Types. Low-Level Liquid Types combine refinement types with three key elements to automate verifi...