LPS程序的过程语义

微信服务号

微信订阅号

首页 > 过刊浏览>1993年第4卷第3期 >58-60

LPS程序的过程语义
DOI:
                        
                    
作者:
                        
                        
                    
作者单位:
作者简介:
通讯作者:
中图分类号:
基金项目:霍英东基金

A PROCEDURAL SEMANTICS OF THE LPS PROGRAMS

Author:

Affiliation:

Fund Project:

摘要

图/表

访问统计

参考文献

相似文献

引证文献

资源附件

文章评论

摘要:

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

Abstract:

To study the Non-INF relational model, G. M. Kuper proposed the LPS language. Based the LPS language,a procedural semantics with mgu s are introduced ,and we implamented the LPS language using meta-interpreter method.

参考文献

相似文献

引证文献

引用本文

赵春晓,李磊. LPS程序的过程语义.软件学报,1993,4(3):58-60

复制

文章指标

点击次数:
下载次数:
HTML阅读次数:
引用次数:

历史

收稿日期:1991-02-28
最后修改日期:1991-04-25
录用日期:
在线发布日期:
出版日期:

微信服务号

微信订阅号

引用本文

分享

文章指标

历史