Skip to search formSkip to main contentSkip to account menu

Inductive programming

Inductive programming (IP) is a special area of automatic programming, covering research from artificial intelligence and programming, which… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2016
Highly Cited
2016
Automatic program transformation tools can be valuable for programmers to help them with refactoring tasks, and for Computer… 
Highly Cited
2015
Highly Cited
2015
Inductive programming can liberate users from performing tedious and repetitive tasks. 
2015
2015
Inductive programming is the framework for automated programming, obtaining generalized recursive programs from ambiguous… 
Highly Cited
2011
Highly Cited
2011
Highly Cited
2010
Highly Cited
2010
This paper describes a novel technique for the synthesis of imperative programs. Automated program synthesis has the potential to… 
Highly Cited
2010
Highly Cited
2010
A key problem in the adoption of artificial neural networks in safety-related applications is that misbehaviors can be hardly… 
Review
2009
Review
2009
  • E. Kitzelmann
  • Approaches and Applications of Inductive…
  • 2009
  • Corpus ID: 9340653
Inductive programming (IP)—the use of inductive reasoning methods for programming, algorithm design, and software development—is… 
2001
2001
We developed an efficient, analytical approach for learning recursive functional programs from examples. Igor2 is a realization… 
Highly Cited
1997
Highly Cited
1997
Highly Cited
1995
Highly Cited
1995
  • R. Reiter
  • The Journal of Logic Programming
  • 1995
  • Corpus ID: 7342383