4835 search results - page 584 / 967 » Refactoring Functional Programs |
194
click to vote
TPHOL
2005
IEEE
16 years 10 days ago
2005
IEEE
We have definitionally extended Isabelle/HOLCF to support axiomatic Haskell-style constructor classes. We have subsequently defined the functor and monad classes, together with t...
130
click to vote
CAISE
2005
Springer
16 years 9 days ago
2005
Springer
Work in software reuse focuses on reusing artifacts. In this context, finding a reusable artifact is driven by a desired functionality. This paper proposes a change to this common...
159
click to vote
ICCS
2005
Springer
16 years 8 days ago
2005
Springer
The investment strategies can be divided into two classes: passive investment strategies and active investment strategies. An index tracking investment strategy belongs to the clas...
140
click to vote
ICN
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. This paper describes Paradis-Net, a typed event-driven messagepassing interface for designing distributed systems. Paradis-Net facilitates the development of both peer-to...
159
click to vote
TACAS
2005
Springer
16 years 7 days ago
2005
Springer
Fair discrete systems (FDSs) are a computational model of concurrent programs where fairness assumptions are specified in terms of sets of states. The analysis of fair discrete sy...