31 search results - page 7 / 7 » : An Action-Based Logic for Reasoning about Contracts |
PLDI
2003
ACM
13 years 10 months ago
2003
ACM
In prior work [15] we studied a language construct restrict that allows programmers to specify that certain pointers are not aliased to other pointers used within a lexical scope....