Sciweavers

Share
CC
2003
Springer
102views System Software» more  CC 2003»
9 years 9 months ago
Precision in Practice: A Type-Preserving Java Compiler
Popular mobile code architectures (Java and .NET) include veriļ¬ers to check for memory safety and other security properties. Since their formats are relatively high level, suppor...
Christopher League, Zhong Shao, Valery Trifonov
books