Sciweavers

5 search results - page 1 / 1
» ifl 2000
Sort
View
IFL
2000
Springer
103views Formal Methods» more  IFL 2000»
13 years 8 months ago
A Usage Analysis with Bounded Usage Polymorphism and Subtyping
Jörgen Gustavsson, Josef Svenningsson
IFL
2000
Springer
135views Formal Methods» more  IFL 2000»
13 years 8 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
IFL
2000
Springer
13 years 8 months ago
Improving Cache Effectiveness through Array Data Layout Manipulation in SAC
Sac is a functional array processing language particularly designed with numerical applications in mind. In this field the runtime performance of programs critically depends on the...
Clemens Grelck
IFL
2000
Springer
13 years 8 months ago
Non-determinism Analysis in a Parallel-Functional Language
Abstract. The paper presents several analyses to detect non-deterministic expressions in the parallel-functional language Eden. First, the need for the analysis is motivated, and t...
Ricardo Pena, Clara Segura