Sciweavers

5863 search results - page 50 / 1173
» Calculating Functional Programs
Sort
View
86
Voted
APLAS
2005
ACM
15 years 7 months ago
Termination Analysis of Higher-Order Functional Programs
Damien Sereni, Neil D. Jones
IFL
2000
Springer
135views Formal Methods» more  IFL 2000»
15 years 5 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
110
Voted
ICFP
2010
ACM
15 years 3 months ago
Matching lenses: alignment and view update
Bidirectional programming languages are a practical approach to the view update problem. Programs in these languages, called lenses, define both a view and an update policy--i.e.,...
Davi M. J. Barbosa, Julien Cretin, Nate Foster, Mi...
110
Voted
ESOP
2000
Springer
15 years 5 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
107
Voted
ERSHOV
1999
Springer
15 years 6 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...