Publications

2 results at STOC 1973

Toward mechanical verification of properties of roundoff error propagation
- - Webb Miller
- 1973
- STOC 1973
From algebras to programming languages
- - Eric G. Wagner
- 1973
- STOC 1973