Program transformation by solving equations

DOI10.1007/BF02945368zbMath0722.68079MaRDI QIDQ756436

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

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

Related Items

A knowledge-based approach to program synthesis from examples

Cites Work

• A system which automatically improves programs
• Can programming be liberated from the von Neumann style?
• Unnamed Item
• Unnamed Item