词条

声明式编程

声明式编程（英语：Declarative programming）是一种编程范型，与命令式编程相对立。它描述目标的性质，让电脑明白目标，而非流程。声明式编程不用告诉电脑问题领域，从而避免随之而来的副作用。而指令式编程则需要用算法来明确的指出每一步该怎么做。

声明式编程通常被看做是形式逻辑的理论，把计算看做推导。声明式编程因大幅简化了并行计算的编写难度，自2009起备受关注。

声明式语言包括数据库查询语言（SQL，XQuery），正则表达式，逻辑编程，函数式编程和组态管理系统。

声明式编程通过函数、推论规则或项重写（term-rewriting）规则，来描述变量之间的关系。它的语言运行器（编译器或解释器）采用了一个固定的算法，以从这些关系产生结果。

声明式编程语言通常用作解决人工智能和约束满足问题。

声明式编程相关文献

命令式编程

参见（对立的）宣告式编程

查看全文

编程范型

例子结构化编程对比非结构化编程命令式编程对比宣告式编程消息传递编程对比命令式编程程序编程对比函数式编程Value-levelprogramming对比Function-levelprogramming流程驱动编程对比事件驱动编程纯量编程对比阵列编程基于类编程对比基于原型编程（在面向对象编程的上下文中）Rule-basedprogramming对比Constraintprogramming（在逻辑编程的上下文中）基于组件编程（如OLE）面向方面编程（如AspectJ）符号式编程（如Mathematica）面向表格编程（如MicrosoftFoxPro）管道编程（如Unix命令中的管道）Post-objectprogramming面向主题编程自省编程或称反射编程参见ArsbasedprogrammingMemetics

查看全文

多重编程范式

两种模态的语言可视化、数据流函数式、逻辑面向对象，函数式函数式，可视化面向对象（基于类），可视化11种模态的编程语言Mathematica

查看全文

极限编程

历史极限编程的创始者是肯特·贝克、沃德·坎宁安和罗恩·杰弗里斯（英语：RonJeffries），他们在为克莱斯勒综合报酬系统（英语：ChryslerComprehensiveCompensationSystem）的薪水册项目工作时提出了极限编程方法。肯特·贝克在1996年3月成为克莱斯勒系统的项目负责人，开始对项目的开发方法学进行改善。他写了一本关于这个改善后的方法学的书，并且于1999年10月将之发行，这就是《极限编程解析》（2005第二版出版）。克莱斯勒在2000年2月取消了实质上并未成功的克莱斯勒系统，但是这个方法学却一直流行在软件工程领域中。至今2006年，很多软件开发项目都一直以极限编程做为他们的指导方法学。该书阐述了如下的极限编程的哲学思想：一种社会性的变化机制一种开发模式一种改进的方法一种协调生产率和人性的尝试一种软件开发方法把极限编程一般化并用于其它类型的专案称为极限专案管...

查看全文

可擦除可编程式只读存储器

EPROM的型号与容量除了1702之外，EPROM是27系列型号，各种容量及型号参见附表，编号前可能加有厂商的英文字头，同一型号可能有不同的速度与封装方式，并附加于编号后。各厂牌同型号的EPROM读取上兼容，但编程规范可能会略有不同。(此外，使用EPROM的MCS48/51家族MCU则是87系列)部分较新的EPROM可借由签名模式（signaturemode）进行型号自动识别，方法是将A9提升到12V，芯片便会提交两byte的识别数据。由于并非所有型号均有此功能（尤其是早期的型号），因此编程时有可能须人工指定型号。注:1702EPROM是使用PMOS逻辑制程，27系列的其他型号中没有C的是使用NMOS逻辑制程，含有C的则是较新的CMOS逻辑制程。EPROM图像由擦除窗口看EPROM晶粒32KB(256Kbit)EPROM27C256EPROM晶粒的60倍近照以EPROM来存储程序的8749...

查看全文

声明式编程相关标签

宣告式编程

编程典范

家族谱大览

程氏宗谱 [2卷]

原书: [出版地不详 : 出版者不详], 2002年重修. 2册 : 世系表. 收藏者 : 太原市寻源姓氏文化研究中心. 修谱人员 : 程会林,字载忠 ; 程际来,名国来 ; 程际玉,名法标 ; 程际莲,字从寿. 一世祖 : 程珦,号端朴. 派祖(4世) : 程秀弦(或作弦). 生三子 : 程友锐 ; 程友苑 ; 程友阐. 支祖(9世) : 程式商. 友锐公之后. 乐清始祖(15世) : 程道京. 由河南迁乐清. 生三子 : 程敏鸾(迁瑞安梓岙) ; 程正诚,字怀广,号象仁 ; 程正度(止). 南沙岙始祖(17世) : 程应飏,名彪,字思登,号岩庵. 正诚公次子. 应飏公下四子(18世) : 程文铃,字帝倾(止) ; 程文谦,字帝怀,号远斋(大房) ; 程文豫,字帝悦,号省斋(二房) ; 程文观,字存我,号淡斋(河口三房). 文豫公生二子(19世) : 程广哲,字泰常,号省斋 ; 程广风,字泰虎. 广风公下房祖(20世) : 程大苍,字守宇(六房) ; 程大旻,字光宇(七房) ; 程大昊,字启宇(八房) ; 程大伦,字类宇(九房). 白沙祖(25世) : 程喜春,名长春,字世春,又名自至. 万岙祖(26世) : (清) 程吉杰,名三进,字昌杰. 讳行(13世起) : 宏天道正应文广大元朝国士喜吉庆良承际会超进德仁纪统佳景瑞祥昭鹏飞重开跃伯兴来季兆. 字行 : 绍纯敬怀思帝泰芝允永云旭世昌廷显荣从载静公芳英哲清裕次年崇秉华夏起安康诚信达贤明. 散居地 : 浙江省乐清县等地. 书名据书签题, 及书名页题编目. 版心题及卷端题 : 南沙岙程氏宗谱目录题 : 重修程氏宗谱

原书: [出版地不详] : 四箴堂, 1989年六修. 存3册 : 图像, 世系. 受姓祖 : 伯符,字乔伯. 封广平程国伯,以国为氏. 黄冈始迁祖 : (明) 程鹏,字贵三, 永乐初进士,诰授大中大夫. 由江右迁黄冈下五乡. 生子五: 程万山 ; 程万贵 ; 程万富 ; 程万纲 ; 程万种. 陕西紫阳始迁祖 : 程维封, 字文华, 士熙长子. 乾隆34年迁居陕西省旧县关柴阳县悦口河街宗派 : 始祖程贵三, 二世万派, 三四五六派未划. 字派自七世祖起. 原派(7世起) : 方文良士维汝学之嘉其克绍如式永司. 续派(23世起): 清启祥顺邦国德宁昌吉康泰正大光明. 散居地 : 湖北省黄冈市, 陕西省紫阳县等地. 书名据书名页题, 书衣题及版心题编目.