Power of brute-force search in strongly-typed inductive functional programming automation

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

Volumn 3157, Issue , 2004, Pages 75-84

  Katayama, Susumu ^a  

^a UNIVERSITY OF MIYAZAKI   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

ERROR ANALYSIS; GAME THEORY; HEURISTIC METHODS; MATHEMATICAL PROGRAMMING; SEARCH ENGINES; SET THEORY; APPLICATION PROGRAMS; ARTIFICIAL INTELLIGENCE; GENETIC ALGORITHMS; GENETIC PROGRAMMING;

FUNCTIONAL PROGRAMMING; FUNCTIONAL PROGRAMS; MATCHING FUNCTIONS; RANDOM PROGRAMMING; BRUTE FORCE SEARCH; FUNCTION COMPONENTS; HASKELL PROGRAMS;

AUTOMATION; FUNCTIONAL PROGRAMMING;

EID: 22944452107     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-28633-2_10     Document Type: Conference Paper

References (9)

1. Augusteijn, L.: Sorting Morphisms. Advanced Functional Programming, LNCS 1608 (1999) 1-27
2. Field, A. J., Harrison, P. G.: Functional Programming. Addison Wesley (1988)
3. Hudak, P., Fasel, J. H.: A gentle introduction to Haskell. SIGPLAN Notices 27(5) (1992) T1-T53
4. Jones, M. P.: Typing Haskell in Haskell. Proc. of the 1999 Haskell Workshop (1999)
5. Katayama, S.: Implementing a breadth-first search algorithm for strongly typed inductive functional programming, submitted to The 2004 International Conference on Functional Programming
6. Olsson, R.: Inductive Functional Programming Using Incremental Program Transformation. Research report 189, Doctor scientiarum thesis, University of Oslo, (1994)
7. Spivey, M.: Combinators for breadth-first search. J. Functional Programming 10(4) (2000) 397-408
8. Yu, T.: Polymorphism and genetic programming. Proc. of Fourth European Conference on Genetic Programming (2001)
9. Yu, T., Clack, C.: PolyGP: A polymorphic genetic programming system in Haskell. Genetic Programming 1998: Proc. of the Third Annual Conference (1998) 416-421