G.卡恩。(编辑);D.B.麦昆。(编辑);普洛金,G。(编辑) 数据类型的语义。1984年6月27日至29日,法国索菲亚·安蒂波利斯国际研讨会。诉讼程序。 (英语) 兹比尔0534.00019 计算机科学课堂讲稿, 173. 柏林等:Springer-Verlag。六、 391 p.42.00马克;$15.30 (1984). 本卷的文章将在缩写“数据类型语义,Proc”下单独进行审查。国际交响乐团。,索菲亚-安蒂波利斯/法国,1984年,Lect。注释计算。科学。173英寸。 引用于19评论引用于2文件 MSC公司: 00亿Bxx 会议记录和文章集 68-06 与计算机科学有关的会议记录、会议、收藏等 关键词:语义学;数据类型;专题讨论会;索菲亚·安蒂波利斯/法国;诉讼 PDF格式BibTeX公司 XML格式