A Generic Complete Dynamic Logic for Reasoning About Purity and Effects.

Till Mossakowski, Lutz Schrder, Sergey Goncharov

Browse the full FASE paper archive.