14 search results - page 1 / 3 » Towards automatic construction of staged compilers |
200
click to vote
POPL
2002
ACM
15 years 11 months ago
2002
ACM
Some compilation systems, such as offline partial evaluators and selective dynamic compilation systems, support staged optimizations. A staged optimization is one where a logicall...
110
Voted
CASES
2006
ACM
15 years 4 months ago
2006
ACM
Developing an optimizing compiler for a newly proposed architecture is extremely difficult when there is only a simulator of the machine available. Designing such a compiler requ...
83
Voted
ENTCS
2002
14 years 10 months ago
2002
Many tools have been constructed using different formal methods to process various parts of a language specification (e.g., scanner generators, parser generators and compiler gene...
97
Voted
EUROPAR
2008
Springer
15 years 21 days ago
2008
Springer
Abstract. Understanding program behavior is at the foundation of program optimization. Techniques for automatic recognition of program constructs characterize the behavior of code ...
75
Voted
ENTCS
2007
14 years 11 months ago
2007
We propose to use a formal specification language as a high-level hardware description language. Formal languages allow for compact, unambiguous representations and yield designs...