Compositional certified resource bounds - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Quentin Carbonneaux, Jan Hoffmann 0002, Zhong Shao. Compositional certified resource bounds. In David Grove, Steve Blackburn, editors, Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, Portland, OR, USA, June 15-17, 2015. pages 467-478, ACM, 2015. [doi]

This author has not been identified. Look up 'Quentin Carbonneaux' in GoogleThis author has not been identified. Look up 'Jan Hoffmann 0002' in GoogleThis author has not been identified. It may be one of the following persons:

Zhong Shao

Look up 'Zhong Shao' in Google

runs on WebDSL