322 search results - page 30 / 65 » Developing and Reasoning About Probabilistic Programs in pGC... |
HASKELL
2009
ACM
14 years 2 months ago
2009
ACM
We address the problem of reasoning about Haskell programs that use Software Transactional Memory (STM). As a motivating example, we consider Haskell code for a concurrent non-det...
APLAS
2010
ACM
13 years 6 months ago
2010
ACM
We consider programming language aspects of algorithms that operate on data too large to fit into memory. In previous work we have introduced IntML, a functional programming langu...
FLOPS
2010
Springer
14 years 2 months ago
2010
Springer
Disproof can be as important as proof in studying programs and programming languages. In particular, side conditions in a statement about program behavior are sometimes best unders...
ICDCS
2010
IEEE
13 years 11 months ago
2010
IEEE
Abstract—The distributed nature and large scale of MapReduce programs and systems poses two challenges in using existing profiling and debugging tools to understand MapReduce pr...
VL
2002
IEEE
14 years 17 days ago
2002
IEEE
There has been little research on end-user program development beyond the programming phase. Devising ways to address additional phases may be critical, because research shows tha...