Let-Binding with Regular Expressions in Lambda Calculus.
Takuya OhataShin-ya NishizakiPublished in: J. Softw. (2016)
Keyphrases
- regular expressions
- lambda calculus
- pattern matching
- programming language
- query language
- semistructured data
- database query languages
- predicate calculus
- xml schema
- matching algorithm
- complex objects
- regular path queries
- query evaluation
- higher order
- object oriented
- program understanding
- databases
- expressive power
- relational algebra
- data integration
- context free grammars
- query processing