100 search results - page 2 / 20 » Compositional Type Systems for Stack-Based Low-Level Languag... |
ESOP
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. We present a proof theoretical method for de-compiling lowlevel code to the typed lambda calculus. We first define a proof system for a low-level code language based on...
LREC
2010
13 years 10 months ago
2010
In this paper, we report on a study that was performed within the "Semantics of History" project on how descriptions of historical events are realized in different types...
FOAL
2007
ACM
14 years 13 days ago
2007
ACM
CASSIS
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. We study secure information flow in a stack based Typed Assembly Language (TAL). We define a TAL with an execution stack and establish the soundness of its type system ...
ICFP
2001
ACM
14 years 8 months ago
2001
ACM
The type systems of most typed functional programming languages are based on the Hindley-Milner type system. A practical problem with these type systems is that it is often hard t...