Partial Evaluation of Call-by-value lambda-calculus with Side-effects (0)

Cached

Download Links

by Kenichi Asai , Hidehiko Masuhara , Akinori Yonezawa
Venue:ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '97
Citations:5 - 5 self

Active Bibliography

535 Program Analysis and Specialization for the C Programming Language – Lars Ole Andersen - 1994
527 Points-to Analysis in Almost Linear Time – Bjarne Steensgaard - 1996
3 Integrating Partial Evaluators into Interpreters – Kenichi Asai - 2001
402 Automatic predicate abstraction of C programs – Thomas Ball , Rupak Majumdar, Todd Millstein, Sriram K. Rajamani - 2001
237 Tutorial Notes on Partial Evaluation – Charles Consel, Olivier Danvy - 1993
366 Flow-Sensitive Type Qualifiers – Jeffrey S. Foster, Tachio Terauchi, Alex Aiken - 2002
331 Optimization of Object-Oriented Programs using Static Class Hierarchy Analysis – Jeffrey Dean, David Grove, Craig Chambers - 1995
329 Architectural Support for Quality of Service for CORBA Objects – John A. Zinky, David E. Bakken, Richard D. Schantz - 1997
295 Solving Shape-Analysis Problems in Languages with Destructive Updating – Mooly Sagiv, Thomas Repst, Reinhard Wilhelm - 1996