712 search results - page 96 / 143 » A Classification of Multi-Database Languages |
212
click to vote
POPL
2007
ACM
16 years 25 days ago
2007
ACM
This paper proposes a lightweight fusion method for general recursive function definitions. Compared with existing proposals, our method has several significant practical features...
213
click to vote
POPL
2007
ACM
16 years 25 days ago
2007
ACM
C programs can be difficult to debug due to lax type enforcement and low-level access to memory. We present a dynamic analysis for C that checks heap snapshots for consistency wit...
136
Voted
ICFP
2008
ACM
16 years 15 days ago
2008
ACM
This paper presents a semantic space profiler for parallel functional programs. Building on previous work in sequential profiling, our tools help programmers to relate runtime res...
112
Voted
ICFP
2006
ACM
16 years 15 days ago
2006
ACM
We present a unifying solution to the problem of fusion of functions, where both the producer function and the consumer function have one accumulating parameter. The key idea in t...
109
Voted
ICFP
2005
ACM
16 years 15 days ago
2005
ACM
Monads are commonplace programming devices that are used to uniformly structure computations with effects such as state, exceptions, and I/O. This paper further develops the monad...