程序

热修复修补程序或快速修复工程更新（QFE 更新）是一个单一的累积包，其中包含用于解决软件产品中的问题（即软件错误）的信息（通常以一个或多个文件的形式） ...

焊接工艺规程焊接工艺规程 是描述焊接程序的正式书面文件，它为焊工或焊接操作员提供指导，以按照规范要求进行良好和高质量的生产焊接。 该文件的目的是指导...

延迟过程调用延迟过程序调用 (DPC) 是一种 Microsoft Windows 操作系统机制，它允许高优先级任务（例如中断处理程序）推迟所需但低优先级的任务以供以后执行...

调度（计算机）在计算中，调度是分配资源以执行任务的动作。 资源可以是处理器、网络链路或扩展卡。 任务可以是线程、进程或数据流。调度活动由称为调度程序...

柴廷常数在算法信息论的计算机科学子领域中，Chaitin 常数（Chaitin 欧米茄数）或停机概率是一个实数，通俗地说，它表示随机构建的程序停机的概率。 这些数字...

正确性（计算机科学）在理论计算机科学中，如果算法按照指定的方式运行，那么它就规范而言是正确的。 xxx的探索是功能正确性，它指的是算法的输入输出行为（...

结构化程序理论结构化程序定理，也称为 Böhm–Jacopini 定理，是编程语言理论的一个结果。 它指出，如果一类控制流图（在此上下文中历史上称为流程图）仅以三...

断言（程序）在计算机编程中，特别是在使用命令式编程范式时，断言是一个谓词（状态空间上的布尔值函数，通常表示为使用程序变量的逻辑命题）连接到程序中的...

SketchpadSketchpad（又名 Robot Draftsman）是 Ivan Sutherland 于 1963 年在其博士论文过程中编写的计算机程序，他为此获得了 1988 年的图灵奖和 2012 年的...

内核内核是计算机操作系统核心的计算机程序，通常可以完全控制系统中的所有内容。 它是操作系统代码的一部分，始终驻留在内存中并促进硬件和软件组件之间的交...

BIOS中断调用BIOS 中断调是操作系统和应用程序用来调用 IBM PC 兼容计算机上的基本输入/输出系统软件的工具。 传统上，BIOS 调用主要由 DOS 程序和一些其他软...

指令级并行指令级并行 (ILP) 是计算机程序中指令序列的并行或同时执行。 更具体地说，ILP 是指此并行执行中每步运行的平均指令数。讨论ILP 不能与并发相混淆...

内存屏障在计算中，内存屏障，也称为 membar、内存栅栏或栅栏指令，是一种屏障指令，它会导致中央处理器 (CPU) 或编译器对屏障前后发出的内存操作强制执行顺...

分级保护域在计算机科学中，分层保护域（通常称为保护环）是保护数据和功能免受故障（通过提高容错性）和恶意行为（通过提供计算机安全性）的机制。计算机操...

软件组建在软件开发中，构建是将源代码文件转换为可以在计算机上运行的独立软件工件的过程，或者是这样做的结果。函数构建软件是一个端到端的过程，涉及许多...

非确定性编程非确定性编程语言是一种可以在程序的某些点（称为选择点）指定程序流程的各种选择的语言。 与 if-then 语句不同，程序员不直接指定在这些备选方...

程序设计方法程序设计方法 (HtDP) 是 编写的关于计算机程序系统设计的教科书。根据 HtDP，设计过程从对问题陈述的仔细分析开始，目标是提取对所需程序使用和...

简介计算机程序是计算机执行的编程语言中的一系列或一组指令。计算机程序是软件的一个组件，它还包括文档和其他无形组件。人类可读形式的计算机程序称为源代...

简介面向特殊性编程 (@OP) 是一种在程序代码中嵌入元数据（即属性）的技术。各种语言的面向特色编程工具注释处理工具（apt）Spoon，一个注解驱动的 Java 程序...

简介在编程语言理论和证明理论中，柯里-霍华德同构（也称为 Curry-Howard 同构或等价）是两者之间的直接关系计算机程序和数学证明。它是美国数学家 Haskell C...

简介在计算中，通用网络接口 (CGI) 是一种接口规范，它使 Web 服务器能够执行外部程序，通常是处理用户请求。此类程序通常用脚本语言编写，通常称为 CGI 脚本...

Pilot ACEPilot ACE（自动计算引擎）是英国制造的首批计算机之一。 它于 1950 年代初在国家物理实验室 (NPL) 建成，也是最早的通用存储程序计算机之一——加入...

分析机分析机是由英国数学家和计算机先驱查尔斯巴贝奇设计的一种机械通用计算机。 它于 1837 年首次被描述为巴贝奇差分机的继承者，后者是一种更简单的机械计...

IBM通用用户访问通用用户访问（CUA）是操作系统和计算机程序的用户接口标准。它是由IBM开发的，并在1987年首次发布，作为其系统应用架构的一部分。最初在MVS/...

杀手启发式杀手启发式是一种棋步排序方法，它基于这样的观察：在某一特定位置的强势棋步或这类棋步的小集合可能在博弈树的同一步骤（ply）的类似位置也同样强...

花火（纸牌游戏）花火（来自日本的花火，烟花）是由法国游戏设计师AntoineBauza创造的合作性纸牌游戏，于2010年出版。玩家知道其他玩家的牌，但不知道自己的...

计算机围棋计算机围棋是人工智能（AI）的一个领域，致力于创建一个能下传统棋盘游戏的计算机程序。该领域被尖锐地划分为两个时代。在2015年之前，这个时代的...

人工语言互联网计算机实体一个通过对人类的输入应用一些启发式模式匹配规则与人类进行对话的程序。它的灵感来自JosephWeizenbaum的经典ELIZA程序。它是同类程...

符号测试符号测试（具体和符号的谐音）是一种混合的软件验证技术，沿着具体执行（对特定输入进行测试）的路径执行符号执行，这是一种将程序变量视为符号变量...

程序的结构合成程序的结构合成（SSP）是一种基于命题微积分的（自动）程序合成的特殊形式。更确切地说，它使用直觉逻辑来描述程序的结构，使程序可以由子程序...