IFL 2000 | Sciweavers

10

IFL
2000
Springer

88views Formal Methods» more IFL 2000»

Improving Cache Effectiveness through Array Data Layout Manipulation in SAC

13 years 8 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 »

10

click to vote

IFL
2000
Springer

103views Formal Methods» more IFL 2000»

A Usage Analysis with Bounded Usage Polymorphism and Subtyping

13 years 8 months ago

Download www.cs.ucla.edu

Jörgen Gustavsson, Josef Svenningsson

claim paper

Read More »

15

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 8 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 »

10

click to vote

IFL
2000
Springer

95views Formal Methods» more IFL 2000»

Non-determinism Analysis in a Parallel-Functional Language

13 years 8 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 »

9

click to vote

IFL
2000
Springer

94views Formal Methods» more IFL 2000»

Verifying Generic Erlang Client-Server Implementations

13 years 8 months ago

Download www.erlang.se

Thomas Arts, Thomas Noll

claim paper