Searching for "Formal semantics of weak references." – sorted by Relevance.
-
Formal Semantics of Weak References
- Formal Semantics of Weak References Kevin Donnelly J. J. Hallett Assaf Kfoury Department
- Add To MetaCart
-
A formal semantics for weak references
- A Formal Semantics for Weak References J. J. Hallett Boston University jhallett@(email omitted); A. J
- Cited by 6 (4 self) – Add To MetaCart
-
Some Considerations on a Calculus with Weak References
- are not clearly specified. Without a formal semantics for weak references it becomes impossible to prove
- Add To MetaCart

