On the Implementation of Dynamic Patterns

Details On the Implementation of Dynamic Patterns On the Implementation of Dynamic Patterns

2011-02-18

arxiv.org/abs/1102.3731v1

EPTCS 49, 2011, pp. 16-30

Computer Science

Logic in Computer Science

In Proceedings HOR 2010, arXiv:1102.3465

Scientific paper

10.4204/EPTCS.49.2

The evaluation mechanism of pattern matching with dynamic patterns is modelled in the Pure Pattern Calculus by one single meta-rule. This contribution presents a refinement which narrows the gap between the abstract calculus and its implementation. A calculus is designed to allow reasoning on matching algorithms. The new calculus is proved to be confluent, and to simulate the original Pure Pattern Calculus. A family of new, matching-driven, reduction strategies is proposed.

Affiliated with

Also associated with

No associations

Rating

On the Implementation of Dynamic Patterns does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with On the Implementation of Dynamic Patterns, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and On the Implementation of Dynamic Patterns will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-211407