Old Web
English
Sign In
Acemap
>
Paper
>
Inferring the equivalence of (first-order) functional programs that mutate data
Inferring the equivalence of (first-order) functional programs that mutate data
1992
Ian A. Mason
Carolyn Talcott
Keywords:
Equivalence (measure theory)
Combinatorics
Functional programming
Discrete mathematics
Mathematics
Correction
Cite
Save
Machine Reading By IdeaReader
0
References
2
Citations
NaN
KQI
[]