Enacting Declarative Languages Using LTL: Avoiding Errors and Improving Performance.

Maja Pesic Dragan Bosnacki Wil M. P. van der Aalst

Published in: SPIN (2010)

Keyphrases

declarative language
language independent
expressive power
grammatical inference
artificial intelligence
high level
model checking
databases
domain independent
temporal logic
multi lingual
database
information retrieval
machine translation
error detection
linear temporal logic