Substructural Operational Semantics and Linear Destination-Passing Style (Invited Talk)
暂无分享,去创建一个
We introduce substructural operational semantics (SSOS), a presentation form for the semantics of programming languages. It combines ideas from structural operational semantics and type theories based on substructural logics (such as linear logic) in order to obtain a rich, uniform, and modular framework.
[1] David Walker,et al. A Concurrent Logical Framework II: Examples and Applications , 2003 .
[2] Matthias Felleisen,et al. A Syntactic Approach to Type Soundness , 1994, Inf. Comput..
[3] Peter D. Mosses,et al. Modular structural operational semantics , 2004, J. Log. Algebraic Methods Program..