1154 search results - page 2 / 231 » Implementing Typed Intermediate Languages |
108
click to vote
TAPSOFT
1997
Springer
15 years 1 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...
100
click to vote
TIC
2000
Springer
15 years 1 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...
ICFP
1999
ACM
15 years 1 months ago
1999
ACM
We propose a conservative extension of the polymorphic lambda calculus (A5B ) as an intermediate language for compiling languages with name-based class and interface hierarchies. ...
ESEC
1999
Springer
15 years 1 months ago
1999
Springer
The use of smart cards to run software modules on demand has become a major business concern for application issuers. Such downloadable executable content requires to be trusted by...
TLCA
1997
Springer
15 years 1 months ago
1997
Springer
