4835 search results - page 360 / 967 » Refactoring Functional Programs |
175
click to vote
CEFP
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. In this paper we sketch some experiments with the construction of a simple compiler for a high level intermediate lazy functional language, with C++ as a target language....
175
click to vote
VMCAI
2007
Springer
16 years 28 days ago
2007
Springer
We present a constraint-based algorithm for the synthesis of invariants expressed in the combined theory of linear arithmetic and uninterpreted function symbols. Given a set of pro...
181
click to vote
CONCUR
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. We introduce a novel way to integrate functional and concurrent programming based on intuitionistic linear logic. The functional core arises from interpreting proof reduc...
165
Voted
MICAI
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. In this paper we investigate the effectiveness of applying fuzzy controllers to create strong computer player programs in the domain of backgammon. Fuzzeval, our proposed...
144
click to vote
MPC
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. Erasure of information incurs an increase in entropy and dissipates heat. Therefore, information-preserving computation is essential for constructing computers that use e...