4959 search results - page 132 / 992 » Imperative Functional Programming |
CAV
2010
Springer
15 years 3 months ago
2010
Springer
Synthesis of program fragments from specifications can make programs easier to write and easier to reason about. We present Comfusy, a tool that extends the compiler for the gener...
CPHYSICS
2008
14 years 11 months ago
2008
We present wannier90, a program for calculating maximally-localised Wannier functions (MLWF) from a set of Bloch energy bands that may or may not be attached to or mixed with othe...
ICALP
2004
Springer
15 years 4 months ago
2004
Springer
AOSD
2008
ACM
15 years 1 months ago
2008
ACM
Program enhancement refers to adding new functionality to an existing program. We argue that repetitive program enhancement tasks can be expressed as patterns, and that the applic...
115
click to vote
PLDI
2006
ACM
15 years 5 months ago
2006
ACM
Constructing correct concurrent garbage collection algorithms is notoriously hard. Numerous such algorithms have been proposed, implemented, and deployed – and yet the relations...