Expressing heap-shape contracts in linear logic - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Frances Perry, Limin Jia, David Walker. Expressing heap-shape contracts in linear logic. In Stan Jarzabek, Douglas C. Schmidt, Todd L. Veldhuizen, editors, Generative Programming and Component Engineering, 5th International Conference, GPCE 2006, Portland, Oregon, USA, October 22-26, 2006, Proceedings. pages 101-110, ACM, 2006. [doi]

This author has not been identified. Look up 'Frances Perry' in GoogleThis author has not been identified. Look up 'Limin Jia' in GoogleThis author has not been identified. It may be one of the following persons:

David Walker

Look up 'David Walker' in Google

runs on WebDSL