383 search results - page 2 / 77 » Dependent Types for Low-Level Programming |
ESOP
2001
Springer
13 years 10 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...
LOPSTR
2004
Springer
13 years 11 months ago
2004
Springer
We propose an analysis for detecting procedures and goals that are deterministic (i.e. that produce at most one solution), or predicates whose clause tests are mutually exclusive (...
IFIP
2004
Springer
13 years 11 months ago
2004
Springer
Dependent type systems are promising tools programmers can use to increase the reliability and security of their programs. Unfortunately, dependently-typed programming languages re...
JFP
2007
13 years 5 months ago
2007
We present an approach to enriching the type system of ML with a restricted form of de
ICFP
1999
ACM
13 years 10 months ago
1999
ACM
Run-time type dispatch enables a variety of advanced optimization techniques for polymorphic languages, including tag-free garbage collection, unboxed function arguments, and fla...