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)
polymorphism; compilers for functional languages; compile-time analysis; projection- based strictness analysis
68N20: Theory of compilers and interpreters
18C10: Theories (e.g., algebraic theories), structure, and semantics
Cites Work