Login / Signup

Proof linking: modular verification of mobile programs in the presence of lazy, dynamic linking.

Philip W. L. FongRobert D. Cameron
Published in: ACM Trans. Softw. Eng. Methodol. (2000)
Keyphrases
  • mobile phone
  • dynamic environments
  • location aware
  • real time
  • web services
  • database systems