CMU-CS-14-134
Computer Science Department
School of Computer Science, Carnegie Mellon University



CMU-CS-14-134

Mode Checking in the Concurrent Logical Framework

Jorge Luis Sacchini*, Iliano Cervesato*, Frank Pfenning**, Carsten Schümann***

August 2014

CMU-CS-14-134.pdf

Also appears as Qatar Campus Technical Report
CMU-CS-QTR-123


Keywords: Mode Checking, Logical Frameworks, Concurrent Logical Framework

We define and prove correct a mode checker for a significant fragment of the concurrent logical framework CLF.

43 pages

*Computer Science Department, Carnegie Mellon University, Qatar Campus
**Computer Science Department, Carnegie Mellon University, Pittsburgh
***IT University of Copenhagen, Denmark


Return to: SCS Technical Report Collection
School of Computer Science

This page maintained by reports@cs.cmu.edu