James R. Cordy
· 7 obras en el catálogo
Obras
A diagrammatic approach to programming language semantics
1976
New constructs supported by Toronto Turing compiler
1986
Specification of Concurrent Euclid (preliminary version)
1980
Specification of Concurrent Euclid (version 1)
1981

The Turing Programming Language
