Back to Yonezawa Lab.
AMO Project: Exploiting Autonomous Mobile Objects
Objective
The project aims at formal and practical development of
the programming language aspect in mobile computation,
which encompasses formal models of computation movement,
efficient implementation, architecture neutral computational
environment, and security.
Some of the OHP slides Yonezawa used in the talk at GMD
FIRST, Berlin on July 19, 1998 can be found here.
Also, some of our theoretical results are described in the
papers listed below.
JavaGo
JavaGo is not a Java software for the game of go,
but the name of our toolkit that enables
a Java program to migrate across computers, preserving its execution state.
JavaTool
The Java tool is a library written in ocaml
for reading,
verifying, modifying and writing Java class files.
Click to go to Java tool page.
Java Blender
Java Blender is a tool for compressing i-appli programs. Since the
size of an i-appli program is restricted to be less than 10KB, the
programmer tends to reduce the code size by shortening identifiers and
reducing the number of classes. Java Blender allows the programmer to
write an i-appli program in the same way as a usual Java program by
performing such compression techniques automatically on behalf of the
programmer.
References
- Sekiguchi, T, Sakamoto, T, and Yonezawa, A.
Portable Implementation of Continuation Operators in Imperative Languages
by Exception Handling,
In Advances in Exception Handling Techniques. Springer-Verlag, LNCS-2022. 2001.
(pdf
© Springer-Verlag)
- Hashimoto, M and Yonezawa, A.
MobileML: A Programming Language for Mobile Computation,
In COORDINATION2000.
(gzipped PostScript,
pdf
© Springer-Verlag)
- Sakamoto, T, Sekiguchi, T and Yonezawa, A.
Bytecode Transformation for Portable Thread Migration in Java,
In ASAMA2000.
(pdf
© Springer-Verlag)
- Sekiguchi, T, Masuhara, H and Yonezawa, A.
A Simple Extension of Java Language for Controllable Transparent Migration and its Portable Implementation,
In Coordination'99.
(gzipped PostScript: in English
© Springer-Verlag,
in Japanese)
- Sekiguchi, T and Yonezawa, A.
A Calculus with Code Mobility,
In H. Bowman and J. Derrick (Eds), Proc. Second IFIP
International Conference on Formal Methods for Open
Object-based Distributed Systems (FMOODS) , pages 21 - 36.
Chapman Hall, 1997.
(gzipped PostScript)
- Sekiguchi, T and Yonezawa, A.
Control Aspects of Mobile Code,
submitted for publication, 1998
- Yonezawa, A.
AMO Project - Exploiting Autonomous Mobile Objects -
GMD FIRST, Berlin on July 19, 1998
(HTML Presentation)
The Project Members
- Akinori Yonezawa
- Kenjiro Taura
- Tatsurou Sekiguchi
- Shuntaro Hitomi
- Norifumi Gotoh
- Nayuta Taga
- Yutaka Oiwa
- Daisuke Hoshina
- Hidehiko Masuhara
- Masatomo Hashimoto
$Id: index.html,v 1.66 2003/03/24 15:26:53 cocoa Exp $