Modular verification of linked lists with views via separation logic - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jonas Braband Jensen, Lars Birkedal, Peter Sestoft. Modular verification of linked lists with views via separation logic. In Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs, FTFJP 2010, Maribor, Slovenia, June 22, 2010. ACM, 2010. [doi]

This author has not been identified. Look up 'Jonas Braband Jensen' in GoogleThis author has not been identified. Look up 'Lars Birkedal' in GoogleThis author has not been identified. Look up 'Peter Sestoft' in Google

runs on WebDSL