A mechanically verified code generator (1989)
Cached
Download Links
- [www.cs.utexas.edu]
- [dirleton.csres.utexas.edu]
- [www.computationallogic.com]
- [www.cli.com]
- DBLP
Other Repositories/Bibliography
by
William D. Young
| Venue: | Journal of Automated Reasoning |
| Citations: | 30 - 1 self |
BibTeX
@ARTICLE{Young89amechanically,
author = {William D. Young},
title = {A mechanically verified code generator},
journal = {Journal of Automated Reasoning},
year = {1989},
volume = {5},
pages = {493--518}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
in this document are those of the author and should not be interpreted as representing the official policies, either expressed or implied, of Computational
