4757 search results - page 98 / 952 » Monads for Functional Programming |
103
click to vote
CAV
2010
Springer
15 years 6 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...
106
click to vote
CPHYSICS
2008
15 years 2 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 7 months ago
2004
Springer
112
click to vote
AOSD
2008
ACM
15 years 4 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...
128
click to vote
AAAI
2012
13 years 4 months ago
2012
We consider symbolic dynamic programming (SDP) for solving Markov Decision Processes (MDP) with factored state and action spaces, where both states and actions are described by se...