Abstract

線形論理は、ガーベジ・コレクションの問題の1つの解決策として提案されており、より多くの関数型言語内の効率的な「update-in-place」能力を提供しています。
線形論理はアクセスのしやすさを持ちます。そしてその結果、コピーは明示的な分配されたメモリの並列処理に、より適切な機械的メタファーを提供します。
しかし、線形論理における分割の不足は、それ自身の著しい非能率を導入するかもしれません。

私たちは非線形の論理に関する恒常的要因の中を走るLinear Lispと呼ばれる線形論理の効率的な実現を示します。
このLinear LispはRPLACXに操作を許して、非線形のLispと同じくらい安全にストレージを管理しますが、ガベージコレクターを必要としません。
割り当てを提示するが、共有を提示しないので、それは関数型言語と命令的な言語の間の中間層を占めます。
Linear Lisp マシンは連結/グラフリダクションマシンのコピーとガーベージコレクション問題なしで連結/グラフリダクションマシンと同じ能力の多くを提供します。