@收款{zbMATH06514628，作者={巴赫·鲍尔森，卡斯珀和莫西斯，彼得·D·}，Title={为模块化结构操作语义生成专用解释器}，BookTitle={Logic-based program synthesis and transformation.第23届国际研讨会，2013年LOPSTR，西班牙马德里，2013年9月18-19日。修改选定论文}，国际标准图书编号={978-3-319-14124-4；978-3-316-14125-1}，页码={220--236}，年份={2014}，出版商={Cham:Springer}，语言={英语}，DOI={10.1007/978-3-319-14125-1_13}，关键词={68N20,68N17,68Q55,68Q60}，zbMATH={6514628}，Zbl={1453.68040}}