Separation logic, abstraction and inheritance.
Separation logic, abstraction and inheritance.
Matthew J. Parkinson, Gavin M. Bierman
01 September 2008
Venue : POPL
External Link: https://doi.org/10.1145/1328438.1328451
01 September 2008
Venue : POPL
External Link: https://doi.org/10.1145/1328438.1328451