Sciweavers

5863 search results - page 139 / 1173
» Calculating Functional Programs
Sort
View
LCPC
2005
Springer
15 years 8 months ago
Testing Speculative Work in a Lazy/Eager Parallel Functional Language
Eden is a parallel extension of the functional language Haskell. Eden inherits from Haskell its laziness, which allows it to avoid unnecessary computations. However, in order to en...
Alberto de la Encina, Ismael Rodríguez, Fer...
101
Voted
AGP
2003
IEEE
15 years 7 months ago
Time Equations for Lazy Functional (Logic) Languages
There are very few approaches to measure the execution costs of lazy functional (logic) programs. The use of a lazy execution mechanism implies that the complexity of an evaluation...
Elvira Albert, Josep Silva, Germán Vidal
139
Voted
JFP
2006
91views more  JFP 2006»
15 years 2 months ago
A reflective functional language for hardware design and theorem proving
This paper introduces reFLect, a functional programming language with reflection features intended for applications in hardware design and verification. The reFLect language is st...
Jim Grundy, Thomas F. Melham, John W. O'Leary
VISSOFT
2002
IEEE
15 years 7 months ago
Metrics-Based 3D Visualization of Large Object-Oriented Programs
In this paper a new approach for a metrics based software visualization is presented which supports an efficient and effective quality assessment of large object-oriented software...
Claus Lewerentz, Frank Simon
WSC
1996
15 years 3 months ago
Simulation of complex construction processes
Eight successively refined simulation models for the earthmoving operations involved in the construction of a dam provide the foundation for illustrating the ease and effectivenes...
Photios G. Ioannou, Julio C. Martínez