Login / Signup

Language-Based Program Verification via Expressive Types.

Martin SulzmannRazvan Voicu
Published in: Electron. Notes Theor. Comput. Sci. (2007)
Keyphrases
  • natural language
  • language learning
  • highly expressive
  • programming language
  • language constructs
  • computer vision
  • high level
  • relational databases
  • object oriented
  • natural language processing