61 search results - page 1 / 13 » Type-Directed Flow Analysis for Typed Intermediate Languages |
SAS
1997
Springer
13 years 11 months ago
1997
Springer
TIC
1998
Springer
13 years 11 months ago
1998
Springer
Suppose we translate two different source languages,
25
Voted
TAPSOFT
1997
Springer
13 years 11 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 7 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 11 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...