306 search results - page 62 / 62 » Constructive algebraic integration theory |
152
click to vote
POPL
2012
ACM
14 years 17 days ago
2012
ACM
In object-oriented programming, unique permissions to object references are useful for checking correctness properties such as consistency of typestate and noninterference of conc...