Proving And Applying Program Transformations Expressed With Second-Order Patterns

·1978·DOI

Health Data Science

Data Science and Technologies

Software Engineering and Practices

Pattern Matching Techniques

Role in the Field

Neutralin Health Data Science

Neutralin Data Science and Technologies

Neutralin Software Engineering and Practices

Neutralin Pattern Matching Techniques

Abstract

Citations

171

Year

1978

PageRank

3.3 / 10

Relative influence (log-scaled)

Related Papers

11 of 11 papers

Analysis Of Generalized Pattern Searches

·2002·714 citations

Flexible Pattern Matching In Strings

·2002·274 citations

Pattern Grammar

·2000·546 citations

Patterns In Property Specifications For Finite-State Verification

·1999·917 citations

Property Specification Patterns For Finite-State Verification

·1998·270 citations

Regular Languages

·1997·315 citations

Analyzing Oriented Patterns

·1987·432 citations

Pattern Matching In Trees

·1982·299 citations

Finding Patterns Common To A Set Of Strings

·1980·369 citations

Programming Techniques: Regular Expression Search Algorithm

·1968·638 citations

Regular Expressions And State Graphs For Automata

·1960·328 citations