1.
Computer Virus Detection Method Based on Program Semantic;
基于程序语义的计算机病毒检测方法
2.
Research on Semantic Analusis of C Program Based on GCC Abstract Syntax Tree Text
基于GCC抽象语法树文本的C源程序语义分析方法研究
3.
semantic grammar parsers
语义型语法分析程序
4.
Formal Semantics of Framed Temporal Logic Programming Language MSVL
框架时序逻辑程序语言MSVL的形式语义
5.
A term once used synonymously with" programming language" .
曾与“程序设计语言”为同义词的术语。
6.
Denotational Semantics and Program Analysis for ATLAS;
ATLAS语言指称语义及程序分析技术
7.
Research on Semantic Correlation Order during the Grammaticalization Process of "Lai";
“来”的语法化过程的语义关联顺序研究
8.
The Declarative Semantics of Logic Programming Language G(?)del
逻辑程序设计语言G(？)del的说明性语义
9.
Visual Implementation of Operational Semantics of Procedural Programming Languages;
过程式程序设计语言操作语义的可视化实现
10.
The Formalized Procedural Semantic of Logic Programming Language G(?)del
逻辑程序设计语言G（?）del的形式化过程性语义
11.
data and structure definition language compiler
数据和结构定义语言编译程序
12.
System and Procedure of Synonym Teaching in TCFL;
系统化、程序化的对外汉语同义词教学
13.
Denotational Semantics of Dynamic Fuzzy Logic Programming Language
动态模糊逻辑程序设计语言的指称语义
14.
Context Analysis of the "Value Substance,Devalue Procedure" Thesis:On the Problem of Procedural Justice Incidentally;
“重实体,轻程序”命题的语境分析——兼论程序正义问题
15.
Teaching Design of C Language Programming Based on Constructivism Principle;
基于建构主义的《C语言程序设计》教学设计
16.
A Study on Trial Patterns of Death Penalty Reexamination Under the Linguistic Environment of Procedural Justice;
程序正义语境下的死刑复核审理模式探究
17.
Technologies of Assembly Sequence Evaluation
基于工程语义的装配顺序快速规划与评估
18.
Dimension of Procedural Justice--Based on China's Analysis of the Criminal Justice Context
程序正义之维度——基于中国刑事司法语境的分析