nextupprevious

Introduction

Systems such as Java Virtual Machine use type safety (no pointers) to provide memory safety.

However, would also like these systems to support a process model for separation of resources.

Similar problem as for traditional operating systems.

Look at process model in Java and potential solutions.