Using meta-level compilation to check FLASH protocol code
- 12 November 2000
- conference paper
- Published by Association for Computing Machinery (ACM)
- Vol. 34 (5) , 59-70
- https://doi.org/10.1145/378993.379002
Abstract
No abstract availableThis publication has 9 references indexed in Scilit:
- BanderaPublished by Association for Computing Machinery (ACM) ,2000
- A quantitative analysis of the performance and scalability of distributed shared memory cache coherence protocolsIEEE Transactions on Computers, 1999
- Interface compilation: steps toward compiling program interfaces as languagesIEEE Transactions on Software Engineering, 1999
- EraserACM Transactions on Computer Systems, 1997
- Automatic compiler-inserted I/O prefetching for out-of-core applicationsPublished by Association for Computing Machinery (ACM) ,1996
- Verification of FLASH cache coherence protocol by aggregation of distributed transactionsPublished by Association for Computing Machinery (ACM) ,1996
- Automated proofs of object code for a widely used microprocessorJournal of the ACM, 1996
- A metaobject protocol for C++Published by Association for Computing Machinery (ACM) ,1995
- ATOMPublished by Association for Computing Machinery (ACM) ,1994