3713 search results - page 210 / 743 » Constructing a Calculus of Programs |
142
click to vote
VMCAI
2009
Springer
16 years 1 months ago
2009
Springer
We present a lightweight type-and-effect system for Java programs that features two major innovations over extant object-oriented effects systems: initialization effects, which ...
170
click to vote
PADL
2007
Springer
16 years 20 days ago
2007
Springer
Writing code that manipulates bit streams is a painful and error-prone programming task, often performed via bit twiddling techniques such as explicit bit shifts and bit masks in p...
129
click to vote
ECOOP
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. Dependency injection is a hot topic among industrial developers using component frameworks. This paper first mentions that dependency injection and aspect-oriented progr...
142
click to vote
GECCO
2009
Springer
16 years 1 months ago
2009
Springer
Recently, it has been proven that evolutionary algorithms produce good results for a wide range of combinatorial optimization problems. Some of the considered problems are tackled...
327
click to vote
LPAR
2012
Springer
14 years 2 months ago
2012
Springer
Abstract. We present a novel counterexample generator for the interactive theorem prover Isabelle based on a compiler that synthesizes test data generators for functional programmi...