3713 search results - page 309 / 743 » Constructing a Calculus of Programs |
134
click to vote
HASKELL
2008
ACM
15 years 5 months ago
2008
ACM
Eight years ago, functional dependencies, a concept from the theory of relational databases, were proposed as a mechanism for avoiding common problems with multiple parameter type...
122
click to vote
TSE
2010
15 years 2 months ago
2010
This paper presents an innovative model of a program’s internal behavior over a set of test inputs, called the probabilistic program dependence graph (PPDG), that facilitates pr...
171
click to vote
PLDI
2011
ACM
14 years 7 months ago
2011
ACM
Current proposals for concurrent shared-memory languages, including C++ and C, provide sequential consistency only for programs without data races (the DRF guarantee). While the i...
133
click to vote
ICFP
2007
ACM
16 years 4 months ago
2007
ACM
Operators for delimiting control and for capturing composable continuations litter the landscape of theoretical programming language research. Numerous papers explain their advant...
150
click to vote
ICFP
2006
ACM
16 years 4 months ago
2006
ACM
Datatype-generic programming (DGP) is the next step beyond abstracting over types using parametric polymorphism, which is often called "genericity" in object-oriented la...