IFL 2000 | Sciweavers

20

IFL
2000
Springer

88views Formal Methods» more IFL 2000»

Improving Cache Effectiveness through Array Data Layout Manipulation in SAC

13 years 11 months ago

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

claim paper

Read More »

19

click to vote

IFL
2000
Springer

103views Formal Methods» more IFL 2000»

A Usage Analysis with Bounded Usage Polymorphism and Subtyping

13 years 11 months ago

Download www.cs.ucla.edu

Jörgen Gustavsson, Josef Svenningsson

claim paper

Read More »

25

click to vote

IFL
2000
Springer

135views Formal Methods» more IFL 2000»

Freja, Hat and Hood - A Comparative Evaluation of Three Systems for Tracing and Debugging Lazy Functional Programs

13 years 11 months ago

Download www.cs.kent.ac.uk

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

claim paper

Read More »

21

click to vote

IFL
2000
Springer

95views Formal Methods» more IFL 2000»

Non-determinism Analysis in a Parallel-Functional Language

13 years 11 months ago

Download dalila.sip.ucm.es

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

claim paper

Read More »

18

click to vote

IFL
2000
Springer

94views Formal Methods» more IFL 2000»

Verifying Generic Erlang Client-Server Implementations

13 years 11 months ago

Download www.erlang.se

Thomas Arts, Thomas Noll

claim paper