Perspectives
Need for formal treatment of language and security aspects
- programming language semantics
- formal statements and verification of properties
Integrated development/analysis of mobile code languages and operating systems
- formal models
- automatic and interactive proof techniques