Naoyuki Tamura Graduate School of Science and Technology, Kobe University 1-1 ...  Home/Search
Context Related
| godel.seg.kobeu.ac.jp/p...fuji96.ps.gz kaminari.scitec.kobeu.ac.j...fuji96.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: bach.seg.kobeu.ac.jp/llp/pape... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper describes an extension of the WAM (Warren Abstract Machine) for a logic programming language called LLP which is based on intuitionisic linear logic. LLP is a subset of Lolli and includes additive and multiplicative conjunction, linear implication in a goal, exponential (!), and the constant 1. The extension of the WAM is mainly for efficient resource management: especially for resource look-up and deletion. In our design, only one table is maintained to keep resources during the... (Update)
Context of citations to this paper: More
.... paper, we describe the Prolog Cafe system which translates a linear logic programming language called LLP to Java via the LLPAM [12][5] an extension of the standard WAM [16] 1] for LLP. LLP is a superset of Prolog and a subset of Lolli. The main di#erence from the first...
...sorting program into our LLP language program by hands. LLP is a compiler system of an intuitionistic linear logic programming language [16][12] The translated program without using the analysis result checks whether it can use all rules at each inference step or not. The...
Cited by: More
Linearity Constraints as Bounded Intervals in Linear Logic.. - Polakow (Correct)
Ecient Implementation of a Linear Logic Programming Language - Joshua Hodas And (1998) (Correct)
A Compiler System of a Linear Logic Programming Language - Tamura, Kaneda (1997) (Correct)
Similar documents (at the sentence level):
66.4%: Extension of WAM for a linear logic programming language - Tamura, Kaneda (1996) (Correct)
24.5%: Extension of WAM for a linear-logic-based logic programming.. - Tamura, Kaneda (1996) (Correct)
8.9%: Resource Management Method for a Compiler System of a Linear.. - Naoyuki Tamura (1996) (Correct)
Active bibliography (related documents): More All
0.2: Multi-Threading and Message Communication in Qu-Prolog - Keith Clark Peter (1998) (Correct)
0.1: A Static Analysis of a Classical Linear Logic Programming Language - Kang (Correct)
0.1: The Inverse Method for Intuitionistic Linear Logic (The.. - Chaudhuri (2003) (Correct)
Similar documents based on text: More All
1.0: Compiling Resources in a Linear Logic Programming Language - Banbara, Tamura (1998) (Correct)
0.7: Translating a Linear Logic Programming Language into Java - Banbara, Tamura (1999) (Correct)
0.7: Logic Programming in a Fragment of Intuitionistic.. - Mutsunori Banbara.. (Correct)
Related documents from co-citation: More All
10: Logic programming in a fragment of intuitionistic linear logic - Hodas, Miller - 1994
10: Theoretical Computer Science (context) - Girard - 1987
9: Logic programming with focusing proofs in linear logic - Andreoli - 1992
BibTeX entry: (Update)
Naoyuki Tamura and Yukio Kaneda. Extension of wam for a linear logic programming language. In Proceedings of the Second Fuji International Workshop on Functional and Logic Programming, 1996. http://citeseer.ist.psu.edu/article/tamura96extension.html More
@misc{ tamura96extension,
author = "N. Tamura and Y. Kaneda",
title = "Extension of wam for a linear logic programming language",
text = "Naoyuki Tamura and Yukio Kaneda. Extension of wam for a linear logic programming
language. In Proceedings of the Second Fuji International Workshop on Functional
and Logic Programming, 1996.",
year = "1996",
url = "citeseer.ist.psu.edu/article/tamura96extension.html" }
Citations (may not include all citations):982 Theoretical Computer Science (context) - Girard - 1987
395 An abstract Prolog instruction set (context) - Warren - 1983
223 Linear objects: Logical processes with built-in inheritance - Andreoli, Pareschi - 1991
79 A uniform proof-theoretic investigation of linear logic prog.. - Pym, Harland - 1994
49 ACL --- a concurrent linear logic programming paradigm - Kobayashi, Yonezawa - 1993
46 Forum: A multiple-conclusion specification logic - Miller
37 Warren's Abstract Machine (context) - Ait-Kaci - 1991
30 Efficient resource management for linear logic proof search - Cervesato, Hodas et al. - 1996
10 Deterministic resource management for the linear logic progr.. (context) - Harland, Winikoff - 1994
5 Department d'Informatique (context) - Tarau, User - 1996
4 Resource management method for a compiler system for a linea.. - Tamura, Ikeda - 1996
4 Resource management method for a compiler system of a linear.. - Tamura, Kaneda - 1996
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://bach.seg.kobe-u.ac.jp/llp/papers/): More
Resource Management Method for a Compiler System of a Linear.. - Naoyuki Tamura (1996) (Correct)
A Compiler System of a Linear Logic Programming Language - Tamura, Kaneda (1997) (Correct)
Extension of WAM for a linear logic programming language - Tamura, Kaneda (1996) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC