Term rewriting used to define the semantics of a programming language
By: Supervised by: Coleman, D..
Contributors: Coleman, D., Supervisor.; Computation.
Publisher: UMIST
Published: 1984
Place of publication: Manchester
Language: eng
Notes: Thesis number: 6828.

Msc.