@收款{zbMATH06282418，作者={D’Silva、Vijay和Haller、Leopold和Kroening、Daniel}，标题={抽象满意度}，BookTitle={第41届ACM SIGPLAN-SIGCT编程语言原理研讨会论文集，POPL’14，美国加利福尼亚州圣地亚哥，2014年1月22-24日}，国际标准图书编号={978-1-4503-2544-8}，页码={139--150}，年份={2014}，Publisher={纽约，NY:计算机协会（ACM）}，语言={英语}，DOI={10.1145/2535838.2535868}，关键词={68Q60,68Q55,68T15,03B70}，zbMATH={6282418}，Zbl={1284.68392}}