Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Inductive programming

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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2017
Highly Cited
2017
Automatic program transformation tools can be valuable for programmers to help them with refactoring tasks, and for Computer… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Highly Cited
2015
Highly Cited
2015
Inductive programming can liberate users from performing tedious and repetitive tasks. 
  • figure 2
  • figure 1
  • figure 3
  • figure 4
  • table 1
2015
2015
This report documents the program and the outcomes of Dagstuhl Seminar 15421 "Rack-scale Computing". The seminar was successful… Expand
2015
2015
Inductive programming is the framework for automated programming, obtaining generalized recursive programs from ambiguous… Expand
  • figure 1
2013
2013
This paper applies conformal prediction techniques to compute simultaneous prediction bands and clustering trees for functional… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
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… Expand
  • figure 1
  • figure 2
  • table 1
  • table 2
  • table 3
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… Expand
  • figure 1
  • figure 2
  • table 1
  • figure 4
  • table 2
Review
2009
Review
2009
Inductive programming (IP)—the use of inductive reasoning methods for programming, algorithm design, and software development—is… Expand
  • figure 1
2007
2007
A 60-GHz power amplifier with 14 dB gain, 5 dB simulated noise figure, and a saturated output power of +6 dBm was fabricated in a… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
1997
1997
The science of creating software is based on deductive methods, but induction-deduction's ignored sibling-could have a profound… Expand
  • figure 2
  • table 1
  • figure 3
  • figure 4
  • figure 5