163 search results - page 1 / 33 » Type Systems for Useless-Variable Elimination |
PADO
2001
Springer
13 years 9 months ago
2001
Springer
nt Abstractions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63 J¨orgen Gustavsson, Josef Svenningsson Implementing Circularity Using Pa...
PEPM
2000
ACM
13 years 8 months ago
2000
ACM
POPL
1999
ACM
13 years 9 months ago
1999
ACM
Superfluous variables are often produced as the byproducts of program transformations, compilation, and poorly written code. These variables are irrelevant to the computational o...
SAC
2008
ACM
13 years 4 months ago
2008
ACM
Automatic cost analysis has interesting applications in the context of verification and certification of mobile code. For instance, the code receiver can use cost information in o...
SAIG
2000
Springer
13 years 8 months ago
2000
Springer
Abstract. This paper extends the recent work [CMT00] on the operational semantics and type system for a core language, called MiniMLBN ref , which exploits the notion of closed typ...