Automatic refunctionalization to a language with copattern matching: with applications to the expression problem.
Tillmann RendelJulia TrieflingerKlaus OstermannPublished in: ICFP (2015)
Keyphrases
- matching algorithm
- semi automatic
- programming language
- algebraic expressions
- natural language
- language learning
- image matching
- matching scheme
- specification language
- data sets
- template matching
- pattern matching
- graph matching
- matching process
- conceptual graphs
- feature points
- object oriented
- english language
- databases