Substructural Operational Semantics and Linear Destination-Passing Style (Invited Talk)

  • Frank Pfenning
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3302)


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.


Programming Language Presentation Form Type Theory Operational Semantic Linear Logic 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. 1.
    Mosses, P.D.: Modular structural operational semantics. Journal of Logic and Algebraic Programming 60–61, 195–228 (2004)MathSciNetCrossRefzbMATHGoogle Scholar
  2. 2.
    Wright, A.K., Felleisen, M.: A syntactic approach to type soundness. Information and Computation 115, 38–94 (1994)MathSciNetCrossRefzbMATHGoogle Scholar
  3. 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

Copyright information

© Springer-Verlag Berlin Heidelberg 2004

Authors and Affiliations

  • Frank Pfenning
    • 1
  1. 1.Carnegie Mellon UniversityPittsburghUSA

Personalised recommendations