Automatic Validation of Transformation Rules for Java Verification Against a Rewriting Semantics.

Wolfgang Ahrendt Andreas Roth Ralf Sasse

Published in: LPAR (2005)

Keyphrases

transformation rules
rewriting rules
rewrite rules
metamodel
recursive programs
source code
query optimizer
model driven
open source
protocol specification
query optimization
data streams
optimization process
service oriented
data driven
data model
database