The Evolution of Programs: Automatic Program Modification

DOI10.1109/TSE.1977.231170MaRDI QIDQ4134912zbMATH OpenFDO

Authors Nachum Dershowitz, Zohar Manna

Publication date 1977

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

(1)

• Synthetic programming

This page was built for publication: The Evolution of Programs: Automatic Program Modification

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