scientific article; zbMATH DE number 2043526

MaRDI QIDQ4447229zbMATH OpenFDO

Authors Adam Granicz, Daniel M. Zimmerman, Jason Hickey

Publication date 16 February 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2706/27060138.htm

Mathematics Subject Classification ID

Theory of programming languages (68N15) Grammars and rewriting systems (68Q42)

Recommendations

• scientific article; zbMATH DE number 2090070
• Rewriting
• Rewriting in Practice
• Principles of Distributed Systems
• Unification of drags and confluence of drag rewriting
• scientific article; zbMATH DE number 4053011
• An experiment with the use of predicate transformers in UNITY
• Unifying program construction and modification

Cited in

(2)

• The \textsc{Comm}\textsc{Unity} workbench
• Formal compiler construction in a logical framework

Describes a project that uses

Uses Software

• MetaPRL

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 Q4447229)