Cheap Eagerness: Speculative Evaluation in a Lazy Functional Language (2000)

Cached

Download Links

by Karl-Filip Faxen
Citations:7 - 2 self

Active Bibliography

1 Dynamic Cheap Eagerness – Karl-Filip Faxen - 2001
5 Representation Analysis for Coercion Placement – Karl-Filip FaxĂ©n
543 Perspectives on Program Analysis – Flemming Nielson - 1996
535 Program Analysis and Specialization for the C Programming Language – Lars Ole Andersen - 1994
458 Domain Theory – Samson Abramsky, Achim Jung - 1994
402 Automatic predicate abstraction of C programs – Thomas Ball , Rupak Majumdar, Todd Millstein, Sriram K. Rajamani - 2001
283 Computational Interpretations of Linear Logic – Samson Abramsky - 1993
18 Systematic Realisation of Control Flow Analyses for CML – Kirsten L. Solberg Gasser, Flemming Nielson, Hanne Riis Nielson - 1997
241 Abstract interpretation frameworks – Patrick Cousot, Radhia Cousot - 1992