H ? « ‹ ← → › »

Language peer sets for Klaim:
Italy↑
Italy/1997↑
Designed 1997 ↑
1990s languages ↑
Internet↑
New internationlism↑
Experimental and other ↑
Experimental and other/1997↑
Experimental and other/it ↑

Klaim(ID:2922/kla001)

Kernel Language for Agents Interaction and Mobility  

alternate simple view
Country: Italy
Designed 1997
Sammet category: Experimental and other

for Kernel Language for Agents Interaction and Mobility

Klaim is a formalism that supports a programming paradigm where processes, like data, can be moved from one computing environment to another. Klaim naturally supports programming with explicit localities;  it consists of a core Linda with multiple tuple spaces and of a set of operators for building processes.
Related languages
Linda → Klaim   Extension of
Klaim → KLAVA   Evolution of
Klaim → X-KLAIM   Adaptation of
References:
  • (1997) KLAIM: a Kernel Language for Agents Interaction and Mobility (1997) Rocco De Nicola, GianLuigi Ferrari, Rosario Pugliese Software Engineering
  • De Nicola, Rocco; Ferrari, Gian Luigi; Pugliese, R (1998) De Nicola, Rocco; Ferrari, Gian Luigi; Pugliese, Rosario "KLAIM: A Kernel Language for Agents Interaction and Mobility" pp315-330 Abstract
          in (1998) Transactions on Software Engineering 24(5) May 1998
  • L. Bettini, M. Loreti, R. Pugliese. (2000) L. Bettini, M. Loreti, R. Pugliese. "Structured Nets in Klaim" pp174-180 Abstract
          in [ACM] (2000) Proceedings of the 2000 ACM Symposium on Applied computing SAC'2000 Villa Olmo, Como, Italy
  • Rocco De Nicola and Michele Loreti (2000) Rocco De Nicola and Michele Loreti "A Modal Logic for KLAIM" pp339ff Abstract
          in Rus T. (2000) Rus T. (Ed.): Algebraic Methodology and Software Technology 8th International Conference, AMAST 2000, Iowa City, Iowa, USA, May 2000. Proceedings LNCS 1816
  • Rocco De Nicola, GianLuigi Ferrari, and Rosario Pu (2000) Rocco De Nicola, GianLuigi Ferrari, and Rosario Pugliese "Programming Access Control: The KLAIM Experience" CONCUR 2000 Invited Tutorials Abstract
          in Rus T. (2000) Rus T. (Ed.): Algebraic Methodology and Software Technology 8th International Conference, AMAST 2000, Iowa City, Iowa, USA, May 2000. Proceedings LNCS 1816
    Resources
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder