Verifying stateful programs with substructural state and hoare types - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Johannes Borgström, Juan Chen, Nikhil Swamy. Verifying stateful programs with substructural state and hoare types. In Ranjit Jhala, Wouter Swierstra, editors, Proceedings of the 5th ACM Workshop Programming Languages meets Program Verification, PLPV 2011, Austin, TX, USA, January 29, 2011. pages 15-26, ACM, 2011. [doi]

This author has not been identified. Look up 'Johannes Borgström' in GoogleThis author has not been identified. Look up 'Juan Chen' in GoogleThis author has not been identified. Look up 'Nikhil Swamy' in Google

runs on WebDSL