Design patterns in separation logic - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Neelakantan R. Krishnaswami, Jonathan Aldrich, Lars Birkedal, Kasper Svendsen, Alexandre Buisse. Design patterns in separation logic. In Andrew Kennedy, Amal Ahmed, editors, Proceedings of TLDI 08: 2008 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Savannah, GA, USA, January 24, 2009. pages 105-116, ACM, 2009. [doi]

This author has not been identified. Look up 'Neelakantan R. Krishnaswami' in GoogleThis author has not been identified. Look up 'Jonathan Aldrich' in GoogleThis author has not been identified. Look up 'Lars Birkedal' in GoogleThis author has not been identified. Look up 'Kasper Svendsen' in GoogleThis author has not been identified. Look up 'Alexandre Buisse' in Google

runs on WebDSL