Hierarchical Shape Abstraction of Dynamic Structures in Static Blocks

Pascal Sotin, Xavier Rival. Hierarchical Shape Abstraction of Dynamic Structures in Static Blocks. In Ranjit Jhala, Atsushi Igarashi, editors, Programming Languages and Systems - 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012. Proceedings. Volume 7705 of Lecture Notes in Computer Science, pages 131-147, Springer, 2012. [doi]

Authors

Pascal Sotin

This author has not been identified. Look up 'Pascal Sotin' in Google

Xavier Rival

This author has not been identified. Look up 'Xavier Rival' in Google