Relational Parametricity and Separation Logic

Relational Parametricity and Separation Logic

Show other versions (1)
Bibliographic Details
Main Authors: Birkedal, L, Yang, H
Format: Conference item
Published: Springer−Verlag 2007
Search Result 1
Relational Parametricity and Separation Logic

Relational Parametricity and Separation Logic by Birkedal, L, Yang, H

Published 2008
Journal article
Show all versions (2)

Similar Items