scientific article; zbMATH DE number 4121405

zbMATH Open0684.68028MaRDI QIDQ4734756

Huiquan Qi, Zhen-Peng Chen

Publication date: 1987

Title of this publication is not available (Why is that?)

zbMATH Keywords

optimizationprogram designautomatically adjusting parameter

Mathematics Subject Classification ID

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

Related Items (2)

Optimizing the JSM Program ⋮ Analysis of program optimization possibilities and further development

This page was built for publication:

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