H ? « ‹ ← → › »

Language peer sets for LO:
United Kingdom↑
United Kingdom/1990↑
Designed 1990 ↑
1990s languages ↑
Fifth generation↑
Post-Cold War↑
Specialised Languages ↑
Specialised Languages/1990↑
Specialised Languages/uk ↑

LO(ID:1566/lo:001)

Linear Objects 

alternate simple view
Country: United Kingdom
Designed 1990
Published: 1990
Sammet category: Specialised Languages

Linear Objects. Concurrent logic programming language based on "linear logic", an extension of Horn logic with a new kind of OR- concurrency.

Structures:
References:
  • Andreoli J. et al, (1990) Andreoli J. et al,"LO and Behold! Concurrent Structured Processes" pp44-56
          in (1975) COMPUTERWOCHE 38(19) September 1975
  • Philippsen, Michael (2000) Philippsen, Michael "A survey of concurrent object-oriented languages" pp917-980
          in (2000) Concurrency: Practice and Experience 2000 v12
  • Bozzano, M ; Delzanno, G ; Martelli, M :Model Che (2003) Bozzano, M ; Delzanno, G ; Martelli, M :Model Checking Linear Logic Specifications" Under consideration (Sept 2003) for publication in "Theory and Practice of Logic Programming" Abstract Online copy
          in (2000) Concurrency: Practice and Experience 2000 v12
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder