16190 search results - page 44 / 3238 » Applicative programming with effects |
JFP
2008
13 years 7 months ago
2008
This paper shows how type effect systems can be combined with model-checking techniques to produce powerful, automatically verifiable program logics for higher order programs. The...
EUROMICRO
2007
IEEE
14 years 2 months ago
2007
IEEE
We studied the perceived effects of pair programming (PP) compared to solo programming in a large scale, industrial software development context. We surveyed developers (N=28) reg...
EC
1998
13 years 7 months ago
1998
Parsimony pressure, the explicit penalization of larger programs, has been increasingly used as a means of controlling code growth in genetic programming. However, in many cases p...
DAC
2000
ACM
14 years 3 days ago
2000
ACM
ct General-purpose programming languages (GPL) are effective vehicles for FPGA design because they are easy to use, extensible, widely available, and can be used to describe both t...
SC
2000
ACM
14 years 3 days ago
2000
ACM
Parallel programmers typically assume that all resources required for a program’s execution are dedicated to that purpose. However, in local and wide area networks, contention f...