Termination preserving problem in the transformation of applicative programs Yongqiang SunRuzhan LuXiaorong Huang OriginalPaper Pages: 191 - 201
Some mathematical properties of the functional programming language FP Hong Zhu OriginalPaper Pages: 202 - 216
On interrupt strategy from the point of view of system efficiency Shicheng ChenZhongyi Zhou OriginalPaper Pages: 217 - 225