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

Vasileios Koutavas Yu-Yang Lin Nikos Tzevelekos

Published in: LICS (2024)

Keyphrases

normal form
context free
context sensitive
context dependent
relational databases
finite state
grammatical inference
database design
functional dependencies
context free grammars
nested relations
inductive inference
model checking
object oriented
set of functional dependencies