CMU-CS-QTR-123
Computer Science Qatar
School of Computer Science, Carnegie Mellon University



CMU-CS-QTR-123

Mode Checking in the Concurrent Logical Framework

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

August 2014

CMU-CS-QTR-123.pdf

Also appears as Computer Science Department
Technical Report CMU-CS-14-134


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 - Copenhagen, Denmark


Return to: SCS Technical Report Collection
School of Computer Science

This page maintained by reports@cs.cmu.edu