Translating a Linear Logic Programming Language into Java

There have been several proposals for logic programming language based on linear logic: Lolli [8], Lygon [7], LO [3], LinLog [2], Forum [11], HACL [10]. In these languages, it is possible to create and consume resources dynamically as logical formulas. The efficient handling of resource formulas is,...

Full description

Bibliographic Details

Published in:	Electronic notes in theoretical computer science Vol. 30; no. 3; pp. 20 - 45
Main Authors:	Banbara, Mutsunori, Tamura, Naoyuki
Format:	Journal Article
Language:	English
Published:	Elsevier B.V 2000
ISSN:	1571-0661, 1571-0661
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!