An integrated proof language for imperative programs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Karen Zee, Viktor Kuncak, Martin C. Rinard. An integrated proof language for imperative programs. In Michael Hind, Amer Diwan, editors, Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2009, Dublin, Ireland, June 15-21, 2009. pages 338-351, ACM, 2009. [doi]

This author has not been identified. Look up 'Karen Zee' in GoogleThis author has not been identified. Look up 'Viktor Kuncak' in GoogleThis author has not been identified. Look up 'Martin C. Rinard' in Google

runs on WebDSL