FRDCSA | external codebases | igor-2.0.8

[Project image]

Jump to: Project Description

Project Description

Igor2 is an inductive programming system, which generalises over given I/O examples of some target functions and constructs a solution which is complete and correct w.r.t the given examples. Given the type and some equations of e.g. the function 'last' as Haskell code last :: [a] -> a last [a] = a last [a,b] = b last [a,b,c] = c following function definition is synthesised: last [x0] = x0 last (x0:x1:x2) = last (x1:x2)

This page is part of the FWeb package.
Last updated Sat Oct 26 16:57:25 EDT 2019 .