Login / Signup

Inferring the Equivalence of Functional Programs That Mutate Data.

Ian A. MasonCarolyn L. Talcott
Published in: Theor. Comput. Sci. (1992)
Keyphrases
  • data sources
  • database
  • data structure
  • data analysis
  • knowledge discovery
  • general purpose