Towards the Generation of Efficient Code from Verified Programs (1984)
by
John Mchugh
| Citations: | 6 - 1 self |
Document Versions
| Towards the Generation of Efficient Code from Verified Programs –John Mchugh — 1984 |
| Towards the Generation of Efficient Code from Verified Programs –John Mchugh — 1984 |
