康拉德·瓦特 彼得·马克西莫维奇 内拉坎坦·R·克里希纳斯瓦米 菲利普·加德纳 一种用于一阶封装WebAssembly的程序逻辑。 2018 abs/1811.03479 CoRR公司 http://arxiv.org/abs/1811.03479 数据库/期刊/corr/corr1811.html#abs-1811-03479