Search Sciweavers | Sciweavers

5415 search results - page 22 / 1083

» The Implementation of Functional Programming Languages

click to vote

POPL
2002
ACM

141views Programming Languages» more POPL 2002»

Adaptive functional programming

14 years 9 months ago

Download www.cs.cmu.edu

An adaptive computation maintains the relationship between its input and output as the input changes. Although various techniques for adaptive computing have been proposed, they r...

Umut A. Acar, Guy E. Blelloch, Robert Harper

claim paper

Read More »

click to vote

LISP
2008

96views more LISP 2008»

Dynamic slicing of lazy functional programs based on redex trails

13 years 9 months ago

Download users.dsic.upv.es

Abstract. Tracing computations is a widely used methodology for program debugging. Lazy languages, however, pose new demands on tracing techniques because following the actual trac...

Claudio Ochoa, Josep Silva, Germán Vidal

claim paper

Read More »

click to vote

CEFP
2005
Springer

99views Programming Languages» more CEFP 2005»

Exploiting Purely Functional Programming to Obtain Bounded Resource Behaviour: The Hume Approach

14 years 2 months ago

Download www-fp.cs.st-andrews.ac.uk

This chapter describes Hume: a functionally-based language for programming with bounded resource usage, including time and space properties. The purpose of the Hume language design...

Kevin Hammond

claim paper

Read More »

click to vote

ICFP
2001
ACM

137views Programming Languages» more ICFP 2001»

A Fresh Approach to Representing Syntax with Static Binders in Functional Programming

14 years 9 months ago