H ? « ‹ ← → › »

Language peer sets for Lygon:
Australia↑
Australia/1995↑
Designed 1995 ↑
1990s languages ↑
Fifth generation↑
Post-Cold War↑

Lygon(ID:2564/lyg001)

Linear Logic Programming Language 

alternate simple view
Country: Australia
Designed 1995
Published: 1995

Named for Lygon St (Melbourne) and Lygon Rd (Edinburgh)

Logic programming language that is based on linear logic. Lygon's features include a clean declarative notion of state and the ability to express problems involving concurrency. In addition, the availability of use once predicates allows simple solutions to problems such as graph manipulation.

Places
People:
Structures:
References:
  • () Introduction to Linear Logic
  • Harland J. and D. Pym, (1991) Harland J. and D. Pym, "The Uniform Proof-theoretic Foundation of Linear Logic Programming" (Extended Abstract), pp304-318
          in Logic Programming: Proceedings of the 1991 Interna (1991) Logic Programming: Proceedings of the 1991 International Logic Programming Symposium. MIT Press, 1991
  • Pym D. (1994) Pym D. and J. Harland, A Uniform Proof-theoretic Investigation of Linear Logic Programming, Journal of Logic and Computation 4:2:175-207, April, 1994
          in Logic Programming: Proceedings of the 1991 Interna (1991) Logic Programming: Proceedings of the 1991 International Logic Programming Symposium. MIT Press, 1991
  • Winikoff, M. (1994) Winikoff, M. and J. Harland, Deterministic resource management for the linear logic programming language Lygon, Technical Report 94/23, Melbourne University, 1994
          in Logic Programming: Proceedings of the 1991 Interna (1991) Logic Programming: Proceedings of the 1991 International Logic Programming Symposium. MIT Press, 1991
  • Winikoff, Michael and James A. Harland, (1995) Winikoff, Michael and James A. Harland, "Implementing the Linear Logic Programming Language Lygon" Abstract Extract: Introduction
          in (1995) International Logic Programming Conference Portland Oregon 1995 MIT Press
  • Harland, J. (1996) Harland, J. ; D. Pym and M. Winikoff, Programming in Lygon: An Overview, Proceedings of the Fifth International Conference on Algebraic Methodology and Software Technology (AMAST) 391-405, July, 1996
          in (1995) International Logic Programming Conference Portland Oregon 1995 MIT Press
  • Michael Winikoff (1996) Michael Winikoff "Hitch Hiker's Guide to Lygon 0.7" Technical Report 96/36 Department of Computer Science The University of Melbourne Abstract
          in (1995) International Logic Programming Conference Portland Oregon 1995 MIT Press
    Resources
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder