Computer programming; Grammars; Language programming; Parsing algorithms; Compilers; Theorems;
机译:教学机器使用L归因语法写得像人一样
机译:具有远程属性引用的圆形属性文法及其评估器
机译:使用高阶属性语法的基于模型的有效模糊测试
机译:YooccLa:用于L归因语法的解析器生成器
机译:模块化和高效自然语言处理的可执行属性语法。
机译:基于属性和值级别的多媒体网络中基于属性的有效访问控制(ABAC)策略检索方法
机译:关于高阶属性语法的有效增量评估
机译:高阶属性语法的有效增量评估