Formalizing and verifying semantic type soundness of a simple compiler.

Nick Benton Uri 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