線形論理型言語のコンパイラ処理系のための抽象機械について
2001
https://www.jstage.jst.go.jp/article/jssst/18/1/18_1_195/_pdf
linear logic
linear logic programming
logic programming
/icons/hr.icon
description
LLPの処理系実装．LLPはLolliを元にしている．
文脈の分割処理は，Lolliに基づき，先に文脈全体でAを評価して，Aの評価に使われなかった文脈でBを評価する，みたいにやることで決定的にしている．