Transformational approach to program concretization

DOI10.1016/0304-3975(91)90297-FMaRDI QIDQ808279zbMATH OpenFDO

Authors N. E. Zubov

Publication date 1991

Published in Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

program optimizationprogram transformationprogram concretization

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 18537
• Specialization of Concurrent Guarded Multi-set Transformation Rules
• Program annotation and transformation
• The transformational approach to program development
• scientific article; zbMATH DE number 1332628

Cites work

• scientific article; zbMATH DE number 18537 (Why is no real title available?)
• scientific article; zbMATH DE number 193386 (Why is no real title available?)
• scientific article; zbMATH DE number 3439968 (Why is no real title available?)
• ALPHA—An Automatic Programming System of High Efficiency
• On the partial computation principle

Cited in

(4)

• scientific article; zbMATH DE number 7345209 (Why is no real title available?)
• From sequential programs to multi-tier applications by program transformation
• Program annotation and transformation
• scientific article; zbMATH DE number 18537 (Why is no real title available?)

This page was built for publication: Transformational approach to program concretization

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