Rewriting Logic for Cyclic Sharing Structures (extended abstract)

Hiroyuki Miyoshi. Rewriting Logic for Cyclic Sharing Structures (extended abstract). In Masahiko Sato 0001, Yoshihito Toyama, editors, Third Fuji International Symposium on Functional and Logic Programming, FLOPS 1998, Kyoto, Japan, Apil 2-4, 1998. pages 167-186, World Scientific, Singapore, 1998.

Abstract

Abstract is missing.