Information Flow in Tabular Interpretations for Generalized Push-Down Automata

Eric Villemonte de la Clergerie, François Barthélemy. Information Flow in Tabular Interpretations for Generalized Push-Down Automata. Theoretical Computer Science, 199(1-2):167-198, 1998. [doi]

Abstract

Abstract is missing.