scientific article; zbMATH DE number 3898211

zbMATH Open0563.68015MaRDI QIDQ3677151FDOQ3677151

Authors Peter Padawitz

Publication date 1985

zbMATH Keywords

semanticsTerm rewritingparameterized data type specifications

Mathematics Subject Classification ID

Data structures (68P05)

Recommendations

• Specification of parameterized programs -- persistency revisited
• Publication:3034806
• scientific article; zbMATH DE number 3936501
• scientific article; zbMATH DE number 3880082
• Algebraic specifiability of data types with minimal computable parameters

Cited in

(1)

• Canonical constraints for parameterized data types

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