3056 search results - page 87 / 612 » Compiling Embedded Languages |
111
click to vote
ENTCS
2007
15 years 2 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...
103
Voted
ICFP
2001
ACM
16 years 2 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...
105
click to vote
MICRO
1996
IEEE
15 years 6 months ago
1996
IEEE
A machine description facility allows compiler writers to specify machine execution constraints to the optimization and scheduling phases of an instruction-level parallelism (ILP)...
FDL
2004
IEEE
15 years 5 months ago
2004
IEEE
