An Assertion language for slicing Constraint Logic Languages.

Moreno Falaschi Carlos Olarte

Published 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