CISIS
2008
IEEE
14 years 2 months ago
2008
IEEE
Shadows are well known as a programming language feature in the application area of MUDs (a certain type of multi-player online game). We argue that agile methodologies can be enh...
CC
2010
Springer
14 years 2 months ago
2010
Springer
SAC
2010
ACM
14 years 2 months ago
2010
ACM
Most mainstream system programming languages provide support for builtin types, and extension mechanisms through userdefined types. They also come with a notion of constant expre...
ASPLOS
2010
ACM
14 years 2 months ago
2010
ACM
As the number of devices available per chip continues to increase, the computational potential of future computer architectures grows likewise. While this is a clear benefit for f...
ASPLOS
2010
ACM
14 years 2 months ago
2010
ACM
ASPLOS
2010
ACM
14 years 2 months ago
2010
ACM
A traditional fixed-function graphics accelerator has evolved into a programmable general-purpose graphics processing unit over the last few years. These powerful computing cores...
ASPLOS
2010
ACM
14 years 2 months ago
2010
ACM
In this paper we evaluate the atomic region compiler abstraction by incorporating it into a commercial system. We find that atomic regions are simple and intuitive to integrate i...
HASKELL
2009
ACM
14 years 2 months ago
2009
ACM
Parallel Haskell programming has entered the mainstream with support now included in GHC for multiple parallel programming models, along with multicore execution support in the ru...
HASKELL
2009
ACM
14 years 2 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...
HASKELL
2009
ACM
14 years 2 months ago
2009
ACM
Haskell is a great language for writing and supporting embedded Domain Specific Languages (DSLs). Some form of observable sharing is often a critical capability for allowing so-c...