Denali
- 17 May 2002
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 37 (5), 304-314
- https://doi.org/10.1145/543552.512566
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