@收款{zbMATH07250954，作者={Pientka、Brigitte和Sch{\“o}pp、Ulrich}，标题={上下文类型的语义分析}，BookTitle={软件科学和计算结构基础。第23届国际会议，FOSSACS 2020，作为欧洲软件理论和实践联合会议的一部分，于2020年4月25日至30日在爱尔兰都柏林举行。诉讼}，国际标准图书编号={978-3-030-45230-8；978-3-0.30-45231-5}，页码={502--521}，年份={2020年}，出版商＝{Cham:S普林格}，语言={英语}，DOI={10.1007/978-3-030-45231-5_26}，关键词={68Nxx，68Qxx}，zbMATH={7250954}}