@收款{zbMATH06745861，作者={Calcagno，Cristiano and Gardner，Philippa and Zarfaty，Uri}，标题={上下文逻辑和树更新}，BookTitle={第32届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL'05，美国加利福尼亚州长滩，2005年1月12日至14日}，ISBN={1-58113-830-X}，页码={271--282}，年份={2005}，Publisher＝{纽约，NY:计算机机械协会（ACM）}，语言={英语}，DOI={10.1145/1040305.1040328}，关键词={68N30,03B70,68P05,68Q42}，URL={hdl.handle.net/10044/1/33277}，zbMATH＝{6745861}，Zbl={1369.68132}}