M. Winikoff and J. Harland. Some Applications of the Linear Logic ProgrammingLanguage Lygon. To appear: Proc. ACSC'96, Melbourne, January, 1996. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Proof Theory in Linear Logic: A Specification of Concurrent Objects - Delzanno (Correct)
...., and in clause definitions and, thus, affecting the usability of the language. Actually, in the examples in [76], particular subclasses of formulas are considered reducing to other languages like LinLog or Lolli (introduced below) Lolli [44] seems to provide the right balance between expressivity of the underlying fragment of Intuitionistic Linear Logic (8, Gammaffi, and usability as a programming ....
M. Winikoff and J. A. Harland. Some Applications of the Linear Logic Programming Language Lygon. In Proocedings of the 19th Australasian Computer Science Conference, Melbourne, Australia. The MIT Press, 1996.
Programming in Lygon: An Overview - Harland, Pym, Winikoff (1996) (28 citations) Self-citation (Winikoff Harland) (Correct)
....placed on this process, in accordance with the rules of the logic, but nonetheless this process has many interesting and useful applications. 3 Computational features and examples In this section, we discuss various programming techniques which distinguish Lygon from Prolog (see also [12, 30]) including several examples of Lygon programs. 3.1 Lygon syntax The current implementation of Lygon (Version 0.4) is an interpreter written in BinProlog 9 . The interpreter comprises about 450 lines of code, including comments and whitespace. It currently supports a limited form of program ....
M. Winikoff and J. Harland. Some Applications of the Linear Logic ProgrammingLanguage Lygon. To appear: Proc. ACSC'96, Melbourne, January, 1996.
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