705 search results - page 13 / 141 » New Compilation Languages Based on Structured Decomposabilit... |
114
Voted
HASKELL
2009
ACM
15 years 10 months ago
2009
ACM
In this paper we describe the architecture of the Utrecht Haskell Compiler (UHC). UHC is a new Haskell compiler, that supports most (but not all) Haskell 98 features, plus some ex...
150
Voted
MEMOCODE
2010
IEEE
15 years 1 months ago
2010
IEEE
To overcome over-synchronization in synchronous programs, we recently introduced clock refinement to our synchronous programming language Quartz. This extension basically allows p...
146
Voted
IJCAI
2007
15 years 5 months ago
2007
Compiling Bayesian networks has proven an effective approach for inference that can utilize both global and local network structure. In this paper, we define a new method of comp...
121
Voted
ICFP
2001
ACM
16 years 3 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...
148
Voted
DATE
2005
IEEE
15 years 9 months ago
2005
IEEE
Efficient architecture exploration and design of application specific instruction-set processors (ASIPs) requires retargetable software development tools, in particular C compil...