Logical Methods in Computer Science, Special Issue 15
Special Issue of the Symposium on Principles of Programming Languages 2009 [POPL 2009]
- Peter A. Jonsson, Johan Nordlander:
Positive Supercompilation for a Higher-Order Call-By-Value Language. - Ross Tate, Michael Stepp, Zachary Tatlock, Sorin Lerner:
Equality Saturation: A New Approach to Optimization.