Object-oriented data as prefix rewriting systems

MaRDI QIDQ4970676zbMATH OpenFDO

Authors A. E. Gutman

Publication date 7 October 2020

Full work available at URL http://mathnet.ru/eng/vmj549

zbMATH Keywords

consistency verificationinformation systemobject-oriented data systemontology of data modelprefix rewritingterm rewriting

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Data structures (68P05) Grammars and rewriting systems (68Q42) Knowledge representation (68T30)

Recommendations

• Foundations of Software Science and Computation Structures
• Rewriting Systems with Data
• scientific article; zbMATH DE number 1512609
• scientific article; zbMATH DE number 1502107
• Confluence of prefix-constrained rewrite systems

Cited in

(2)

• Integrating Lucid's declarative dataflow paradigm into object-orientation
• Object-oriented data via prefix rewriting. I: Overview and main results

This page was built for publication: Object-oriented data as prefix rewriting systems

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