Talk Keyword Index

TALK KEYWORD INDEX

This page contains an index consisting of author-provided keywords.

Shortcuts: C J L M O S T V X

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