Login / Signup

Intensional datatype refinement: with application to scalable verification of pattern-match safety.

Eddie JonesSteven J. Ramsay
Published in: Proc. ACM Program. Lang. (2021)
Keyphrases
  • database
  • machine learning
  • multiscale
  • decision support
  • data sets
  • databases
  • artificial intelligence
  • decision making
  • relational databases
  • data integration
  • pattern matching
  • model checking