Goal-Directed Program Transformation

DOI10.1109/TSE.1976.233533MaRDI QIDQ4122771zbMATH OpenFDO

Authors Ben Wegbreit

Publication date 1976

Published in IEEE Transactions on Software Engineering (Search for Journal in Brave)

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Cited in

(4)

• Synthetic programming
• On correct refinement of programs
• A class of functions synthesized from a finite number of examples and a lisp program scheme
• La fonction d'Ackermann : un nouveau mode de dérécursivation

This page was built for publication: Goal-Directed Program Transformation

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