Sciweavers

IFL
2000
Springer
14 years 3 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
103views Formal Methods» more  IFL 2000»
14 years 3 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»
14 years 3 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
14 years 3 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
IFL
2000
Springer
14 years 3 months ago
Verifying Generic Erlang Client-Server Implementations
Thomas Arts, Thomas Noll