Java is Type Safe - Probably
No abstract available.
Related papers
- Type-Safe Eventful Sessions in Java ECOOP 2010
- Runtime Support for Type-Safe Dynamic Java Classes ECOOP 2000
- Types for safe locking: Static race detection for Java TOPLAS 2006
- Making the java memory model safe TOPLAS 2013
- Type-Safe linking with recursive DLLs and shared libraries TOPLAS 2002
- Making the Future Safe for the Past: Adding Genericity to the Java Programming Language OOPSLA 1998
- Fault-safe code motion for type-safe languages CGO 2008
- Ownership types for safe region-based memory management in real-time Java PLDI 2003