搜索筛选:
搜索耗时0.0889秒,为你在为你在102,285,761篇论文里面共找到 5 篇相符的论文内容
发布年度:
[学位论文] 作者：戴静安,
来源：南京大学 年份：2006
本文提出一种基于Java的新型量子程序设计语言NDQJava，考虑到未来量子计算机可能的特点，这是一种混成语言，Java是其子语言，与现有量子程序设计语言不同，此语言绕过不可克隆原理，根......
[期刊论文] 作者：戴静安,宋方敏,
来源：南京大学学报：自然科学版 年份：2006
λ-演算这种计算模型，是一种良好的数学工具，与递归函数密切相关．λ-演算中的不动点算子，增强了系统的表达能力，表达了递归函数中递归的性质，但同时也略有不足，因为常见不动点算子，都......
[会议论文] 作者：戴静安,胡海星,宋方敏,
来源：2004年全国理论计算机科学学术年会 年份：2004
λ演算、Turing机、递归函数理论是计算理论的重要基础.已知λ演算与图灵机的计算能力是等价的.本文介绍需要的λ演算的几个基本术语....
[期刊论文] 作者：宋方敏, 钱士钧, 戴静安, 张云洁, 徐家福,,
来源：软件学报 年份：2008
简要介绍了量子程序设计语言NDQJava的一个处理系统．其特点是：程序中经典部分之处理借助Java系统，着重考虑量子部分之处理．该处理系统遵循编译．解释的途径，由词法分析程序、语法分......
[期刊论文] 作者：徐家福,宋方敏,钱士钧,戴静安,张云洁,
来源：软件学报 年份：2008
量子程序设计语言自1996年出现以来，颇受业界重视．在简述几种有代表性的量子程序设计语言之后，着重阐述自行设计之量子程序设计语言NDQJava之概貌，其中包括设计准则、语言风范、......
相关搜索：
