单项选择题

A.提出了通用计算机数学模型
B.提出了存储程序概念
C.设计了第一台电子计算机
D.设计了高级程序设计语言