Decidability and syntactic control of interference


We investigate the decidability of observational equivalence and approximation in Reynolds’ “Syntactic Control of Interference” (SCI), a prototypical functionalimperative language in which covert interference between functions and their arguments is prevented by the use of an affine typing discipline. By associating denotations of terms in a fully abstract… (More)
DOI: 10.1016/j.tcs.2007.10.045


1 Figure or Table

Slides referencing similar topics