Compositional Reasoning for Pointer Structures - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Yifeng Chen, Jeff W. Sanders. Compositional Reasoning for Pointer Structures. In Tarmo Uustalu, editor, Mathematics of Program Construction, 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings. Volume 4014 of Lecture Notes in Computer Science, pages 115-139, Springer, 2006. [doi]

This author has not been identified. Look up 'Yifeng Chen' in GoogleThis author has not been identified. Look up 'Jeff W. Sanders' in Google

runs on WebDSL