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


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.

  • 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