Donald Knuth. The Remaining Trouble Spots in ALGOL 60. Communications of the ACM 10(10):611--618, October 1967 Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
The Formal Specification of Programming Languages - Vaninwegen (1994) (Correct)
Specification Standards - A White Paper for the Center for High.. - Gunter (1996) (Correct)
Specifying the PLAN Network Programming Langauge - Pankaj Kakkar Michael (Correct)
The Machine-Assisted Proof Of Programming Language Properties - Vaninwegen (1996) (18 citations) (Correct)
Semantics-based Reverse Engineering - Baumann, Fässler, Kiser, Öztürk.. (1994) (4 citations) (Correct)
Formal Methods - Selected Historical References - Jones, McCauley (1992) (1 citation) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC