机译:LR形式主义作为语法语义学的抽象解释
Division of Computer Science, Korea Advanced Institute of Science and Technology, Guseong-dong, Yuseong-gu, Daejeon, 305-701, Korea;
formal language; LR parsing; formal semantics; abstract interpretation;
机译:语法语义,通过抽象解释进行分析和解析
机译:解析为语法语义的抽象解释
机译:通过抽象分类文法的树邻接文法的语法语义接口
机译:索引语法的抽象解释
机译:通过抽象语法对生物结构进行建模,以解决计算生物学中的常见问题。
机译:在存在语义参考域的情况下学习简单和复杂的人工语法:对性能和意识的影响
机译:语法语义,抽象解释的分析和解析