4835 search results - page 584 / 967 » Refactoring Functional Programs |
206
click to vote
TPHOL
2005
IEEE
16 years 1 months 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...
146
click to vote
CAISE
2005
Springer
16 years 29 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...
175
click to vote
ICCS
2005
Springer
16 years 29 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...
170
Voted
ICN
2005
Springer
16 years 28 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...
182
Voted
TACAS
2005
Springer
16 years 27 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...