Références

1

I. Attali, D. Caromel, and M. Russo. A formal and executable semantics for Java. In Proceedings of Formal Underpinnings of Java, an OOPSLA'98 Workshop, Vancouver, CA, October 1998. Technical Report, Princeton University. file://ftp-sop.inria.fr:/pub/croap/mrusso/OopslaWorkshop98.ps.gz.

2

Courbis C. Simulation d'applications Java Card. Technical report, Dea d'Informatique de Lyon (DIL), Juillet 1998.

http://www.inria.fr/croap/personnel/Carine.Courbis/Pubs/DEA/DEAReport.prn.gz.

3

P. Borras et al. Centaur: the System. In SIGSOFT'88 Third Annual Symposium on Software Development Environments, Boston, 1988. ftp://ftp-sop.inria.fr/pub/centaur/papers/sde3.ps.