The goal of this thesis is to create a suitable standard for evaluating lazy evaluation techniques, and to use this standard to compare existing methods of lazy evaluation in C++. For our standard we will create a rigorous definition of what lazy evaluation should entail, and a set of varied benchmarks to test the efficiency of these distinct approaches. The methods we will analyze will include techniques using template meta programming, operator overloading coupled with unique object creation, and C++ 11 lambda expressions. We will also take into account existing libraries such as Boost and FC++. Our thesis should be able to act as a resource to correctly select the optimal method for lazy evaluation in C++ given a specific problem. This p...
Machine Peter Sestoft Department of Mathematics and Physics Royal Veterinary and Agricultural Univ...
The major question examined by this paper is whether sufficient fine-grain parallelism can be obtain...
: is a system for parallel evaluation of lazy functional programs implemented on a Sequent Symmetry....
Lazy evaluation is an evaluation strategy in programming languages. Lazy evaluation delays the evalu...
AbstractLazy evaluation (or call-by-need) is widely used and well understood, partly thanks to a cle...
AbstractFrom a theoretical point of view, lazy evaluation corresponds to the call-by-name evaluation...
We address the problem of producing a trace of the evaluation of a program written in a lazy functio...
Partial evaluation is a high-level optimization technique that, given a program text and some of its...
This thesis presents research into tracing the evaluation of lazy functional languages. The work is ...
Call-by-need evaluation, also known as lazy evaluation, provides two key benefits: compositional pro...
While many programmers appreciate the benefits of lazy program-ming at an abstract level, determinin...
AbstractC++ template metaprogramming is often regarded as a functional language, however, nowadays m...
In the recent years a multitude of functional language implementations has been developed, whereby t...
The evaluation strategies of programming languages can be broadly categorised as strict or lazy. A c...
AbstractWe develop a natural technique for defining functions in logic, i.e. PROLOG, which directly ...
Machine Peter Sestoft Department of Mathematics and Physics Royal Veterinary and Agricultural Univ...
The major question examined by this paper is whether sufficient fine-grain parallelism can be obtain...
: is a system for parallel evaluation of lazy functional programs implemented on a Sequent Symmetry....
Lazy evaluation is an evaluation strategy in programming languages. Lazy evaluation delays the evalu...
AbstractLazy evaluation (or call-by-need) is widely used and well understood, partly thanks to a cle...
AbstractFrom a theoretical point of view, lazy evaluation corresponds to the call-by-name evaluation...
We address the problem of producing a trace of the evaluation of a program written in a lazy functio...
Partial evaluation is a high-level optimization technique that, given a program text and some of its...
This thesis presents research into tracing the evaluation of lazy functional languages. The work is ...
Call-by-need evaluation, also known as lazy evaluation, provides two key benefits: compositional pro...
While many programmers appreciate the benefits of lazy program-ming at an abstract level, determinin...
AbstractC++ template metaprogramming is often regarded as a functional language, however, nowadays m...
In the recent years a multitude of functional language implementations has been developed, whereby t...
The evaluation strategies of programming languages can be broadly categorised as strict or lazy. A c...
AbstractWe develop a natural technique for defining functions in logic, i.e. PROLOG, which directly ...
Machine Peter Sestoft Department of Mathematics and Physics Royal Veterinary and Agricultural Univ...
The major question examined by this paper is whether sufficient fine-grain parallelism can be obtain...
: is a system for parallel evaluation of lazy functional programs implemented on a Sequent Symmetry....