This paper describes a strategy for arity raising that allows the compiler to safely increase the number of parameters to a function and remove allocations due ...

We present a novel strategy that uses both control-flow and type information to provide an arity raising implementation addressing these problems. This strategy ...

We present a novel strategy that uses both control-flow and type information to provide an arity raising implementation addressing these problems. This strategy ...

We present a novel strategy that uses both control-flow and type information to provide an arity raising implementation addressing these problems. This strategy ...

We present a novel strategy that uses both control-flow and type information to provide an arity raising implementation addressing these problems. This strategy ...

arity raising algorithm in a more realistic context, we compare it against an implementa- tion of argument-only arity raising within the context of Manticore.

Bibliographic details on Arity Raising in Manticore.

Arity raising, also known as variable splitting or flattening, is the program optimization which transforms a function of one argument into a function of ...

... arity-raising, author = "Lars Bergstrom and John Reppy", title = "Arity raising in Manticore", booktitle = IFL09, year = 2009, month = IFL09:month ...

This work defines a practical algorithm, based on algorithm W, which implements arity raising, and proves this algorithm sound with respect to the deductive ...