scientific article; zbMATH DE number 2169228

MaRDI QIDQ4675424zbMATH OpenFDO

Authors M. S. Nikitchenko, Taras V. Pantchenko

Publication date 20 May 2005

zbMATH Keywords

compositional methoddata structureformal specificationprogramming language

Mathematics Subject Classification ID

Theory of programming languages (68N15) Data structures (68P05)

Recommendations

• Data structures of programming languages as realization of the nominative data
• Simple-named complex-valued nominative data -- definition and basic operations
• Algorithmic data structure algebras and multilevel program design
• Proving properties of programs on hierarchical nominative data
• Compositional programming: theory and practice

Cited in

(5)

• Proving properties of programs on hierarchical nominative data
• Variable handling and compositionality: comparing DRT and DTS
• Data structures of programming languages as realization of the nominative data
• scientific article; zbMATH DE number 1696895 (Why is no real title available?)
• scientific article; zbMATH DE number 1241640 (Why is no real title available?)

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