[I2 logo] [RWTH logo] MOVES: Software Modeling and Verification
(Informatik 2)
Computer Science / RWTH / I2 / Staff / Current / Mohnen / CP
Printer-friendly
The Context Patterns Home Page
Context Patterns
Welcome to the context patterns home page!

Context patterns are an extension of patterns in functional programming languages like Clean or Haskell. They allow the matching of regions not adjacent to the root of a data structure.
Typical applications of context patterns are functions which search a data structure and possibly transform it.
An introductory example can be found here.
More example programs can be found here.
Implementation of context patterns for Haskell can be found here.
Papers on context patterns:

Markus Mohnen
Markus Mohnen
Last modified: Thu Sep 4 10:04:01 MET DST 1997
Valid HTML 4.01 Strict! Valid CSS!