Avoiding exponential explosion
- 1 January 2001
- conference paper
- Published by Association for Computing Machinery (ACM)
- Vol. 36 (3) , 193-205
- https://doi.org/10.1145/360204.360220
Abstract
No abstract availableThis publication has 6 references indexed in Scilit:
- Translation validation for an optimizing compilerPublished by Association for Computing Machinery (ACM) ,2000
- The design and implementation of a certifying compilerPublished by Association for Computing Machinery (ACM) ,1998
- Refinement CalculusPublished by Springer Nature ,1998
- A generalization of Dijkstra's calculusACM Transactions on Programming Languages and Systems, 1989
- An efficient method of computing static single assignment formPublished by Association for Computing Machinery (ACM) ,1989
- Detecting equality of variables in programsPublished by Association for Computing Machinery (ACM) ,1988