✦ LIBER ✦

Weak Reduction and Garbage Collection in Interaction Nets

✍ Scribed by Jorge Sousa Pinto

Book ID: 104445863
Publisher: Elsevier Science
Year: 2003
Tongue: English
Weight: 950 KB
Volume: 86
Category: Article
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(05)82614-3

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Complete distributed garbage collection

Complete distributed garbage collection using DGC-consistent cuts and .NET AOP-support

✍ Veiga, L.; Pereira, P.; Ferreira, P. 📂 Article 📅 2007 🏛 The Institution of Engineering and Technology 🌐 English ⚖ 647 KB

Garbage collection in an uncooperative e

Garbage collection in an uncooperative environment

✍ Hans-Juergen Boehm; Mark Weiser 📂 Article 📅 1988 🏛 John Wiley and Sons 🌐 English ⚖ 964 KB

Tree Rerooting in Distributed Garbage Co

Tree Rerooting in Distributed Garbage Collection: Implementation and Performance Evaluation

✍ Luc Moreau 📂 Article 📅 2001 🏛 Springer 🌐 English ⚖ 967 KB

Program logic and equivalence in the pre

Program logic and equivalence in the presence of garbage collection

✍ Cristiano Calcagno; Peter O'Hearn; Richard Bornat 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 220 KB

It is generally thought that reasoning about programs in memory safe, garbage collected languages is much easier than in languages where the programmer has more explicit control over memory. Paradoxically, existing program logics are based on a low-level view of storage that is sensitive to the pres

High-Seas Garbage Pickup. Satellite data

High-Seas Garbage Pickup. Satellite data hone in on ghost nets in the Pacific

✍ Bazilchuk, Nancy 📂 Article 📅 2006 🏛 John Wiley and Sons ⚖ 10 KB

Weak LSZ limits and reduction formula fo

Weak LSZ limits and reduction formula for the non-relativistic coulombic interaction

✍ Nicolas Papanicolaou 📂 Article 📅 1974 🏛 Elsevier Science 🌐 English ⚖ 382 KB