Program transformation by solving equations

DOI10.1007/BF02945368MaRDI QIDQ756436zbMATH OpenFDO

Authors Hong Zhu

Publication date 1991

Published in Journal of Computer Science and Technology (Search for Journal in Brave)

zbMATH Keywords

program transformationorthogonal program expansion

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Program transformation and rewriting
• scientific article; zbMATH DE number 4084981
• A program transformation from equational programs into logic programs
• Publication:3028324
• Equivalent transformations in the model of programs with commuting and monotone operators

Cites work

• scientific article; zbMATH DE number 3947599 (Why is no real title available?)
• scientific article; zbMATH DE number 4084981 (Why is no real title available?)
• A system which automatically improves programs
• Can programming be liberated from the von Neumann style?

Cited in

(4)

• scientific article; zbMATH DE number 4016172 (Why is no real title available?)
• scientific article; zbMATH DE number 2040801 (Why is no real title available?)
• scientific article; zbMATH DE number 4084981 (Why is no real title available?)
• A knowledge-based approach to program synthesis from examples

This page was built for publication: Program transformation by solving equations

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