558 search results - page 35 / 112 » A Compiler Design for the Agent-Based Programming Language |
138
click to vote
ML
2008
ACM
15 years 2 months ago
2008
ACM
We address the issue of compiling ML pattern matching to compact and efficient decisions trees. Traditionally, compilation to decision trees is optimized by (1) implementing decis...
149
Voted
ICFP
2010
ACM
15 years 3 months ago
2010
ACM
A wide range of computer programs, including compilers and theorem provers, manipulate data structures that involve names and binding. However, the design of programming idioms wh...
140
Voted
POPL
2009
ACM
15 years 9 months ago
2009
ACM
We develop a rigorous semantics for Power and ARM multiprocessor programs, including their relaxed memory model and the behaviour of reasonable fragments of their instruction sets...
107
click to vote
TLDI
2003
ACM
15 years 7 months ago
2003
ACM
We introduce an annotated type system for a compiler intermediate language. The type system is designed to support inter-procedural register allocation and the representation of t...
145
Voted
LCTRTS
2005
Springer
15 years 8 months ago
2005
Springer
Effective use of the memory hierarchy is critical for achieving high performance on embedded systems. We focus on the class of streaming applications, which is increasingly preval...