iRho: an imperative rewriting calculus

Luigi Liquori, Bernard P. Serpette. iRho: an imperative rewriting calculus. In Eugenio Moggi, David Scott Warren, editors, Proceedings of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 24-26 August 2004, Verona, Italy. pages 167-178, ACM, 2004. [doi]

Authors

Luigi Liquori

This author has not been identified. Look up 'Luigi Liquori' in Google

Bernard P. Serpette

This author has not been identified. Look up 'Bernard P. Serpette' in Google