Sciweavers

5 search results - page 1 / 1
» ifl 2000
Sort
View
64
Voted
IFL
2000
Springer
15 years 2 months ago
Verifying Generic Erlang Client-Server Implementations
Thomas Arts, Thomas Noll
70
Voted
IFL
2000
Springer
103views Formal Methods» more  IFL 2000»
15 years 2 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»
15 years 2 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
78
Voted
IFL
2000
Springer
15 years 2 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
93
Voted
IFL
2000
Springer
15 years 2 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