New Approach to Categorical Semantics for Procedural Languages.
William SteingartnerValerie NovitzkáMichaela BacíkováStefan KoreckoPublished in: Comput. Informatics (2017)
Keyphrases
- highly expressive
- expressive power
- object oriented
- database query languages
- databases
- formal semantics
- language independent
- logic programming
- constraint language
- cross lingual
- domain knowledge
- formal language
- database languages
- specification languages
- semantic information
- relational databases
- grammatical inference
- multi lingual
- neural network
- database
- semantic web languages