Next: Bibliography
Up: Cross-Architectural Performance Portability of
Previous: Conclusion
We thank the people at SRC, especially Rustan Leino and Mike Burrows,
for help with implementation and insightful discussions on Java
bytecode and architecture issues.