Michael Winikoff  Home/Search
Context Related
| cs.mu.oz.au/publicatio...mu_96_36.ps.gz munkora.cs.mu.oz.au/pu...mu_96_36.ps.gz rmit.edu.au/~winikoff/Pap...mu_96_36.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: cs.mu.oz.au/publications/tr_...TR (more) From: munkora.cs.mu.oz.au/publicat...TR (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: S.htmland at http://www.cs.rmit.edu.au/jah/linearpubs. html Other Linear Logic Programming Languages Since its development in 1986 linear logic has excited considerable interest in the computer science research community. Not surprisingly there are a number of logic programming language which make use of linear logic in some form. A short description of these languages is contained in a survey of linear logic programming [Mil95b]. - ACL [KY93] - Forum [Mil94, Mil95a, HP96] - LC [Vol94] -... (Update)
Context of citations to this paper: More
.... framework described by Harland and Pym [PH94] An interpreter and a debugger for Lygon were implemented by Michael Winikoff [Win97, Win96] and Yi Xiao Xu [Xu95] respectively. 3 The name is taken from a street called Lygon Street in Melbourne which is known for its...
Cited by: More
Agent-Oriented Programming in Linear Logic - Amin (1999) (Correct)
Similar documents (at the sentence level): More
22.0%: Logic Programming with Linear Logic - Winikoff (1997) (Correct)
16.8%: Programming in Lygon: An Overview - Harland, Pym, Winikoff (1995) (Correct)
13.2%: Programming in Lygon: an overview - Harland, Pym, Winikoff (1995) (Correct)
Active bibliography (related documents): More All
0.5: Deriving Logic Programming Languages - Winikoff, Harland (1996) (Correct)
0.5: Implementing the Linear Logic Programming Language Lygon - Winikoff, Harland (Correct)
0.3: Towards the Automation of the Design of Logic Programming.. - Lutovac, Harland (1997) (Correct)
Similar documents based on text: More All
0.3: Implementation and development Issues for the Linear Logic.. - Winikoff, Harland (1995) (Correct)
BibTeX entry: (Update)
Michael Winikoff. Hitch hiker's guide to Lygon 0.7. Technical Report 96/36, Melbourne University, October 1996. http://citeseer.ist.psu.edu/winikoff96hitch.html More
@techreport{ winikoff96hitch,
author = "Michael Winikoff",
title = "Hitch Hiker's Guide to {L}ygon 0.7",
number = "TR 96/36",
year = "1996",
url = "citeseer.ist.psu.edu/winikoff96hitch.html" }
Citations (may not include all citations):52 The aditi deductive database system - Vaghani, Ramamohanarao et al. - 1994
26 Implementing the linear logic programming language Lygon - Winikoff, Harland - 1995
15 Programming the ptq grammar in xsb (context) - Warren - 1994
12 Concurrent logic programming as uniform linear proofs - Volpe - 1994
8 Deterministic resource management for the linear logic progr.. - Winikoff, Harland - 1994
7 Implementation and development issues for the linear logic p.. - Winikoff, Harland - 1995
4 Some applications of the linear logic programing language Ly.. (context) - Winikoff, Harland - 1996
3 Deriving logic programming languages - Winikoff, Harland - 1996
3 Lygon home page (context) - Winikoff - 1996
Documents on the same site (http://www.cs.mu.oz.au/publications/tr_db/TR.html): More
Feature Replenishment for Long-Term Visual Motion Tracking - Tak Keung (Correct)
Separating Auxiliary Arity Hierarchy of First-Order Incremental .. - Dong, Zhang (1997) (Correct)
FLUID: Specifying Control and Data Flow for User Interfaces - Chesson, Johnston (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