CHR 2014 CORR PROCEEDINGS: KEYWORD INDEX

Shortcuts: C J L M O S T V X

C
Constraint Handling Rules	From XML Schema to JSON Schema: Translation with CHR (PDF, talk)
Constraint Logic Programming	Constraint Handling Rules with Multiset Comprehension Patterns (PDF, talk)
J
JSON Schema	From XML Schema to JSON Schema: Translation with CHR (PDF, talk)
L
Language Translator	From XML Schema to JSON Schema: Translation with CHR (PDF, talk)
M
Matching	Constraint Handling Rules with Multiset Comprehension Patterns (PDF, talk)
model checking	Automated Test Case Generation and Model Checking with CHR (PDF, talk)
multiset comprehension	Constraint Handling Rules with Multiset Comprehension Patterns (PDF, talk)
Multiset Rewriting	Constraint Handling Rules with Multiset Comprehension Patterns (PDF, talk)
O
operational semantics	Constraint Handling Rules with Multiset Comprehension Patterns (PDF, talk)
S
software test	Automated Test Case Generation and Model Checking with CHR (PDF, talk)
T
test data generation	Automated Test Case Generation and Model Checking with CHR (PDF, talk)
V
verification	Automated Test Case Generation and Model Checking with CHR (PDF, talk)
X
XML Schema	From XML Schema to JSON Schema: Translation with CHR (PDF, talk)
XSD	From XML Schema to JSON Schema: Translation with CHR (PDF, talk)