1 citations · 2 across the 6 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.PL2017
Presburger-Definable Parameterized Typestates
Ashish Mishra, Deepak Dsouza, Y. N. Srikant
Typestates are good at capturing dynamic states of a program as compared to normal types that can capture static structural properties of data and program. Although useful, typesta…
cs.PL2017
Beyond-Regular Typestate
Ashish Mishra, Y. N. Srikant
We present an extension for regular typestates, called Beyond- Regular Typestate(BR-Typestate), which is expressive enough to model non-regular properties of programs and protocols…