Computer Science Department
School of Computer Science, Carnegie Mellon University


Mode Checking in the Concurrent Logical Framework

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

August 2014


Also appears as Qatar Campus Technical Report

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