61 search results - page 1 / 13 » Type-Directed Flow Analysis for Typed Intermediate Languages |
SAS
1997
Springer
13 years 9 months ago
1997
Springer
TIC
1998
Springer
13 years 9 months ago
1998
Springer
Suppose we translate two different source languages,
TAPSOFT
1997
Springer
13 years 9 months ago
1997
Springer
We present a typed intermediate language λCIL for optimizing compilers for function-oriented and polymorphically typed programming languages (e.g., ML). The language λCIL is a ty...
JFP
2002
13 years 5 months ago
2002
We present CIL , a typed -calculus which serves as the foundation for a typed intermediate language for optimizing compilers for higher-order polymorphic programming languages. Th...
TIC
2000
Springer
13 years 8 months ago
2000
Springer
Abstract. The CIL compiler for core Standard ML compiles whole programs using a novel typed intermediate language (TIL) with intersection and union types and flow labels on both te...