# Strictness analysis

## Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2008

2008

- J. Funct. Program.
- 2008

This paper proves correctness of NÃ¶ckerâ€™s method of strictness analysis, implemented for Clean, which is an effective way forâ€¦Â (More)

Is this relevant?

Highly Cited

1994

Highly Cited

1994

- 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

- WSA
- 1993

We give upper bounds on the number of times the fixed point operator needs to be unfolded for strictness analysis of functionalâ€¦Â (More)

Is this relevant?

1991

1991

- Functional Programming
- 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

- FPCA
- 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

- FPCA
- 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

- Inf. Comput.
- 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

- POPL
- 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

- FPCA
- 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

- LISP and Functional Programming
- 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?