Sign in

Formalizing and verifying semantic type soundness of a simple compiler.

Nick BentonUri Zarfaty
Published in: PPDP (2007)
Keyphrases
  • semantic web
  • semantic similarity
  • real time
  • machine learning
  • information retrieval
  • natural language
  • semantic representation
  • databases
  • neural network
  • general purpose
  • domain specific
  • semantic knowledge