1.
A Design and Visual Implement for the Operation Sementics of the Procedure Languages
一个过程式语言操作语义的设计与可视化实现
2.
assembler language coding form
汇编程序语言编码形式
3.
production language compiler
产生式语言编译程序
4.
The Exploration on the Curriculum Appraisal Pattern of English Linguistics in Universities;
高校英语语言学课程评价模式的思考
5.
Interactive CAI Teaching Mode in English Linguistics Course;
英语语言学课程的互动式多媒体教学
6.
Formal Semantics of Framed Temporal Logic Programming Language MSVL
框架时序逻辑程序语言MSVL的形式语义
7.
block-structured programming language
分程序结构式程序设计语言
8.
Visual Implementation of Operational Semantics of Procedural Programming Languages;
过程式程序设计语言操作语义的可视化实现
9.
The Formalized Procedural Semantic of Logic Programming Language G(?)del
逻辑程序设计语言G（?）del的形式化过程性语义
10.
On Z Notation-based Formalization of Software Engineering
基于Z语言的软件工程形式化研究
11.
programming language for interaction teaching
交互式教学用程序设计语言
12.
NON-VON NEUMANN STYLE PROGRAMMING LANGUAGES PROLOG AND FP
非冯·诺依曼式程序设计语言PROLOG和IR
13.
Tripartite Design Law of the Computer Programming Language
计算机程序设计语言的三段式设计法
14.
Programming Language Design of VeriJava Based on Design by Contract;
基于契约式设计的VeriJava编程语言设计
15.
A New Pattern of Classroom for Chinese Children s Second Language Learning;
中国儿童第二语言学习的新课程模式
16.
A Probe into Reforming the Teaching Pattern of the Program-Designing Experiment;
程序设计语言实验教学模式改革初探
17.
Compiler: A system program that translates high-level language programs into machine code.
编译程式:是一种系统程式，它把高阶层语言程式转为机器代码。
18.
A Study on the Formulaic Speech in Spontaneous Talk by Chinese EFL Learners;
中国英语学习者即时发言中程式话语使用研究