3713 search results - page 421 / 743 » Constructing a Calculus of Programs |
149
click to vote
ESOP
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. During the last two decades, monads have become an indispensable tool for structuring functional programs with computational effects. In this setting, the mathematical n...
155
click to vote
ICEIS
2009
IEEE
15 years 11 months ago
2009
IEEE
Proposed and developed is a service composition framework for decision-making under uncertainty, which is applicable to stochastic optimization of supply chains. Also developed is ...
113
Voted
CPAIOR
2009
Springer
15 years 11 months ago
2009
Springer
Open forms of global constraints allow the addition of new variables to an argument during the execution of a constraint program. Such forms are needed for difficult constraint pro...
127
Voted
HASKELL
2009
ACM
15 years 11 months ago
2009
ACM
Structured documents are commonly edited using a free-form editor. Even though every string is an acceptable input, it makes sense to maintain a structured representation of the e...
118
click to vote
HASKELL
2009
ACM
15 years 11 months ago
2009
ACM
We present by example a new application domain for functional languages: emulators for embedded real-time protocols. As a casestudy, we implement a simple emulator for the Biphase...