no code implementations • 4 Nov 2019 • Sosuke Moriguchi, Kazuko Takahashi
In this paper, we propose a new method for computing general allocators directly from completeness conditions.