Enforcing Programming Guidelines with Region Types and Effects

Serdar Erbatur, Martin Hofmann, Eugen Zalinescu

We present in this paper a new type and effect system for Java which can be used to ensure adherence to guidelines for secure web programming. The system is based on the region and…