[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php

Bibliographic Item (1.0)

CalcagnoOHearnBornat03

  1. C Calcagno & P OHearn & R Bornat
  2. Program logic and equivalence in the presence of garbage collection
  3. Theoretical Computer Science V298n3(??? 2003)pp557-581
  4. =THEORY FORMAL LOGIC HOARE Garbage Collection (D.4.2) VERIFICATION
  5. What do we mean when we say that a particular object "exists" on the heap? To preserve Hoare's assignment axiom in the presence of garbage collection, the existence of garbage becomes "virtual".
  6. The wise program prover should use a language with proved automatic garbage collection, and avoid assertions that refer to garbage!
  7. Includes a formal model of garbage collection.

Search for bibliographic items containing a matching string.


(Search uses POSIX regular expressions and ignores case)

Search for a specific bibliographic item by name.



To see the complete bibliography (1Mb+) select:[Bibliography]