| Markus Mohnen | Disclaimer | Last modified: 2002-12-16 14:19 UTC |
|
MOVES: Software Modeling and Verification (Informatik 2) |
| Computer Science / RWTH / I2 / Staff / Current / Mohnen / PUBLICATIONS / Cp ifl96.bib | |
|
|
BibTeX Entry: Context Patterns in Haskell
@InProceedings{Mohnen:IFL96,
author = "M. Mohnen",
title = "{Context Patterns in Haskell}",
booktitle = "Selected Papers of the 8th International Workshop on Implementation of Functional Languages (IFL)",
editor = "{W. Kluge et.al.}",
number = "1268",
series = "Lecture Notes in Computer Science",
publisher = "Springer--Verlag",
year = "1997",
abstract = "{In modern functional languages, pattern matching is
used to define functions or expressions by performing
an analysis of the \emph{structure of values}. We
extend \texttt{Haskell} with a new non--local form of
patterns called \emph{context patterns}, which allow
the matching of subterms without fixed distance from
the root of the whole term. The semantics of context
patterns is defined by transforming them to standard
\texttt{Haskell} programs. Typical applications of
context patterns are functions which \emph{search} a
data structure and possibly \emph{transform} it. This
concept can easily be adopted for other languages using
pattern matching like \texttt{ML} or \texttt{Clean}.}",
note = "\url{http://www-i2.informatik.rwth-aachen.de/~mohnen/PUBLICATIONS/cp_ifl96.ps.gz}",
}
|