Toward a formal characterization of garbage collection.
Published: 2004
Language: eng
Number of pages: 83
Description: This statement uses a number of ill-defined terms, including  machine, computation, pause, and  pointer. In this thesis we give formal definitions for all of these concepts, and use them to give a formal interpretation of this fundamental intuition.Discussions of garbage collection rest on the intuition thatThe result of the computation will be unchanged if we pause the machine, alter parts of memory that are not reachable via any chain of pointers; and allow the machine to resume.
Notes: Adviser: Marsha Chechik.

Thesis (M.Sc.)--University of Toronto, 2004.

Electronic version licensed for access by U. of T. users.

Source: Masters Abstracts International, Volume: 42-06, page: 2232.

MICR copy on microfiche (1 microfiche).