A Transformational Approach which Combines Size Inference and Program Optimization (2001)

by Christoph A. Herrmann , Christian Lengauer
Venue:SEMANTICS, APPLICATIONS, AND IMPLEMENTATION OF PROGRAM GENERATION (SAIG’01), LECTURE NOTES IN COMPUTER SCIENCE 2196
Citations:5 - 0 self

Active Bibliography

619 Language-Based Information-Flow Security – Andrei Sabelfeld , Andrew C. Myers - 2003
562 Extended Static Checking for Java – Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, Raymie Stata - 2002
591 Dynamically discovering likely program invariants to support program evolution – M Ernst, J Cockrell, W Griswold, D Notkin - 1998
1289 Factor Graphs and the Sum-Product Algorithm – Frank R. Kschischang, Brendan J. Frey, Hans-Andrea Loeliger - 1998
411 Efficient Context-Sensitive Pointer Analysis for C Programs – Robert P. Wilson, Monica S. Lam - 1995
308 Programming with bananas, lenses, envelopes and barbed wire – Erik Meijer, Maarten Fokkinga, Ross Paterson - 1991
254 MetaML and Multi-Stage Programming with Explicit Annotations – Walid Taha, Tim Sheard - 1999
197 A Modal Analysis of Staged Computation – Rowan Davies, Frank Pfenning - 1996
200 Succinct indexable dictionaries with applications to encoding k-ary trees and multisets – Rajeev Raman, Venkatesh Raman, S. Srinivasa Rao