Partial Evaluation of Pattern Matching in Constraint Logic Programming Languages.
Donald A. SmithPublished in: PEPM (1991)
Keyphrases
- pattern matching
- programming language
- partial evaluation
- logic programming
- explanation based generalization
- lambda calculus
- high level
- general purpose
- object oriented
- modal logic
- software engineering
- regular expressions
- database languages
- denotational semantics
- strongly typed
- string matching
- pattern matching algorithm
- predicate logic
- boyer moore
- concurrent programming
- relational database systems
- programs written
- training examples
- logic programs
- query language
- machine learning