workshops |
sunday |
14 |
Formal Underpinnings of the Java Paradigm |
pan
pacific hotel governor general d |
Java offers a novel paradigm for program deployment. It supports intermediate code that is dynamically loaded from remote sites - sometimes without the user's knowledge. For Web pages, Java applets can greatly improve interactivity; for Java developers, the Java paradigm promises benefits in portability and manageability. However, the Java paradigm also opens new possibilities for abuse and has caused concern about security.
The application of formal methods to the Java paradigm aims to provide a better understanding of the approach by rigorously formulating and trying to prove the soundness of binary compatibility, type safety, security and other guarantees made by Java. It also aims to provide some guidance for further development of the paradigm by uncovering possible design flaws and by supplying a platform for the description of future extensions.
This workshop aims to bring together people working in these areas.
Susan
Eisenbach, Imperial College
Email: se@doc.ic.ac.uk
Jim
Alves-Foss, University of Idaho
Drew Dean, Princeton University
Sophia Drossopoulou, Imperial College
Tobias Nipkow, Institut fuer Informatik,
Technische Universitaet Muenchen
Raymie Stata,
Digital Equipment Corporation