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

Cached

Download Links

by Karl-Filip Faxen
Citations:8 - 2 self

Active Bibliography

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