DENOTATIONAL SEMANTICS OF ALGORITHMIC LANGUAGE L

WANG Yanbing, ZHANG Jiazhong, LIU Hong. DENOTATIONAL SEMANTICS OF ALGORITHMIC LANGUAGE LJ. Journal of Computer Research and Development, 1998, 35(3).

Citation:

WANG Yanbing, ZHANG Jiazhong, LIU Hong. DENOTATIONAL SEMANTICS OF ALGORITHMIC LANGUAGE LJ. Journal of Computer Research and Development, 1998, 35(3).

Citation:

WANG Yanbing, ZHANG Jiazhong, LIU Hong. DENOTATIONAL SEMANTICS OF ALGORITHMIC LANGUAGE LJ. Journal of Computer Research and Development, 1998, 35(3).

Abstract

The dynamic denotational semantics of the algorithmic language L is defined. The recursive domain equations containing the function space constructor are not used here. The semantic definitions help to clarify some good mathematical properties of algorithmic language L and may be used to advocate a semantic declarative style with better readability and applicability.

FullText(HTML)

Turn off MathJax

Article Contents

Export File