Joshua S. Hodas, Jeffrey Polakow  Home/Search
Context Related
| hmc.edu/~hodas/papers/linear96.ps pigeon.elsevier.nl/mcs/journ...hodas.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: hmc.edu/~hodas/papers/ (more) From: pigeon.elsevier.nl/mcs/...volume3 (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: When Miller introduced Forum he called it a specification logic, rather than a logic programming language. In this paper we outline those features that create problems in attempting to implement an interpreter for the language, and describe solutions to those problems. We show how techniques used in the implementation of Lolli can be extended naturally to Forum. Finally, we show two Forum programs in order to demonstrate some of the paradigms that arise in using the language. 1 Introduction... (Update)
Context of citations to this paper: More
.... Lolli [9, 10] which we used to test our techniques [2] However, our results have already been applied to prototype implementations [11, 15] of a programming language based on Miller s speci cation logic Forum [17] They should apply equally well to implementations of other...
...programs is highly non deterministic. For example, in a list sorting program, execution time rises hyper exponentially with list length [19]. The reason is that most of the execution time is spent for trying to prove unprovable sequents. This problem is also common to the...
Cited by: More
Efficient Resource Management for Linear Logic Proof Search - Cervesato, Hodas, Pfenning (1997) (Correct)
Electronic Notes in Theoretical Computer Science 30 No. 3 (2003) - Url Http Www (Correct)
A Static Analysis Method for a Classical Linear Logic.. - Kang, Tamura (2000) (Correct)
Active bibliography (related documents): More All
0.2: Linearity Constraints as Bounded Intervals in Linear Logic.. - Polakow (Correct)
0.1: Programming in Lygon: an overview - Harland, Pym, Winikoff (1995) (Correct)
0.1: Sequent Calculus and the Specification of Computation - Lecture.. - Miller (1997) (Correct)
Similar documents based on text: More All
0.5: Ecient Implementation of a Linear Logic Programming Language - Joshua Hodas And (1998) (Correct)
0.3: Simplifying Automated Hoarding Methods - Kuenning, Ma, Reiher, Popek (2002) (Correct)
0.3: SVD Subspace Projections for Term Suggestion Ranking and.. - Gleich, Zhukov (2004) (Correct)
Related documents from co-citation: More All
7: Uniform proofs as a foundation for logic programming (context) - Miller, Nadathur et al. - 1991
6: The uniform proof-theoretic foundation of linear logic programming - Harland, Pym - 1991
6: Logic Programming in Intuitionistic Linear Logic: Theory (context) - Hodas - 1994
BibTeX entry: (Update)
Joshua S. Hodas and Jeffrey Polakow. Forum as a logic programming language: Preliminary results and observations. In M. Okada, editor, Proceedings of the Linear Logic '96 Meeting, Tokyo, Japan, 1996. Elsevier Electronic Notes in Theoretical Computer Science, volume 3. http://citeseer.ist.psu.edu/hodas96forum.html More
@inproceedings{ hodas96forum,
author = "Joshua S. Hodas and Jeffrey Polakow",
title = "{Forum} as a Logic Programming Language: Preliminary Results and Observations",
booktitle = "Proceedings of the Linear Logic '96 Meeting",
volume = "3",
publisher = "Elsevier Electronic Notes in Theoretical Computer Science",
address = "Tokyo, Japan",
editor = "M. Okada",
year = "1996",
url = "citeseer.ist.psu.edu/hodas96forum.html" }
Citations (may not include all citations):340 Uniform proofs as a foundation for logic programming (context) - Miller, Nadathur et al. - 1991 ACM DBLP
81 A Multiple-Conclusion Meta-Logic - Miller - 1994 DBLP
79 A uniform proof-theoretic investigation of linear logic prog.. - Harland, Pym - 1994 DBLP
63 Logic Programming in Intuitionistic Linear Logic: Theory (context) - Hodas - 1994
38 Proof Theoretic Approach to Specification Languages - Chirimar - 1995 ACM
38 The uniform proof-theoretic foundation of linear logic progr.. - Harland, Pym - 1991 DBLP
30 Objects in Forum - Delzanno, Martelli - 1995 DBLP
30 Efficient resource management for linear logic proof search - Cervesato, Hodas et al. - 1996 ACM DBLP
20 Logic programming with focusing proofs in linear logic (context) - Andreoli - 1992 DBLP
17 Linear Objects: Logical Processes with Built-in Inheritance (context) - Andreoli, Pareschi - 1991 ACM
6 Implementing the linear logic programming language Lygon (context) - Harland, Winikoff - 1995
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.hmc.edu/~hodas/papers/): More
Logic Programming in a Fragment of Intuitionistic Linear Logic - Hodas, Miller (1994) (Correct)
Representing Objects in a Logic Programming Language with.. - Hodas, Miller (1990) (Correct)
Lolli: An Extension of Lambda-Prolog with Linear Logic Context.. - Hodas (1992) (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