Sciweavers

5863 search results - page 50 / 1173
» Calculating Functional Programs
Sort
View
128
Voted
APLAS
2005
ACM
15 years 12 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 10 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
ICFP
2010
ACM
15 years 7 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...
ESOP
2000
Springer
15 years 10 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
ERSHOV
1999
Springer
15 years 10 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...