李慧琪
- 作品数：18 被引量：13H指数：2
- 供职机构：厦门大学信息科学与技术学院计算机科学系更多>>
- 发文基金：福建省自然科学基金更多>>
- 相关领域：自动化与计算机技术文化科学经济管理更多>>
- Gdel语言编译时类型处理技术研究
- 2010年
- Gdel是一种发展中的逻辑程序设计语言,目前还没有开发出编译器。Gdel语言的类型系统独特于通常的逻辑程序设计语言,语义上已初步形成了相应的描述方法,建立了严格的理论基础。按照传统的方法,逻辑程序的运行机制和Gdel语言的多态性决定了一些变量的类型和语义只能在运行时才能确定,把这类变量的类型检查放到程序运行中处理,势必增加许多额外的计算。提出了一种处理Gdel语言类型系统的编译技术。针对语言的类型,对其相关语法进行适当修改,通过类型推断,把变量类型的检查工作提前到编译阶段完成,可以较好地处理其变量类型的语义问题,同时减少了运行时类型检查工作,从而提高程序的运行效率。
- 林永鹏赵致琢李慧琪徐丹
- 编译原理课程教学之思考被引量：4
- 2013年
- 结合编译原理课程教学工作,从课程特点、教学内容的合理取舍、语法和语义分析等难点内容的讲授方式、实验内容的设计等方面进行深入探讨,对教学过程进行总结,讲述如何提高教学质量。
- 李慧琪
- 关键词：课程内容
- Gdel语言对现代软件工程方法的支持被引量：2
- 2006年
- 文章以一种新型的逻辑程序设计语言——G+del语言为例,对逻辑程序设计语言与现代软件工程主要思想和方法的结合情况进行了初步探讨。G,del语言通过引入模块系统、类型系统和延迟计算机制等不同于以往逻辑程序的新机制,能够支持现代软件设计的一些主流方法。模块系统提供了组织大规模程序的方法,并通过结合类型系统实现了对抽象数据类型程序设计的支持,从而能够支持面向对象程序设计;延迟计算则使利用该语言所编制的软件在可重用性方面获得提升。
- 李松斌赵致琢李慧琪
- 关键词：软件开发方法模块系统
- 编译原理课程教学之思考
- 结合编译原理课程教学工作,从课程特点、教学内容的合理取舍、语法和语义分析等难点内容的讲授方式、实验内容的设计等方面进行深入探讨,对教学过程进行总结,讲述如何提高教学质量.
- 李慧琪
- 关键词：计算机专业编译原理课程课堂教学
- 文献传递
- 发现周期性多层序贯模式
- 1背景近年来,数据挖掘(Data Mining)问题受到了数据库、人工智能、统计学等各界广泛的重视。在数据库中发现序贯模式(Sequential Pattern)就是其中一个重要的研究课题,并具有广泛的应用领域。例如,在...
- 李慧琪叶仰明薛永生
- 关键词：CYCLIC
- 文献传递
- 基于类型一阶逻辑系统的逻辑程序设计语言语义描述方法的研究
- 逻辑程序设计是一种说明性程序设计方式，它将程序的逻辑和控制分开，程序员只需考虑逻辑描述部分，控制部分则完全交付语言的编译或解释系统完成，这使得人们能在较高的抽象层面上进行程序设计。这一思想需要借助合适的逻辑程序设计语言来...
- 李慧琪
- 关键词：逻辑程序设计
- G(o)del语言编译中多态多类类型的实现技术简报
- 本文对G(o)del语言编译中多态多类类型的实现进行了研究。文章针对类型系统的实现，介绍了语义分析中的静态类型检查和实现一致匹配时的动态类型检查等关键技术。
- 苏剑煌赵致琢李慧琪李松斌侯米娜
- 关键词：程序设计程序语言语言编译
- 文献传递
- C++和Java继承机制的比较被引量：1
- 1997年
- C++支持类的多继承,而Java采用类的单继承。类的多继承有其灵活性,但语义复杂给使用带来了困难。Java中引入了接口,接口中定义了一组协议规范,即方法原型。将方法的实现部分推迟到类中完成,从而将接口继承与实现继承分开。接口继承可以间接替代多继承,具有多继承的优点,而且使用简单。
- 李慧琪李玉茜
- 关键词：接口
- Gdel语言编译中多态多类类型的实现技术简报
- ＜正＞1 引言 Godel语言是继Prolog语言之后出现的新型说明性通用逻辑程序设计语言。它建立在多态多类的一阶逻辑基础之上,摒弃了Prolog语言中的非逻辑成分,试图解决Prolog语言中存在的语义问题。
- 苏剑煌赵致琢李慧琪李松斌侯米娜
- 文献传递
- 发现周期性多层序贯模式
- 本文在讨论数据挖掘提出了周期性多层序贯模式的定义,并结合Apriori算法中,基于支持度的修剪和周期性数据库中频率修剪,给出周期性多层序贯模式的挖掘算法.
- 李慧琪叶仰明薛永生
- 关键词：数据挖掘
- 文献传递
