Propositional Dynamic Logic of Context-Free Programs

David Harel, Amir Pnueli, Jonathan Stavi

Browse the full FOCS paper archive.