Automatically Verifying Typing Constraints for a Data Processing Language.
Michael BackesCatalin HritcuThorsten TarrachPublished in: CPP (2011)
Keyphrases
- data processing
- data manipulation
- data acquisition
- data analysis
- computer systems
- language learning
- automatically generated
- neural network
- natural language
- programming language
- data management
- constraint satisfaction
- constraint language
- constraint logic programming
- computational linguistics
- language processing
- model checking
- stream processing
- high level
- knowledge base