Conference paper
Program equivalence and context-free grammars
Barry K. Rosen
SWAT 1972
No abstract available.
Barry K. Rosen
SWAT 1972
Ran Iwamoto, Kyoko Ohara
ICLC 2023
Saeel Sandeep Nachane, Ojas Gramopadhye, et al.
EMNLP 2024
Masami Akamine, Jitendra Ajmera
IEICE Trans Inf Syst