Sign in

Component-based synthesis for complex APIs.

Yu FengRuben MartinsYuepeng WangIsil DilligThomas W. Reps
Published in: POPL (2017)
Keyphrases
  • lightweight
  • data sets
  • real world
  • information systems
  • web services
  • expert systems
  • evolutionary algorithm
  • control system
  • open source
  • source code
  • higher level
  • complex structures
  • mechanical devices