Strictness analysis

In computer science, strictness analysis refers to any algorithm used to prove that a function in a non-strict functional programming language is… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2008
2008
This paper proves correctness of Nöcker’s method of strictness analysis, implemented for Clean, which is an effective way for… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1994
Highly Cited
1994
The original formulation of abstract interpretation represents program properties by sets A property is understood as the set of… (More)
Is this relevant?
1993
1993
We give upper bounds on the number of times the fixed point operator needs to be unfolded for strictness analysis of functional… (More)
  • table 1
  • table 2
Is this relevant?
1991
1991
Projection-based backwards strictness analysis has been understood for some years. Surprisingly, even though the method is fairly… (More)
Is this relevant?
1991
1991
y Abstract This paper presents a framework for comparing two strictness analysis techniques: Abstract interpretation and non… (More)
Is this relevant?
Highly Cited
1991
Highly Cited
1991
The code compiled from a non-strict functional program usually manipulates heap-allocated boxed numbers. Compilers for such… (More)
Is this relevant?
1991
1991
A method for analysing the inverse of a first-order functional program is proposed. This method is based on denotational… (More)
Is this relevant?
Highly Cited
1988
Highly Cited
1988
Analyzing time complexity of functional programs in a lazy language is problematic, because the time required to evaluate a… (More)
Is this relevant?
Highly Cited
1987
Highly Cited
1987
Strictness analysis (at least for at domains) is well understood. For a few years the main concern was eeciency, since the… (More)
Is this relevant?
1986
1986
We use a common "sugared" version of first-order lambda calculus, where a program is a set of mutually recursive equations, each… (More)
Is this relevant?