Synthesis time optimal accepting traces using language projection and pruning.

Simon Ware Rong Su

Published in: CASE (2015)

Keyphrases

optimal design
programming language
dynamic programming
functional programs
artificial intelligence
natural language
search space
data sets
closed form
language learning
supply chain
pruning method
projection method
object oriented
search algorithm
information systems
machine learning