Inference of Session Types From Control Flow
Electronic Notes in Theoretical Computer Science (ENTCS), pp. 15-40, 2010.
control flowimperative programmingtransformation toolkitimperative languageprogram analysisMore(6+)
This is a study of a technique for deriving the session type of a program written in a statically typed imperative language from its control flow. We impose on our unlabelled session type syntax a well-formedness constraint based upon normalisation and explore the effects thereof. We present our inference algorithm declaratively and in a ...More
Full Text (Upload PDF)
PPT (Upload PPT)