Study on the definition of static semantics of SDL
Zhao Yu · Journal of Changchun Post and Telecommunication Institute · 2002
Based on the analysis to the current definition method for the static semantics of SDL(Specification and Description Language), an approach to define the static semantics of SDL is presented from another perspective by means of ASM (Abstract State Machine) Compared with the current method, instead of using abstract syntax tree directly, this approach defines the static semantics in terms of static and dynamic functions, which can be implemented by a slight modification to the current method.