提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学参考书目内容：文本/纯文本；charset=“utf-8”TY-CPAPER公司ID-DBLP:conf/pldi/SantosMAG20非盟-桑托斯，何塞·弗拉戈索AU-马克西莫维奇，彼塔非盟-阿永，萨沙埃利AU-菲律宾加德纳TI-Gillian，第一部分：符号执行的多语言平台。BT-第41届ACM SIGPLAN编程语言设计与实现国际会议论文集，PLDI 2020，英国伦敦，2020年6月15日至20日SP-927EP-9422020年上半年//文件编号：10.1145/3385412.3386014UR-（欧元）https://doi.org/10.1145/3385412.3386014急诊室-