5415 search results - page 100 / 1083 » The Implementation of Functional Programming Languages |
APLAS
2010
ACM
13 years 9 months ago
2010
ACM
This paper studies the problem of statically determining upper bounds on the resource consumption of first-order functional programs. A previous work approached the problem with an...
ESOP
1994
Springer
14 years 1 months ago
1994
Springer
Functional language compilers implement only weak-head reduction. However, there are cases where head normal forms or full normal forms are needed. Here, we study how to use cps c...
CORR
2004
Springer
13 years 9 months ago
2004
Springer
Many functional logic languages are based on narrowing, a unification-based goal-solving mechanism which subsumes the reduction mechanism of functional languages and the resolutio...
CEFP
2007
Springer
14 years 3 months ago
2007
Springer
This tutorial paper aims to provide the necessary expertise for working with the proof assistant Sparkle, which is dedicated to the lazy functional programming language Clean. The ...
DSRT
2008
IEEE
13 years 11 months ago
2008
IEEE
Most common real-time embedded programming languages provide a means to specify functionality; however, they have few constructs to specify precise timing constraints. LabVIEW is ...