Login / Signup

Corpse reviver: sound and efficient gradual typing via contract verification.

Cameron MoyPhuc C. NguyenSam Tobin-HochstadtDavid Van Horn
Published in: Proc. ACM Program. Lang. (2021)
Keyphrases
  • genetic algorithm
  • website
  • case study
  • expert systems
  • real time
  • data mining
  • three dimensional
  • artificial neural networks
  • supply chain
  • computationally expensive
  • highly efficient