Pushdown Normal-Form Bisimulation: A Nominal Context-Free Approach to Program Equivalence.

Vasileios Koutavas Yu-Yang Lin Nikos Tzevelekos

Published in: CoRR (2023)

Keyphrases

normal form
context free
context sensitive
context dependent
grammatical inference
finite state
database design
functional dependencies
relational databases
nested relations
inductive inference
context free grammars
model checking
parse tree
database
complex objects
database applications
markov chain
knowledge base