| 命令式语言的高阶Action演算表示 |
| 金英 金成植 |
| 关键词：命令式语言 高阶Action演算表示 高阶性 数学结构 |
| 主要内容：Action演算簇（action calculi)是一种抽象的数学结构，已经表明它可以表示λ演算，进程代数，γ演算以及函数式语言等。作为Action演算族的进一步应用，针对一个典型的顺序命令式语言SIL，充分利用Action演算的可扩充性，定义了一个具体的Action演算AC（KSIL），同时为了给出循环计算的表示引入了高阶性，给出了SIL的AC（KSIL），语义，并证明了SIL的操作语义与AC（KSIL）语义之间的对应关系，最后讨论了顺序机制的控制及其控制规则定义方法，不仅表明Action演算可以方便地表示顺序计算，而且也证明了Action演算强大的描述能力。 |
| 《计算机研究与发展》 2002,39(10).-1366-1373 |
| 全文下载请进入http://hightech.stlib.cn/tpi_1/sysasp/include/index.asp |
微信公众号