...
机译:SIGNAL语言的两种形式语义的比较研究
School of Computer Science and Engineering, Beihang University, Beijing 100191, China ,IRIT-CNRS, Universite de Toulouse, Toulouse 31062, France;
IRIT-CNRS, Universite de Toulouse, Toulouse 31062, France;
IRIT-CNRS, Universite de Toulouse, Toulouse 31062, France;
synchronous language; SIGNAL; trace semantics; tagged model semantics; semantics equivalence; Coq;
机译:启用了语义Web的多代理系统的领域特定建模语言的形式语义
机译:面向对象语言中的复制语义动态超载:一个正式帐户
机译:手还是锤子?语义学中的形式语言和自然语言
机译:研究编程语言形式语义的实验室活动
机译:电子物理系统领域特定建模语言的形式语义规范。
机译:语义障碍对中风失语症和语义痴呆患者言语短期记忆的影响:一项比较研究
机译:SIGNAL语言的两种形式语义的比较研究