您的位置: 专家智库 > >

文献类型

  • 6篇中文期刊文章

领域

  • 6篇自动化与计算...

主题

  • 2篇程序设计
  • 1篇代数
  • 1篇代数规范
  • 1篇语义
  • 1篇语义分析
  • 1篇设计语言
  • 1篇属性文法
  • 1篇数据类
  • 1篇数据类型
  • 1篇图式
  • 1篇图式语言
  • 1篇接口
  • 1篇结构树
  • 1篇C++
  • 1篇程序设计语言
  • 1篇抽象数据
  • 1篇抽象数据类型
  • 1篇JAVA

机构

  • 6篇华东师范大学

作者

  • 6篇李玉茜
  • 4篇李中华
  • 2篇施丽华
  • 1篇李慧琪
  • 1篇朱姝
  • 1篇杨宗源

传媒

  • 3篇计算机工程
  • 1篇华东师范大学...
  • 1篇计算机研究与...
  • 1篇计算机科学

年份

  • 1篇1998
  • 1篇1997
  • 1篇1993
  • 1篇1992
  • 2篇1991
6 条 记 录,以下是 1-6
排序方式:
C++和Java继承机制的比较被引量:1
1997年
C++支持类的多继承,而Java采用类的单继承。类的多继承有其灵活性,但语义复杂给使用带来了困难。Java中引入了接口,接口中定义了一组协议规范,即方法原型。将方法的实现部分推迟到类中完成,从而将接口继承与实现继承分开。接口继承可以间接替代多继承,具有多继承的优点,而且使用简单。
李慧琪李玉茜
关键词:接口
图式程序内部表示的设计与实现
1998年
文中通过分析图式语言及其图式程序的特征和它们内部表示的特殊要求.提出了一种特殊的村结构来体现和管理图式程序的层次结构,采用结为树与正文相结合的方法来解决图式程序内部表示由于频繁的插入、移动、定位等操作所带来的一系列问题,同时给出这种方法具体的设计和实现。
杨宗源李玉茜萧剑平朱姝
关键词:图式语言结构树程序设计
代数规范的可计算实现
1991年
本文给出代数规范可计算实现的定义,证明了每一个可计算实现都可用特定的三元组来形式描述.在该定理的基础上,可进一步讨论可计算实现的性质.
李中华李玉茜
关键词:代数规范程序设计语言
抽象数据类型的代数规格说明
1991年
本文提出抽象数据类型的代数规格说明的一种新的语义。以该语义为基础,讨论代数方法的说明能力,并证明:所有部分可计算代数都存在代数规格说明。最后,文章还将论证代数规格说明的充分完备性、协调性、独立性的不可判定性。
李中华李玉茜
关键词:抽象数据类型代数
拓广属性文法
1992年
一、引言属性文法被普遍用作为基于语言的环境中增量语义分析的基础。传统属性文法中,属性是局部的,即语义等式仅能引用相同产生式实例中属性的值。对于以属性文法为基础的增量语义分析,属性的局部性无法有效地传递语义树中符号定义点和引用点之间的语义信息。换言之,为了把符号的定义信息传送到引用点上,定义信息必须逐结点地经过许多中介属性;
李中华施丽华李玉茜
关键词:属性文法语义分析
属性的增量赋值
1993年
单个属性的赋值通常被视为原子活动.这导致在增量语义分析中复杂属性成分的重复赋值和无效赋值.本文认为:增量语义分析中,复杂属性的赋值应予分解;并提出了属性分解的两种方法:垂直分解和水平分解.为说明这些思想,给出了属性类型定义的一个样本,并提出不完全度的概念,进一步阐述了属性的增量赋值方法.最后,还提出了对属性增量赋值的其它改进.
李中华施丽华李玉茜
共1页<1>
聚类工具0