Login / Signup

An open framework for foundational proof-carrying code.

Xinyu FengZhaozhong NiZhong ShaoYu Guo
Published in: TLDI (2007)
Keyphrases
  • main contribution
  • theoretical framework
  • machine learning
  • e learning
  • evolutionary algorithm
  • framework enables