scientific article
From MaRDI portal
Publication:3028326
zbMath0625.68014MaRDI QIDQ3028326
R. John M. Hughes, Philip Wadler
Publication date: 1987
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
projectiondomain theorycontextfinite domainsfixpoint techniquesnon-flat domainsrecursive context equationssub-expression
Related Items (12)
Type-based cost analysis for lazy functional languages ⋮ On collecting semantics for program analysis ⋮ Projections for polymorphic strictness analysis ⋮ Strictness and totality analysis with conjunction ⋮ Modular, higher order cardinality analysis in theory and practice ⋮ Strictness analysis aids inductive proofs ⋮ Head-strictness is not a monotonic abstract property ⋮ Deciding inclusion of set constants over infinite non-strict data structures ⋮ Inverse image analysis generalises strictness analysis ⋮ Usage counting analysis for lazy functional languages ⋮ Using Template Haskell for Abstract Interpretation ⋮ Compiling laziness using projections
This page was built for publication:
