Design and static semantics of algorithm language L
Zhang Jiazhong, Wang Yanbing, Zheng Mingchun · ACM SIGPLAN Notices · 1997
In this paper, an algorithm language L is suggested both as a tool to express algorithm and as a model language for semantic study. The concrete syntax, abstract syntax and static semantics of L are presented at length. The design principle of L is also described, and the comparison with PASCAL is demonstrated by a couple of examples.