Searching for "On Garbage and Program Logic." – sorted by Relevance.
-
On Garbage and Program Logic
- On Garbage and Program Logic ? ?? Cristiano Calcagno 12 and Peter W. O'Hearn 1 1 Queen Mary
- Cited by 7 (1 self) – Add To MetaCart
-
On Garbage and Program Logic
- On Garbage and Program Logic ? Cristiano Calcagno 12 and Peter W. O'Hearn 1 1 Queen Mary
- Add To MetaCart
-
Program logic and equivalence in the presence of garbage collection
- Program Logic and Equivalence in the Presence of Garbage Collection ? Cristiano Calcagno12
- Cited by 20 (1 self) – Add To MetaCart
-
Program Logic and Equivalence in the
- Abstract Program Logic and Equivalence in the Presence of Garbage Collection ⋆ Cristiano Calcagno
- Add To MetaCart
-
Program Logic and Equivalence in the Presence
- Program Logic and Equivalence in the Presence of Garbage Collection ? Cristiano Calcagno 12
- Add To MetaCart
-
Semantic and Logical Properties of Stateful Programming
- . R. D. Tennent. A note on undefined expression values in programming logics. Inf. Proc. Letters, 24
- Cited by 6 (2 self) – Add To MetaCart

