Home \ Publications \ Technical Report Page | Login |
Working Note on a Type Checking Algorithm for Behavioral Separation Types Abstract:In this draft note, we preview ongoing work on the development of a type checking algorithm for the system of behavioral separation types introduced in " The Type Discipline of Behavioral Separation" URL: http://ctp.di.fct.unl.pt/~lcaires/papers/bst-runs.pdf |