Login / Signup

Computing ML Equality Kinds Using Abstract Interpretation

Carl A. GunterElsa L. GunterDavid B. MacQueen
Published in: Inf. Comput. (1993)
Keyphrases
  • abstract interpretation
  • termination analysis
  • maximum likelihood
  • static analysis
  • model checking
  • database
  • case study
  • knowledge representation