Results 1 
2 of
2
Collecting More Garbage
 LISP 94
, 1994
"... We present a method, adapted to polymorphically typed functional languages, to detect and collect more garbage than existing GCs. It can be applied to strict or lazy higher order languages and to several garbage collection schemes. Our GC exploits the information on utility of arguments provided by ..."
Abstract

Cited by 17 (0 self)
 Add to MetaCart
We present a method, adapted to polymorphically typed functional languages, to detect and collect more garbage than existing GCs. It can be applied to strict or lazy higher order languages and to several garbage collection schemes. Our GC exploits the information on utility of arguments provided by polymorphic types of functions. It is able to detect garbage that is still referenced from the stack and may collect useless parts of otherwise useful data structures. We show how to partially collect shared data structures and to extend the type system to infer more precise information. We also present how this technique can plug several common forms of space leaks.
Expressiveness of Full First Order Constraints in the Algebra of Finite or Infinite Trees
, 2000
"... We are interested in the expressiveness of constraints represented by general first order formulae, with equality as unique relational symbol and functional symbols taken from an infinite set F. The chosen domain is the set of trees whose nodes, in possibly in nite number, are labeled by elements of ..."
Abstract

Cited by 7 (0 self)
 Add to MetaCart
We are interested in the expressiveness of constraints represented by general first order formulae, with equality as unique relational symbol and functional symbols taken from an infinite set F. The chosen domain is the set of trees whose nodes, in possibly in nite number, are labeled by elements of F . The operation linked to each element f of F is the mapping (a1 , ..., an ) 7! b, where b is the tree whose initial node is labeled f and whose sequence of daughters is a1 , ..., an . We first consider constraints involving long alternated sequences of quantifiers 9898 . . . . We show how to express winning positions of twopartners games with such constraints and apply our results to two examples. We then construct a family of strongly expressive constraints, inspired by a constructive proof of a complexity result by Pawel Mielniczuk. This family involves the huge number (k), obtained by evaluating top down a power tower of 2's, of height k. With elements of this family, of sizes at most proportional to k, we de ne a nite tree having (k) nodes, and we express the result of a Prolog machine executing at most (k) instructions. By replacing the Prolog machine by a Turing machine we rediscover the following result of Sergei Vorobyov: the complexity of an algorithm, deciding whether a constraint without free variables is true, cannot be bounded above by a function obtained by nite composition of elementary functions including exponentiation. Finally, taking advantage of the fact that we have at our disposal an algorithm for solving such constraints in all their generality, we produce a set of benchmarks for separating feasible examples from purely speculative ones. Among others we solve constraints involving alternated sequences of more than 160 quantifiers.