Sciweavers

8197 search results - page 49 / 1640
» Adaptive functional programming
Sort
View
76
Voted
APLAS
2005
ACM
15 years 6 months ago
Termination Analysis of Higher-Order Functional Programs
Damien Sereni, Neil D. Jones
126
Voted
IFL
2000
Springer
135views Formal Methods» more  IFL 2000»
15 years 4 months ago
Freja, Hat and Hood - A Comparative Evaluation of Three Systems for Tracing and Debugging Lazy Functional Programs
Abstract. In this paper we compare three systems for tracing and debugging Haskell programs: Freja, Hat and Hood. We evaluate their usefulness in practice by applying them to a num...
Olaf Chitil, Colin Runciman, Malcolm Wallace
MIDDLEWARE
2005
Springer
15 years 6 months ago
Generic Middleware Substrate Through Modelware
Abstract. Conventional middleware architectures suffer from insufficient module-level reusability and the ability to adapt in face of functionality evolution and diversification....
Charles Zhang, Dapeng Gao, Hans-Arno Jacobsen
101
Voted
ESOP
2000
Springer
15 years 4 months ago
Functional Nets
Abstract. Functional nets combine key ideas of functional programming and Petri nets to yield a simple and general programming notation. They have their theoretical foundation in J...
Martin Odersky
91
Voted
ERSHOV
1999
Springer
15 years 4 months ago
Extensions: A Technique for Structuring Functional-Logic Programs
Abstract. Monads are a technique widely used in functional programming languages to address many different problems. This paper presents extensions, a functional-logic programming...
Rafael Caballero, Francisco Javier López-Fr...