@收款{zbMATH06721324，作者={Chargu{\'e}raud，Arthur and Pottier，Fran{\c{c}}ois}，标题＝｛分离逻辑的临时只读权限｝，BookTitle={编程语言和系统。第26届欧洲编程研讨会，2017年ESOP，作为欧洲软件理论和实践联合会议的一部分，2017年4月22日至29日在瑞典乌普萨拉举行。诉讼}，国际标准图书编号={978-3-662-54433-4；978-3-562-54434-1}，页码={260--286}，年份={2017年}，出版商={柏林：施普林格}，语言={英语}，DOI={10.1007/978-3-662-54434-1_10}，关键词={68N30,03B70}，zbMATH={6721324}，Zbl={1485.68056}}