Sciweavers

IWMM
2000
Springer
76views Hardware» more  IWMM 2000»
14 years 3 months ago
A Region-Based Memory Manager for Prolog
We extend Tofte and Talpin's region-based model for memory management to support backtracking and cuts, which makes it suitable for use with Prolog and other logic programmin...
Henning Makholm