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

zbMath0972.68048MaRDI QIDQ5930821

I. 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) Grammars and rewriting systems (68Q42) Data structures (68P05)

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