认知科学(Cognitive science) 人机交互(Human computer interaction) 程序语言语义(Programming language semantics) 计算语言学(Computational linguistics) 更多内容请点击>>>> 2017年布兰迪斯大学计算机科学博士专业深度解读 ..
基于16个网页-相关网页
首先定义了一种新的适用于描述区间时序逻辑程序语言语义的表达式格局和命令格局。
This thesis then investigates the operational semantics of MSVL. A new configuration with intervals for MSVL programs is defined.
本文提出了两种新的程序语言语义描述方法,属性转换文法atg和范式有序属性转换文法NOATG。
In this Paper, two new semantic description grammars-Attribute Traa? Formation grammar ATG and Normalized Ordered Attribute Transformation grammar NOATG are presented.
应用推荐