Programs and datatypes

MaRDI QIDQ4362885zbMATH OpenFDO

Authors Henk Doornbos, Netty van Gasteren, Roland C. Backhouse

Publication date 13 November 1997

zbMATH Keywords

datatypespecificationtermination

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 890353
• Datatype-generic termination proofs
• Reductivity
• scientific article; zbMATH DE number 2087344

Cited in

(4)

• Polytypic data conversion programs
• scientific article; zbMATH DE number 4013990 (Why is no real title available?)
• scientific article; zbMATH DE number 890353 (Why is no real title available?)
• Determinisation of relational substitutions in ordered categories with domain

This page was built for publication: Programs and datatypes

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