Inference of Session Types From Control Flow

Electronic Notes in Theoretical Computer Science (ENTCS), pp. 15-40, 2010.

Cited by: 13|Bibtex|Views7|Links
EI
Keywords:
control flowimperative programmingtransformation toolkitimperative languageprogram analysisMore(6+)

Abstract:

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

Code:

Data:

Your rating :
0

 

Tags
Comments