OALib Journal期刊
ISSN: 2333-9721
费用：99美元

投递稿件

查看量	下载量

- 1993

LPS程序的过程语义

Full-Text Cite this paper Add to My Lib

Abstract:

为了研究Non—1NF关系模型G.M.,Kuper提出了LPS语言,基于这种语言,本文给出了用最一般合一描述的程序的过程语义,并用解释方法实现了该语言

Contact Us

service@oalib.com

WhatsApp +8615387084133