BibTeX Entry: Context Patterns, Part II

@InProceedings{Mohnen:IFL97,
  author =       "M. Mohnen",
  title =        "{Context Patterns, Part II}",
  booktitle =    "Selected Papers of the 9th International Workshop on Implementation of Functional Languages (IFL)",
  editor =       "C. Clack, A.J.T. Davie, and K. Hammond",
  number =       "1467",
  series =       "Lecture Notes in Computer Science",
  publisher =    "Springer--Verlag",
  key =          "IFL'97",
  year =         "1998",
  abstract =     "{Functional languages allow the definition of
                 functions by pattern matching, which performs an
                 analysis of the \emph{structure of values}. However,
                 the structures which can be described by such patterns
                 are restricted to a fixed portion from the the root of
                 the value. \emph{Context patterns} are a new non--local
                 form of patterns, which allow the matching of subterms
                 without fixed distance from the root of the value.
                 Typical applications of context patterns are functions
                 which \emph{search} a data structure for patterns and
                 \emph{transform} it by replacing the pattern. In this
                 paper we introduce a new construct called
                 \emph{extended context}, which allows the definition of
                 transformational functions without superfluous
                 repetition of the recursive search. }",
  url =          "\url{http://www-i2.informatik.rwth-aachen.de/~mohnen/PUBLICATIONS/cp_ifl96.ps.gz}",
}