1608 search results - page 115 / 322 » Functional Understanding Based on an Ontology of Functional ... |
ENTCS
2000
13 years 8 months ago
2000
Haskell has long needed a debugger. Although there has been much research into the topic of debugging lazy functional programs, no robust tool has yet come from the Haskell commun...
ADMA
2007
Springer
14 years 2 months ago
2007
Springer
This paper uses an optimization approach to address the problem of conceptual clustering. The aim of AGAPE, which is based on the tabu-search meta-heuristic using split, merge and ...
ICCS
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Implementations of parallel dialects (or: coordination languages) on a functional base (or: computation) language always have to extend complex runtime environments by th...
BIRTHDAY
2006
Springer
14 years 2 hour ago
2006
Springer
Abstract. We introduce a mathematical framework for black-box software testing of functional correctness, based on concepts from stochastic process theory. This framework supports ...
GI
2010
Springer
13 years 6 months ago
2010
Springer
: In this article, it is proven for finite systems that if by reciprocal interaction, one finite system determines the action of another finite system, then both systems become sub...