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.
KeywordsProgramming Language Presentation Form Type Theory Operational Semantic Linear Logic
- 3.Cervesato, I., Pfenning, F., Walker, D., Watkins, K.: A concurrent logical framework II: Examples and applications. Technical Report CMU-CS-02-102. Department of Computer Science, Carnegie Mellon University (2002) (revised May 2003)Google Scholar