226 search results - page 23 / 46 » Modular Compilation of a Synchronous Language |
108
click to vote
HASKELL
2007
ACM
15 years 3 months ago
2007
ACM
The Glasgow Haskell Compiler (GHC) has quite sophisticated support for concurrency in its runtime system, which is written in lowlevel C code. As GHC evolves, the runtime system b...
108
click to vote
AOSD
2007
ACM
15 years 3 months ago
2007
ACM
In order to accommodate the spectrum of configuration options currently required for competitive system infrastructures, many systems leverage heavy usage of C preprocessor contro...
133
click to vote
ACMMSP
2006
ACM
15 years 5 months ago
2006
ACM
Many people have proposed adding transactions, or atomic blocks, to type-safe high-level programming languages. However, researchers have not considered the semantics of transacti...
ICFP
2008
ACM
15 years 11 months ago
2008
ACM
We have implemented a two-stage language, Paradise, for building reusable components which are used to price financial products. Paradise is embedded in Haskell and makes heavy us...
ECOOP
2006
Springer
15 years 3 months ago
2006
Springer
A variety of application domains are interactive in nature: a primary task involves responding to external actions. In this paper, we introduce explicit programming language suppor...