中文摘要：

这份报纸为未来量计算机调查编程方法论和技术的新领域，包括顺序、并发的量程序语言，他们的语义和实现的设计。为量程序和通讯协议的几个确认方法也被考察。在量工程的编程技术和相关形式化方法的潜在的应用程序被指出。

英文摘要：

This paper surveys the new field of programming methodology and techniques for future quantum computers, including design of sequential and concurrent quantum programming languages, their semantics and implementations. Several verification methods for quantum programs and communication protocols are also reviewed. The potential applications of programming techniques and related formal methods in quantum engineering are pointed out.