Compilation of Higher-Order Concurrent Programs into First-Order Programs on Recursive Graph Rewriting Model

Masaki Murakami. Compilation of Higher-Order Concurrent Programs into First-Order Programs on Recursive Graph Rewriting Model. In Hamid R. Arabnia, Pei Li Zhou, editors, Proceedings of the 2007 International Conference on Foundations of Computer Science, FCS 2007, June 25-28, 2007, Las Vegas, Nevada, USA. pages 369, CSREA Press, 2007.

Abstract

Abstract is missing.