SAS 1993 | Sciweavers

31

click to vote

SAS
1993
Springer

118views Formal Methods» more SAS 1993»

Avoiding Repeated Tests in Pattern Matching

14 years 4 months ago

Download www.freidok.uni-freiburg.de

Peter Thiemann

claim paper

Read More »

44

click to vote

SAS
1993
Springer

139views Formal Methods» more SAS 1993»

Compiling FX on the CM-2

14 years 4 months ago

Download www.irisa.fr

Type and eﬀect systems provide a safe and eﬀective means of programming high-performance parallel computers with a high-level language that integrates both functional and impe...

Jean-Pierre Talpin, Pierre Jouvelot

claim paper

Read More »

31

click to vote

SAS
1993
Springer

126views Formal Methods» more SAS 1993»

Finiteness Conditions for Strictness Analysis

14 years 4 months ago

Download www.daimi.au.dk

We give upper bounds on the number of times the ﬁxed point operator needs to be unfolded for strictness analysis of functional languages with lists. This extends previous work b...

Flemming Nielson, Hanne Riis Nielson

claim paper

Read More »

29

click to vote

SAS
1993
Springer

109views Formal Methods» more SAS 1993»

Abstract Rewriting

14 years 4 months ago

Download afp.sourceforge.net

Didier Bert, Rachid Echahed, Bjarte M. Østv...

claim paper

Read More »

35

click to vote

SAS
1993
Springer

104views Formal Methods» more SAS 1993»

Strictness Properties of Lazy Algebraic Datatypes

14 years 4 months ago

Download research.microsoft.com

A new construction of a finite set of strictness properties for any lazy algebraic datatype is presented. The construction is based on the categorical view of the solutions to the...

P. N. Benton

claim paper

Read More »

32

click to vote

SAS
1993
Springer

103views Formal Methods» more SAS 1993»

Minimal Thunkification

14 years 4 months ago

Download www.cs.ucla.edu

Torben Amtoft

claim paper