Modular and automated type-soundness verification for language extensions.
Florian LorenzenSebastian ErdwegPublished in: ICFP (2013)
Keyphrases
- strongly typed
- programming language
- type checking
- fully automated
- semi automated
- model checking
- language learning
- language processing
- specification language
- database programming language
- information systems
- natural language
- efficient implementation
- highly modular
- verification method
- linguistic knowledge
- real time
- general purpose
- natural language processing
- artificial intelligence
- information retrieval
- databases