Verifying and Synthesizing Software with Recursive Functions - (Invited Contribution).

Published in: ICALP (1) (2014)

Keyphrases

recursive functions
inductive inference
software development
software systems
source code
software architecture
software developers
software design
training data
software engineering
software projects
software tools
software maintenance