张岚
- 作品数：8 被引量：13H指数：2
- 供职机构：内蒙古财经学院计算机信息管理学院更多>>
- 相关领域：自动化与计算机技术经济管理更多>>
- 类高级语言编译器的设计与实现被引量：3
- 2009年
- 编译器的设计与实现是一个极其复杂的过程。为了说明编译器的基本原理,文章采用了一种类高级语言的高级语言,定义了它的规则,设计实现了该语言的编译器前端,并分别从词法分析、语法分析和语义分析等几个方面进行了设计。
- 张岚武保锭
- 关键词：词法分析语法分析语义分析
- 专题学习网站建设初探被引量：4
- 2007年
- 随着高校教育信息化步伐的逐步推进,专题学习网站的建设成为广大教育工作者探究的新热点,本文基于分析专题学习网站特性上,结合网站开发的实用技术,探讨如何开发高质量的专题学习网站。
- 王鑫张岚
- 关键词：专题学习网站
- “编译原理”课程内容本体构建被引量：2
- 2009年
- 为了更好地满足学生学习的需要,我们在"编译原理"网络教学系统中引入了本体技术。本体为不同的主体间交流提供语义基础,可以很方便的实现共享和重用。是目前各学科研究的热点。课程内容以本体为基础,会避免上面提到的问题。实现学生有效的学习。
- 张岚
- 关键词：本体领域本体本体构建
- 类高级语言解释器的设计与实现被引量：2
- 2009年
- 在程序设计中,将高级语言转化为计算机可以理解的语言可以通过解释程序来实现。解释程序通过词法分析、语法分析和语义分析等几个阶段将高级语言翻译为计算机能理解的语言。本文通过设计以上几个部分给出解释程序的实现。
- 张岚武保锭
- 关键词：词法分析语法分析语义分析解释器
- 词法分析器的设计与实现被引量：1
- 2008年
- 介绍了词法分析器的概念,并指出词法分析器设计时,输入的源程序以文件的形式存储在外部。主控程序通过打开文件调用待分析的源程度。
- 张岚王鑫
- 关键词：词法分析器正规式自动机
- 基于一种循环不变式构造方案的程序验证
- 大部分程序都要用到循环结构，如何有效地保证循环程序的正确性是程序正确性验证领域中重要的问题。目前针对循环程序的正确性验证存在着很多方案。其中，在程序中加入断言和不变式的证明方法是最为精确的一种。此方法通过数学上的证明对循...
- 张岚高博
- 关键词：循环不变式
- 计算机领域中的本体被引量：1
- 2009年
- 文章探讨了计算机领域中的"本体"问题,指出:本体为不同的主体间交流提供了语义基础,可以很方便地实现共享和重用。
- 张岚
- 关键词：本体领域本体本体构建计算机
- 基于一种循环不变式构造方案的程序验证
- 大部分程序都要用到循环结构,如何有效地保证循环程序的正确性是程序正确性验证领域中重要的问题。目前针对循环程序的正确性验证存在着很多方案。其中,在程序中加入断言和不变式的证明方法是最为精确的一种。此方法通过数学上的证明对循...
- 张岚高博
- 关键词：循环不变式
