A type system for borrowing permissions
Modular typestate checking of aliased objects
PLURAL
Companion of the 13th international conference on Software engineering - ICSE Companion ’08
Proceedings of the 22nd annual ACM SIGPLAN conference on Object oriented programming systems and applications - OOPSLA ’07
Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL ’12
Kevin Bierhoff
Robert Bocchino
Karl Naden
Checking API Protocol Compliance in Java
Gentrification Gone Too Far? Affordable 2Nd-class Values for Fun and (Co-)Effect
Gentrification gone too far? affordable 2nd-class values for fun and (co-)effect