Uniform ideals and strictness analysis

DOI10.1007/3-540-54233-7_124MaRDI QIDQ4036553zbMATH OpenFDO

Authors Christine Ernoult, Alan Mycroft

Publication date 18 May 1993

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-54233-7_124

zbMATH Keywords

lazy list strictness analysisScott-closed setssemanticsuniform ideal

Mathematics Subject Classification ID

Continuous lattices and posets, applications (06B35) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 1002941
• Projections for polymorphic first-order strictness analysis
• scientific article; zbMATH DE number 4016173
• Untyped strictness analysis
• Projections for polymorphic strictness analysis

Cited in

(2)

• The tensor product in Wadler's analysis of lists
• Uniform ideal completions

This page was built for publication: Uniform ideals and strictness analysis

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4036553)