TRX: A Formally Verified Parser Interpreter.

Adam Koprowski Henri Binsztok

Published in: ESOP (2010)

Keyphrases

programming language
natural language
natural language processing
production system
dependency parsing
database
real world
e learning
memory management
artificial intelligence
web pages
general purpose
dependency parser