Projections for polymorphic first-order strictness analysis
From MaRDI portal
Publication:4279259
DOI10.1017/S0960129500001493zbMath0798.68034MaRDI QIDQ4279259
No author found.
Publication date: 31 October 1994
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
polymorphismcompilers for functional languagescompile-time analysisprojection- based strictness analysis
Theory of compilers and interpreters (68N20) Theories (e.g., algebraic theories), structure, and semantics (18C10)
Cites Work
This page was built for publication: Projections for polymorphic first-order strictness analysis