Denali
- 17 May 2002
- conference paper
- Published by Association for Computing Machinery (ACM)
Abstract
No abstract availableThis publication has 6 references indexed in Scilit:
- Extended static checking for JavaPublished by Association for Computing Machinery (ACM) ,2002
- Eliminating branches using a superoptimizer and the GNU C compilerPublished by Association for Computing Machinery (ACM) ,1992
- Performance of the Firefly RPCACM Transactions on Computer Systems, 1990
- Superoptimizer: a look at the smallest programPublished by Association for Computing Machinery (ACM) ,1987
- Variations on the Common Subexpression ProblemJournal of the ACM, 1980
- Fast Decision Procedures Based on Congruence ClosureJournal of the ACM, 1980