C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Polymorphic Rewrite Rules: Confluence, Type Inference, and Instance Validation.
Makoto Hamana
Published in:
FLOPS (2018)
Keyphrases
</>
rewrite rules
rewriting rules
consistency constraints
transformation rules
query optimization
database
data driven