Sign in

Bonsai: synthesis-based reasoning for type systems.

Kartik ChandraRastislav Bodík
Published in: Proc. ACM Program. Lang. (2018)
Keyphrases
  • management system
  • data sets
  • neural network
  • case study
  • distributed systems
  • real time
  • image processing
  • data structure
  • special case
  • logic programs
  • intelligent systems
  • building blocks