TL/I(ID:574/tli001)
- Began: 1971
- Published: 1971
An intermediate language for Turing machines
References:
Knuth, D. "Examples of Formal Semantics", Symposium on Semantics of Algorithmic Languages, E. Engeler ed, LNM 188, Springer 1971, pp212-235 view details
|