arrow
返回

Programming the Quantum Future

delete2015-07-23
delete26
PRE
AI
B
Benoît Valiron *
N
Neil J. Ross
P
Peter Selinger
D
D. Scott Alexander
J
Jonathan M. Smith
DOI:10.1145/2699415delete
delete原文链接
delete原文求助
delete分享
delete收藏
摘要

摘要

En 中文
THE EARLIEST COMPUTERS, like the ENIAC, were rare and heroically difficult to program. That difficulty stemmed from the requirement that algorithms be expressed in a vocabulary suited to the particular hardware available, ranging from function tables for the ENIAC to more conventional arithmetic and movement operations on later machines. Introduction of symbolic programming languages, exemplified by FORTRAN, solved a major difficulty for the next generation of computing devices by enabling specification of an algorithm in a form more suitable for human understanding, then translating this specification to a form executable by the machine. The programming language used for such specification bridged a semantic gap between the human and the computing device. It provided two important features: high-level abstractions, taking care of automated bookkeeping, and modularity, making it easier to reason about sub-parts of programs.
Keyword:
LAMBDA-CALCULUS
COMPUTATION
ALGORITHMS
LANGUAGES
AI总结

AI总结

对已上传原文的论文进行重点信息的提取,主要内容包括:简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。

期刊

Communications of the ACM 封面图
Communications of the ACM
IF:
12.2
论文数:
1.2W
被引数:
3.7W

机构

U
university of pennsylvania
学者数:
9.2W
论文数: 7.8W
被引数: 153
D
Dalhousie University
学者数:
2.0W
论文数: 1.8W
被引数: 2.3W
U
Universite Paris Saclay
学者数:
7.3W
论文数: 5.3W
被引数: 540
学者 查看更多机构
引用论文

引用论文

err分享
err收藏
On the 3-D reconstruction of Coronal Mass Ejections using coronagraph data
err2010-01-20
err0
errOAAI
errM. Mierla; B. Inhester; A. Antunes; Y. Boursier; J. P. Byrne; R. Colaninno; J. Davila; C. A. de Koning; P. T. Gallagher; S. Gissot; R. A. Howard; T. A. Howard; M. Kramar; P. Lamy; P. C. Liewer; S. Maloney; C. Marqué; R. T. J. McAteer; T. Moran; L. Rodriguez; N. Srivastava; O. C. St. Cyr; G. Stenborg; M. Temmer; A. Thernisien; A. Vourlidas; M. J. West; B. E. Wood; A. N. Zhukov
err分享
err收藏
A Variant Model of TGAN for Music Generation
err2020-07-03
err0
PREAI
errPing-Sung Cheng; Chieh-Ying Lai; Chun-Chieh Chang; Shu-Fen Chiou; Yu-Chieh Yang
err分享
err收藏
Genomics in the Discovery and Monitoring of Marine Biodiversity
err2010-01-18
err0
PREAI
errG. R. Carvalho; S. Creer; Michael J. Allen; F. O. Costa; C. S. Tsigenopoulos; M. Le Goff-Vitry; A. Magoulas; L. Medlin; K. Metfies
err分享
err收藏
学者 查看更多内容