scientific article; zbMATH DE number 3898211

zbMATH Open0563.68015MaRDI QIDQ3677151FDOQ3677151

Authors: Peter Padawitz 

Publication date: 1985

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

semanticsTerm rewritingparameterized data type specifications

Mathematics Subject Classification ID

Data structures (68P05)

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)