阿马尔·艾哈迈德;德雷克·德雷尔;安德烈亚斯·罗斯伯格 依赖于州的表示独立性。 (英语) Zbl 1315.68080号 2009年1月18日至24日,美国佐治亚州萨凡纳,POPL'09,第36届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-60558-379-2)。340-353(2009年)。 引用于28文件 MSC公司: 68号30 软件工程的数学方面(规范、验证、度量、需求等) 68甲15 编程语言理论 68甲19 其他编程范式(面向对象、顺序、并发、自动等) 68问题65 抽象数据类型;代数规范 关键词:抽象数据类型;存在类型;地方政府;代表独立性;阶诱导逻辑关系 PDF格式BibTeX公司 XML格式引用 \textit{A.Ahmed}等人,in:第36届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集,POPL'09,佐治亚州萨凡纳,美国,2009年1月18-24日。纽约州纽约市:计算机机械协会(ACM)。340-353(2009年;Zbl 1315.68080) 全文: DOI程序 链接