Program transformation by solving equations

DOI10.1007/BF02945368zbMATH Open0722.68079MaRDI QIDQ756436FDOQ756436

Authors: Hong Zhu 

Publication date: 1991

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

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

zbMATH Keywords

program transformationorthogonal program expansion

Mathematics Subject Classification ID

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

Cites Work

• Can programming be liberated from the von Neumann style?
• A system which automatically improves programs
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (4)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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)