Methods for specifying static semantics

Computer Languages - Tập 6 - Trang 1-17 - 1981
M.H. Williams1
1Department of Computer Science, Rhodes University, Grahamstown, South Africa