The Scallina Grammar - Towards a Scala Extraction for Coq.

Youssef El Bakouny Dani Mezher

Published in: SBMF (2018)

Keyphrases

context free grammars
information extraction
formal methods
database
automatic extraction
computer vision
information systems
natural language
theorem prover
knowledge extraction
linguistic knowledge
broad coverage
wide coverage