Intensional value warehouse and garbage collection in the GIPSY.

摘要

Intensional Programming involves the programming of expressions placed in an inherently multidimensional context space. It is an emerging and evolving domain of very general application. The General Intensional Programming System (GIPSY) aims at the implementation of a programming system that would allow very dynamic investigations on the possibilities of Intensional Programming. Intensional Value Warehouse (IVW), a part of General Eduction Engine (GEE) that is the back end of GIPSY, is built as storage of values that have already been computed. First of all, this thesis briefly introduces the GIPSY and its features and goals. Then, we describe the design methodology and principle. Afterwards, we give the detail of implementation of the IVW. In the IVW, we build a garbage collector that promotes the deleted data or writes them to file, which is different from the typical garbage collector. The use of garbage collector configured to it is of prime importance to obtain high performance. Further, we discuss the result of the IVW which approaches the main goals of generality, adaptability and efficiency. Finally, we successfully integrate IVW to GEE in overall GIPSY system.