Building Reliable Compilers with a Formal Methods Framework
Download:
pdf
by Nathaniel Gray, Cristian T Ăpus, Aleksey Nogin, Jason Hickey
http://csdrm.caltech.edu/publications/cit-asci-tr/cit-asci-tr227.pdf
Add To MetaCart
Abstract:
Reliability is an issue in compiler writing just like it is in
Citations
| 4 | MetaPRL — A modular logical environment. Accepted to the TPHOLs 2003 Conference – Hickey, Nogin, et al. - 2003 |
| 3 | Fault tolerance using whole-process migration and speculative execution – Smith - 2003 |
| 1 | Formal compiler implementation in a logical framework – Hickey, Nogin, et al. - 2003 |
