Login / Signup

Inductive sequentialization of asynchronous programs.

Bernhard KraglConstantin EneaThomas A. HenzingerSuha Orhun MutluergilShaz Qadeer
Published in: PLDI (2020)
Keyphrases
  • functional programs
  • recursive programs
  • machine learning
  • inductive learning
  • computer programs
  • artificial neural networks
  • database
  • artificial intelligence
  • concept learning
  • real world
  • logic programs