@在诉讼程序{watt_et_al:LIPIcs.ECOP.2019.9,作者={Watt,Conrad和Maksimovi,Petar和Krishnaswami,Neelakantan R.和Gardner,Philippa},title={{一阶封装WebAssembly的程序逻辑}},booktitle={第33届欧洲面向对象编程会议(ECOOP 2019)},页数={9:1--9:30},series={莱布尼茨国际信息学论文集(LIPIcs)},国际标准图书编号={978-3-95977-111-5},ISSN={1868-8969},年份={2019},体积={134},editor={Donaldson,Alastair F.},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2019.9},URN={URN:nbn:de:00030-drops-108011},doi={10.4230/LIPIcs.ECOOP.2019.9},annote={关键词:WebAssembly,程序逻辑,分离逻辑,可靠性,机械化}}