An Assertion Language for Slicing Constraint Logic Languages.
Moreno FalaschiCarlos OlartePublished in: LOPSTR (2018)
Keyphrases
- constraint language
- highly expressive
- formal language
- target language
- description languages
- programs written
- native language
- predicate logic
- linguistic resources
- programming language
- intuitionistic logic
- object oriented languages
- formal languages
- object oriented
- expressive power
- proof theory
- database languages
- dynamic logic
- declarative language
- word forms
- indian languages
- language independent
- language learning
- spoken language
- agent programming
- source language
- english text
- formal theory
- bilingual dictionaries
- modeling language
- context free
- description logics
- pattern languages
- formal semantics
- multilingual documents
- object oriented programming
- monadic second order logic
- modal logic
- database query languages
- logic programming
- arabic language
- machine translation
- description language
- xml query languages
- conditional logic
- relational structures
- machine translation system
- statistical machine translation
- classical logic
- constraint networks
- language processing