Proving and Applying Program Transformations Expressed with Second-Order Patterns.
Gérard P. HuetBernard LangPublished in: Acta Informatica (1978)
Keyphrases
- higher order
- pattern mining
- data mining techniques
- computer programs
- temporal patterns
- information retrieval
- emerging patterns
- design patterns
- information systems
- relational databases
- software engineering
- data analysis
- search algorithm
- website
- learning algorithm
- genetic algorithm
- programming environment
- data mining
- complex patterns
- similar patterns