iRho: an imperative rewriting calculus.

Luigi Liquori, Bernard P. Serpette

Browse the full PPDP paper archive.