151 search results - page 1 / 31 » Tactic-Based Optimized Compilation of Functional Programs |
95
Voted
TYPES
2004
Springer
15 years 3 months ago
2004
Springer
Abstract Within a framework of correct code-generation from HOLspecifications, we present a particular instance concerned with the optimized compilation of a lazy language (called...
VLDB
1987
ACM
15 years 1 months ago
1987
ACM
Severalmethodshavebeenproposedto compile recursive Datalog programs. The most well-known perform a rewriting of rules using MAGIC or PROBLEM predicates in order to push selections...
85
Voted
IEEEPACT
2000
IEEE
15 years 2 months ago
2000
IEEE
Region-based compilation repartitions a program into more desirable compilation units for optimization and scheduling, particularly beneficial for ILP architectures. With region-...
ICFP
2001
ACM
15 years 10 months ago
2001
ACM
Contification is a compiler optimization that turns a function that always returns to the same place into a continuation. Compilers for functional languages use contification to e...
62
Voted
ECEASST
2006
14 years 10 months ago
2006
Motivated by the promotion of rewriting techniques and their use in major industrial applications, we have designed Tom: a pattern matching layer on top of conventional programming...