Rewriting Logic for Cyclic Sharing Structures (extended abstract).
VenueNationalFLOPS
Year1998
ProceedingsFuji International Symposium on Functional and Logic Programming
DBLP recordconf/flops/Miyoshi98 ↗
Browse the full FLOPS paper archive.
Browse the full FLOPS paper archive.