Sign in

Proof-Carrying Code in a Session-Typed Process Calculus.

Frank PfenningLuís CairesBernardo Toninho
Published in: CPP (2011)
Keyphrases
  • real world
  • high level
  • database systems
  • object oriented
  • proof procedure
  • lambda calculus