Efficient Implementation Techniques for Advanced Assertion Languages.

Philippe Collet Roger Rousseau

Published in: Obj. Logiciel Base données Réseaux (1999)

Keyphrases

efficient implementation
expressive power
language independent
efficient processing
hardware implementation
active set
cross lingual
objective function
multi dimensional
highly parallel