Separation logic and abstraction - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Matthew J. Parkinson, Gavin M. Bierman. Separation logic and abstraction. In Jens Palsberg, Martín Abadi, editors, Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2005, Long Beach, California, USA, January 12-14, 2005. pages 247-258, ACM, 2005. [doi]

This author has not been identified. Look up 'Matthew J. Parkinson' in GoogleThis author has not been identified. Look up 'Gavin M. Bierman' in Google

runs on WebDSL