scientific article; zbMATH DE number 3976295

MaRDI QIDQ3741014zbMATHFDO

Authors

Publication date 1986

zbMATH Keywords

parametrizationterm rewriting systemprogramming paradigmChurch-Rosser and finite termination propertiesrewrite-rules

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Data structures (68P05) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 4074445
• Programming with equalities, subsorts, overloading, and parametrization in OBJ
• Parameterized Programming
• Publication:3490927
• scientific article; zbMATH DE number 4090765

Cited in

(10)

• Virginity: A contribution to the specification of object-oriented software
• scientific article; zbMATH DE number 4164121 (Why is no real title available?)
• An approach to the systematic application of ATD and parametric programming
• scientific article; zbMATH DE number 1226906 (Why is no real title available?)
• scientific article; zbMATH DE number 830401 (Why is no real title available?)
• Parameterized Programming
• scientific article; zbMATH DE number 5036161 (Why is no real title available?)
• scientific article; zbMATH DE number 1479621 (Why is no real title available?)
• Programming with equalities, subsorts, overloading, and parametrization in OBJ
• scientific article; zbMATH DE number 4074445 (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 Q3741014)