Code-generator automated construction

MaRDI QIDQ1051441zbMATH OpenFDO

Authors J. Blot

Publication date 1982

Published in Programming and Computer Software (Search for Journal in Brave)

zbMATH Keywords

automated proving methodscode generators

Mathematics Subject Classification ID

Theory of software (68N99)

This page was built for publication: Code-generator automated construction

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