Inferring the Equivalence of Functional Programs that Mutate Data (1992)
by
Ian Mason
,
Carolyn Talcott
| Venue: | Theoretical Computer Science |
| Citations: | 24 - 7 self |
Document Versions
| Inferring the Equivalence of Functional Programs that Mutate Data –Ian Mason, Carolyn Talcott — 1992 — Theoretical Computer Science |
