DESIGN AND STATIC SEMANTICS OF ALGORITHM LANGUAGE L

Citation
Jz. Zhang et al., DESIGN AND STATIC SEMANTICS OF ALGORITHM LANGUAGE L, ACM SIGPLAN NOTICES, 32(11), 1997, pp. 57-64
Citations number
7
Journal title
Volume
32
Issue
11
Year of publication
1997
Pages
57 - 64
Database
ISI
SICI code
Abstract
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 concr ete syntax, abstract syntax and static semantics oft are presented at length. The design principle oft is also described, and the comparison with PASCAL is demonstrated by a couple of examples.