scientific article; zbMATH DE number 4052984

MaRDI QIDQ3789044zbMATH OpenFDO

Authors J. R. Kennaway

Publication date 1988

zbMATH Keywords

Dactlevaluation strategyfunctional languagesgraph rewritingimplementationtranslation

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Recommendations

• Implementing term rewrite languages in DACTL
• Implementing contextual rewriting
• scientific article; zbMATH DE number 1368955
• Controlled term rewriting
• Processes, Terms and Cycles: Steps on the Road to Infinity
• An account of implementing applicative term rewriting
• Implementing conditional term rewriting by graph rewriting
• scientific article; zbMATH DE number 1118018
• scientific article; zbMATH DE number 4074536
• Term rewriting: Some experimental results

Cited in

(3)

• Set-theoretic graph rewriting
• Conditional nested pattern matching in interaction net
• Implementing term rewrite languages in DACTL

Describes a project that uses

Uses Software

• DACTL

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3789044)