scientific article; zbMATH DE number 4016173
From MaRDI portal
Publication:3028326
Recommendations
- scientific article; zbMATH DE number 1002941
- Projections for polymorphic strictness analysis
- Projections for polymorphic first-order strictness analysis
- scientific article; zbMATH DE number 3907749
- On the power and limitations of strictness analysis
- Strictness and totality analysis
- Strictness analysis and denotational abstract interpretation
- Strictness analysis aids inductive proofs
- Strictness analysis for higher-order functions
- scientific article; zbMATH DE number 756052
Cited in
(17)- Head-strictness is not a monotonic abstract property
- Usage counting analysis for lazy functional languages
- On collecting semantics for program analysis
- Type-based cost analysis for lazy functional languages
- Using Template Haskell for abstract interpretation
- scientific article; zbMATH DE number 1002941 (Why is no real title available?)
- scientific article; zbMATH DE number 3967886 (Why is no real title available?)
- scientific article; zbMATH DE number 176724 (Why is no real title available?)
- On the power and limitations of strictness analysis
- scientific article; zbMATH DE number 860040 (Why is no real title available?)
- Compiling laziness using projections
- Projections for polymorphic strictness analysis
- Strictness and totality analysis with conjunction
- Modular, higher order cardinality analysis in theory and practice
- Deciding inclusion of set constants over infinite non-strict data structures
- Inverse image analysis generalises strictness analysis
- Strictness analysis aids inductive proofs
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3028326)
