.png){kind=icon}
返回
Reconstructing Continuation-Passing Semantics for WebAssembly
.png){kind=icon}
PRE
AI
DOI：10.1007/978-3-031-99751-8_9.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
WebAssembly是一种流行的低级中间表示（IR）和编译目标。WebAssembly的官方规范提供了小步归约语义。与其他常见的低级IR不同，WebAssembly提供了结构化控制流构造，其归约规则因参考语义中的附加管理指令而变得复杂。本文开发了一种基于续延传递风格（CPS）的替代语义，它可以被实现为一个简洁、组合性和尾递归的解释器或CPS转换器。通过使用元语言中的续延消除了对管理指令的需求。我们进一步证明，CPS语义可以扩展以支持其他形式的控制抽象，如效果处理器。
Keyword:
WebAssembly
Continuation-passing style
Big-step semantics
期刊
T
IF:
0
论文数:
20
被引数:
0
机构
引用论文
.png){kind=icon}
分享收藏分享收藏
查看更多内容