scientific article

From MaRDI portal

Publication:3789044

Jump to:navigation, search

zbMath0645.68018MaRDI QIDQ3789044

J. R. Kennaway

Publication date: 1988

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

functional languages graph rewriting translation implementation Dactl evaluation strategy

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)

Related Items

Set-theoretic graph rewriting, Implementing term rewrite languages in DACTL

Uses Software

DACTL

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3789044&oldid=17348668"