The systematic development of a pattern-matching algorithm using term rewrite systems

Joost P. Katoen, J. Harland (Editor), Albert Nymeyer

Research output: Contribution to conference › Paper › peer-review

49 Downloads (Pure)

Original language	Undefined
Pages	59-72
Number of pages	14
Publication status	Published - 1997
Event	Computing: the Australasian Theory Symposium (CATS'97) - Sydney, Australia Duration: 1 Jan 1997 → 1 Jan 1997

Workshop	Computing: the Australasian Theory Symposium (CATS'97)
Period	1/01/97 → 1/01/97

Keywords

@conference{1dbb075f755448fb92ccc58438fc25e4,

title = "The systematic development of a pattern-matching algorithm using term rewrite systems",

keywords = "EWI-6490, IR-63304, FMT-CC: COMPILER CONSTRUCTION",

author = "Katoen, \{Joost P.\} and J. Harland and Albert Nymeyer",

year = "1997",

language = "Undefined",

pages = "59--72",

note = "Computing: the Australasian Theory Symposium (CATS\'97) ; Conference date: 01-01-1997 Through 01-01-1997",

}

TY - CONF

T1 - The systematic development of a pattern-matching algorithm using term rewrite systems

AU - Katoen, Joost P.

AU - Nymeyer, Albert

A2 - Harland, J.

PY - 1997

Y1 - 1997

KW - EWI-6490

KW - IR-63304

KW - FMT-CC: COMPILER CONSTRUCTION

M3 - Paper

SP - 59

EP - 72

T2 - Computing: the Australasian Theory Symposium (CATS'97)

Y2 - 1 January 1997 through 1 January 1997

ER -