李慧琪

作品数：9被引量：12H指数：2
导出分析报告
供职机构：厦门大学信息科学与技术学院计算机科学系更多>>
发文主题：逻辑程序设计语言课程教学DEL语言语言编译课程内容更多>>
发文领域：自动化与计算机技术文化科学经济管理更多>>
发文期刊：《计算机科学与探索》《工业和信息化教育》《计算机时代》《计算机教育》更多>>
所获基金：福建省自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-9
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
编译原理课程教学之思考被引量：4
《计算机教育》2013年第18期66-68,77,共4页李慧琪 
结合编译原理课程教学工作,从课程特点、教学内容的合理取舍、语法和语义分析等难点内容的讲授方式、实验内容的设计等方面进行深入探讨,对教学过程进行总结,讲述如何提高教学质量。
关键词：编译原理 课程内容 实验环节 
“编译程序设计原理”课程教学之思考被引量：5
《工业和信息化教育》2013年第12期64-67,共4页刘坤起 李慧琪 孙长圣 赵致琢 
教育部计算机专业综合教学改革(石家庄经济学院)经费支持;河北省计算机专业综合教学改革(石家庄经济学院)经费支持;河北省高校综合改革试点学院(石家庄经济学院信息工程学院)经费支持;石家庄经济学院教改项目2008J04;福建省计算机专业人才培养创新实验区(厦门大学)经费支持;福建省计算机科学与技术特色专业(厦门大学;仰恩大学)经费支持;福建省本科重点学科专业(仰恩大学;计算机科学与技术)经费支持;仰恩大学教学与科研基金等项目的经费支持
本文针对"编译原理"课程的教学实际,分析了该课程的特点及其教学意义和实验课程的重要性,给出了实验内容的典型设计及其实施方案,最后对实践教学工作进行思考和总结,以期不断提高课程质量。
关键词：编译原理 课程内容 教学方法 实践环节 
逻辑语言剪枝算子的过程语义及其实现被引量：1
《计算机科学》2011年第5期123-126,148,共5页李慧琪 赵致琢 
福建省自然科学基金(A030007);仰恩大学科学技术研究经费资助
论述了逻辑程序设计中剪枝算子的作用及传统剪枝算子的过程性语义和说明性语义不一致问题;介绍了新型逻辑程序语言Gdel中的commit剪枝算子;通过引入一组定义描述其过程语义,并进一步阐述了剪枝算子和延迟计算规则之间的关系,讨论了G...
关键词：逻辑程序设计 剪枝算子 延迟计算 
Gdel语言编译时类型处理技术研究
《计算机科学与探索》2010年第3期256-264,共9页林永鹏 赵致琢 李慧琪 徐丹 
福建省自然科学基金No.A030007~~
Gdel是一种发展中的逻辑程序设计语言,目前还没有开发出编译器。Gdel语言的类型系统独特于通常的逻辑程序设计语言,语义上已初步形成了相应的描述方法,建立了严格的理论基础。按照传统的方法,逻辑程序的运行机制和Gdel语言的多态性决定...
关键词：Goedel编译器 类型推断 多态处理 
Gdel语言控制机制的研究与实现
《智能系统学报》2009年第4期345-351,共7页高伟 赵致琢 李慧琪 昌杰 
Gdel语言是在Prolog语言基础上发展而来的一种新型逻辑程序设计语言,而控制机制是逻辑程序设计语言的核心内容.针对Prolog语言控制机制存在的问题,引出了Gdel语言中新的控制机制,包括DELAY延迟机制和剪枝操作然后通过实例分析,表明...
关键词：Gdel语言 控制机制 延迟 剪枝 
逻辑程序设计语言Gdel与Prolog的比较
《智能系统学报》2009年第2期163-168,共6页昌杰 赵致琢 李慧琪 高伟 
在多态多类的一阶逻辑基础之上,围绕类型系统、模块系统、控制机制、元程序设计和输入/输出部分对Gdel语言功能进行分析.重点比较了逻辑程序设计语言Gdel与Prolog的联系与区别,通过比较分析,表明由于摒弃了Prolog语言中的非逻辑成分...
关键词：Gdel语言 PROLOG语言 模块系统 类型系统 控制机制 元程序设计 
Gdel语言对现代软件工程方法的支持被引量：1
《计算机时代》2006年第11期1-3,共3页李松斌 赵致琢 李慧琪 
厦门大学创新研究基金项目(Y07012);福建省自然科学基金项目(A0310007)
文章以一种新型的逻辑程序设计语言——G+del语言为例,对逻辑程序设计语言与现代软件工程主要思想和方法的结合情况进行了初步探讨。G,del语言通过引入模块系统、类型系统和延迟计算机制等不同于以往逻辑程序的新机制,能够支持现代软件...
关键词：Goedel语言 软件开发方法 模块系统 类型系统 延迟计算 
Prolog语言与Gdel语言中元程序设计方法的研究被引量：1
《厦门大学学报（自然科学版）》2005年第B06期247-250,共4页王啸澜 赵致琢 李慧琪 
元程序设计是许多逻辑程序语言具有的重要特点,它可以有效地实现程序自解释自调节功能,研究逻辑语言的元程序设计方法对于自动优化程序设计和实现智能计算都具有重要的意义.Prolog语言与Gdel语言分别支持使用非基本表示与使用基本表示...
关键词：PROLOG语言 程序设计方法 程序语言 智能计算 自动优化 逻辑语言 调节功能 实现程序 实现机制 主要特点 设计功能 功能实现 部分求值 构造方法 解释程序 元程序 自解 
C++和Java继承机制的比较被引量：1
《计算机工程》1997年第S1期238-241,共4页李慧琪 李玉茜 
C++支持类的多继承,而Java采用类的单继承。类的多继承有其灵活性,但语义复杂给使用带来了困难。Java中引入了接口,接口中定义了一组协议规范,即方法原型。将方法的实现部分推迟到类中完成,从而将接口继承与实现继承分开。接口继承可以...
关键词：继承 多继承 接口 实现 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部