2011 Fiscal Year Final Research Report
Pragmatic Inductive Functional Programming by Systematic Search
| Project/Area Number |
21650032
|
|---|
| Research Category |
Grant-in-Aid for Challenging Exploratory Research
|
| Allocation Type | Single-year Grants |
|---|
| Research Field |
Intelligent informatics
|
|---|
| Research Institution | University of Miyazaki |
|---|
Principal Investigator |
|
|---|
| Project Period (FY) |
2009 – 2011
|
| Keywords | 探索 / 論理 / 推論アルゴリズム |
|---|
| Research Abstract |
The project leader has done research on inductive functional programming, namely automatic programming from input/output example pairs, on both sides of theory and real system implementation. As a result, in addition to improving MagicHaskeller, which is the exemplary inductive functional programming system based on systematic search, he developed the first automatic programming server "MagicHaskeller on the Web" and made it public. The server, equipped with the functionality of generating links to documentation, is quite useful especially for beginning programmers to learn functional programming and writing real-world applications.
|
Research Products
(10 results)
