Computer Science Monographs
2015200920001999199719961995199419931992
1991199019891988198719861985198419831982
198119801978197619741973197219711970
|
[PRG12] |
THE MATHEMATICAL SEMANTICS OF ALGOL 60 Peter Mosses No. PRG12. OUCL. January, 1974. |
|
[PRGX13] |
THE FORMAL SEMANTICS OF COMPUTER LANGUAGES AND THEIR IMPLEMENTATIONS Robert Milne No. PRGX13. OUCL. 1974. |
|
[PRG11] |
CONTINUATIONS A MATHEMATICAL SEMANTICS FOR HANDLING FULL JUMPS Christopher Strachey and Christopher P. Wadsworth No. PRG11. OUCL. January, 1974. |
|
[PRG12-Commentary] |
COMMENTARY ON THE MATHEMATICAL SEMANTICS OF ALGOL 60 Peter Mosses No. PRG12−Commentary. OUCL. January, 1974. Details | BibTeX | Download PublicationFile | Download PRG12 Commentary.pdf |