[P.德兰萨特。;科托夫，V.E。;高德尔，M.C。;特琳·G·。;N.D.琼斯。;施密特，D.A。;Broy，M。;Wirsing，M。;博利尔，P。;里普肯，K。;美国卡斯滕斯。;齐默尔曼，E。;M·拉斯科夫斯基。] 语言和传统。1978年10月至1981年10月，罗克扬科特，《信息与自动化研究所（IRIA）》，《研究所组织文本》。 （法语） Zbl 0473.68078号 收藏“印度研讨会”。Rocquencourt/法国：国家信息与自动化研究所（Institute National de Recherche en Informatique et en Automatique）。176页F 56.00（1981年）。 页码：24/35−5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 显示扫描页面 MSC公司： 68问题55 计算理论中的语义学 68-06 与计算机科学有关的会议记录、会议、收藏等 60年第68季度 规范和验证（程序逻辑、模型检查等） 65年第68季度 形式语言和自动机 00亿Bxx 会议记录和文章集 关键词：语言;叛徒;神学院;罗康库;印度;属性语义;编译器定义和生成的语义方面;集成触发功能并行系统;并行计算;抽象类型;规范;指称语义学;抽象数据类型;不确定性;ADA编译器;属性文法;GAG系统 引文：Zbl 0397.68087号;Zbl 0414.68056号 PDF格式BibTeX公司 XML格式