A method of elimination of data structures based on formula rewriting systems

MaRDI QIDQ5930821zbMATH OpenFDO

Authors Igor S. Anureev

Publication date 26 April 2001

Published in Programming and Computer Software (Search for Journal in Brave)

zbMATH Keywords

formula rewritingspecification languages

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1534597
• scientific article; zbMATH DE number 3911688
• Laws of data refinement
• A Needed Rewriting Strategy for Data-Structures with Pointers
• Computing with rewrite systems

Cited in

(1)

• scientific article; zbMATH DE number 1534597 (Why is no real title available?)

This page was built for publication: A method of elimination of data structures based on formula rewriting systems

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