An Assertion language for slicing Constraint Logic Languages.
Moreno FalaschiCarlos OlartePublished in: CoRR (2018)
Keyphrases
- constraint language
- formal language
- highly expressive
- target language
- programs written
- formal languages
- constraint networks
- english text
- native language
- description languages
- programming language
- language specific
- modeling language
- object oriented languages
- database languages
- machine translation
- natural language
- linguistic resources
- language processing
- multilingual documents
- proof theory
- object oriented
- predicate logic
- formal theory
- source language
- xml files
- expressive power
- order sorted
- predicate calculus
- declarative language
- database query languages
- agent programming
- machine translation system
- language resources
- dynamic logic
- conditional logic
- operational semantics
- classical logic
- pattern languages
- language independent
- indian languages
- cross lingual
- spoken language
- arabic language
- knowledge representation languages
- logic programming
- fixed point semantics
- context free