Klava
a Java framework for mobile code

Version 2 available

KLAVA (Klaim in Java) is a Java package that contains all the classes which implements the runtime system support for X-KLAIM. The X-Klaim compiler translates X-KLAIM programs into Java programs that use KLAVA.

The first version of Klava has been described in

Klava: a Java Package for Distributed and Mobile Applications
L. Bettini, R. De Nicola, R. Pugliese. Software - Practice and Experience, 32(14):1365-1394, John Wiley & Sons, 2002.
abstract     gzipped-ps

This new version is based on the hierarchical net model described in:

An Infrastructure Language for Open Nets
L. Bettini, M. Loreti, R. Pugliese. Proc. of SAC, Special Track on Coordination Models, Languages and Applications, pages 373-377, 2002, ACM.
abstract      gzipped-ps     gzipped-ps (Draft)

A description of the internals of this package can be found in the following PhD thesis:

Linguistic Constructs for Object-Oriented Mobile Code Programming & their Implementations,
Lorenzo Bettini
Tesi di Dottorato, Ciclo XIV, Dottorato in Logica e Informatica Teorica, Dipartimento di Matematica, UniversitÓ di Siena, Febbraio 2003.
abstract    gzipped-ps

Download and Documentation

Access number
Hit Counter


X-Klaim and Klava were originally implemented by Lorenzo Bettini in his Master Thesis in Computer Science (April 98): "Progetto e realizzazione di un linguaggio di programmazione per codice mobile" (Design and implementation of a programming language for mobile code). This software has been further extended in his PhD Thesis (Feb. 2003) "Linguistic Constructs for Object-Oriented Mobile Code Programming & their Implementations" Both documents are available in gzipped Poscript, or you can request them directly to .