163 search results - page 4 / 33 » Type Systems for Useless-Variable Elimination |
73
Voted
CORR
2010
Springer
15 years 1 months ago
2010
Springer
This paper presents a type theory with a form of equality reflection: provable equalities can be used to coerce the type of a term. Coercions and other annotations, including impl...
138
Voted
TIC
2000
Springer
15 years 7 months ago
2000
Springer
Singleton kinds provide an elegant device for expressing type equality information resulting from modern module languages, but they can severely complicate the metatheory of langu...
163
Voted
CORR
2011
Springer
14 years 10 months ago
2011
Springer
In this paper, we present type systems for flow-sensitive pointer analysis, live stack-heap (variables) analysis, and program optimization. The type system for live stack-heap ana...
128
Voted
APLAS
2008
ACM
15 years 5 months ago
2008
ACM
This paper introduces a new type system designed for safe systems programming. The type system features a new mutability model that combines unboxed types with a consistent typing ...
107
Voted
ENTCS
2007
15 years 3 months ago
2007
We give a uniform type-systematic account of a number of optimizations and the underlying analyses for a bytecode-like stack-based low-level language, including analysis soundness...