25 search results - page 1 / 5 » Typed Intermediate Languages for Shape Analysis |
TLCA
1997
Springer
13 years 9 months ago
1997
Springer
SAS
1997
Springer
13 years 9 months ago
1997
Springer
CC
2002
Springer
13 years 4 months ago
2002
Springer
Abstract. This paper describes the C Intermediate Language: a highlevel representation along with a set of tools that permit easy analysis and source-to-source transformation of C ...
ICFP
1999
ACM
13 years 9 months ago
1999
ACM
Run-time type dispatch enables a variety of advanced optimization techniques for polymorphic languages, including tag-free garbage collection, unboxed function arguments, and fla...
POPL
1995
ACM
13 years 8 months ago
1995
ACM
Traditional techniques for implementing polymorphism use a universal representation for objects of unknown type. Often, this forces a compiler to use universal representations eve...