An account of implementing applicative term rewriting

M.J. Weerdenburg, van

doi:10.1016/j.entcs.2007.02.049

An account of implementing applicative term rewriting

M.J. Weerdenburg, van

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

4 Citations (Scopus)

Abstract

Generation of labelled transition systems from system specifications is highly dependent on efficient rewriting (or related techniques). We give an account of the implementation of two rewriters of the mCRL2 toolset. These rewriters work on open terms and use nonlinear match trees. A comparison is made with other commonly used efficient rewriters.

Original language	English
Title of host publication	Proceedings Sixth International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2006) 11 August 2006, Seattle, Washington, USA
Editors	S. Antoy
Place of Publication	Amsterdam
Publisher	Elsevier
Pages	139-155
DOIs	https://doi.org/10.1016/j.entcs.2007.02.049
Publication status	Published - 2007
Event	6th International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2006), August 11, 2006, Seattle, WA, USA - Seattle, WA, United States Duration: 11 Aug 2006 → 11 Aug 2006

Publication series

Name	Electronic Notes in Theoretical Computer Science
Volume	174
ISSN (Print)	1571-0061

Workshop

Workshop	6th International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2006), August 11, 2006, Seattle, WA, USA
Abbreviated title	WRS 2006
Country/Territory	United States
City	Seattle, WA
Period	11/08/06 → 11/08/06

Access to Document

10.1016/j.entcs.2007.02.049

Cite this

Weerdenburg, van, M. J. (2007). An account of implementing applicative term rewriting. In S. Antoy (Ed.), Proceedings Sixth International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2006) 11 August 2006, Seattle, Washington, USA (pp. 139-155). (Electronic Notes in Theoretical Computer Science; Vol. 174). Elsevier. https://doi.org/10.1016/j.entcs.2007.02.049

@inproceedings{def2b04e1f034f8988f7d11cad7e567d,

title = "An account of implementing applicative term rewriting",

abstract = "Generation of labelled transition systems from system specifications is highly dependent on efficient rewriting (or related techniques). We give an account of the implementation of two rewriters of the mCRL2 toolset. These rewriters work on open terms and use nonlinear match trees. A comparison is made with other commonly used efficient rewriters.",

author = "{Weerdenburg, van}, M.J.",

year = "2007",

doi = "10.1016/j.entcs.2007.02.049",

language = "English",

series = "Electronic Notes in Theoretical Computer Science",

publisher = "Elsevier",

pages = "139--155",

editor = "S. Antoy",

booktitle = "Proceedings Sixth International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2006) 11 August 2006, Seattle, Washington, USA",

address = "Netherlands",

note = "6th International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2006), August 11, 2006, Seattle, WA, USA, WRS 2006 ; Conference date: 11-08-2006 Through 11-08-2006",

}

Weerdenburg, van, MJ 2007, An account of implementing applicative term rewriting. in S Antoy (ed.), Proceedings Sixth International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2006) 11 August 2006, Seattle, Washington, USA. Electronic Notes in Theoretical Computer Science, vol. 174, Elsevier, Amsterdam, pp. 139-155, 6th International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2006), August 11, 2006, Seattle, WA, USA, Seattle, WA, United States, 11/08/06. https://doi.org/10.1016/j.entcs.2007.02.049

An account of implementing applicative term rewriting. / Weerdenburg, van, M.J.

Proceedings Sixth International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2006) 11 August 2006, Seattle, Washington, USA. ed. / S. Antoy. Amsterdam : Elsevier, 2007. p. 139-155 (Electronic Notes in Theoretical Computer Science; Vol. 174).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - An account of implementing applicative term rewriting

AU - Weerdenburg, van, M.J.

PY - 2007

Y1 - 2007

N2 - Generation of labelled transition systems from system specifications is highly dependent on efficient rewriting (or related techniques). We give an account of the implementation of two rewriters of the mCRL2 toolset. These rewriters work on open terms and use nonlinear match trees. A comparison is made with other commonly used efficient rewriters.

AB - Generation of labelled transition systems from system specifications is highly dependent on efficient rewriting (or related techniques). We give an account of the implementation of two rewriters of the mCRL2 toolset. These rewriters work on open terms and use nonlinear match trees. A comparison is made with other commonly used efficient rewriters.

U2 - 10.1016/j.entcs.2007.02.049

DO - 10.1016/j.entcs.2007.02.049

M3 - Conference contribution

T3 - Electronic Notes in Theoretical Computer Science

SP - 139

EP - 155

BT - Proceedings Sixth International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2006) 11 August 2006, Seattle, Washington, USA

A2 - Antoy, S.

PB - Elsevier

CY - Amsterdam

T2 - 6th International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2006), August 11, 2006, Seattle, WA, USA

Y2 - 11 August 2006 through 11 August 2006

ER -

Weerdenburg, van MJ. An account of implementing applicative term rewriting. In Antoy S, editor, Proceedings Sixth International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2006) 11 August 2006, Seattle, Washington, USA. Amsterdam: Elsevier. 2007. p. 139-155. (Electronic Notes in Theoretical Computer Science). https://doi.org/10.1016/j.entcs.2007.02.049

An account of implementing applicative term rewriting

Abstract

Publication series

Workshop

Access to Document

Fingerprint

Cite this