Publication:4311530
From MaRDI portal
zbMath0809.68079MaRDI QIDQ4311530
Publication date: 27 October 1994
68Q45: Formal languages and automata
68N20: Theory of compilers and interpreters
68-02: Research exposition (monographs, survey articles) pertaining to computer science
Related Items
Projections for polymorphic first-order strictness analysis, The correctness of a higher-order lazy functional language implementation: An exercise in mechanical theorem proving, Proving the correctness of compiler optimisations based on a global analysis: a study of strictness analysis†, Lazy rewriting and eager machinery, Deciding inclusion of set constants over infinite non-strict data structures, Context-sensitive rewriting strategies, Safety of Nöcker's strictness analysis