Isolating Resource Consumption in Linear Logic Proof Search
Pablo López, Ernesto Pimentel, Joshua S. Hodas, Jeffrey Polakow, Lubomira Stoilova · Electronic Notes in Theoretical Computer Science · 2002
This work presents an extension of the Tag-Frame resource management system previously developed by the authors. The extended system is able to isolate the consumption of a given goal/clause without incurring extra runtime costs. We believe this feature may help in debugging linear logic programs and specifications in a proof-theoretic setting. This point is illustrated by means of a simple example.