摘要：在计算机科学中，程序分析是指自动分析一个程序的包括正确性、健壮性、安全性和活跃性等特征的过程。 程序分析主要研究两大领域：程序的优化（英语：Program optimization）和程序的正确性。前者研究如何提升程序性能并且降低程序的资源占用，后者研究如何确保程序完成预期的任务。 程序分析可以在不执行程序。...在计算机科学中，程序分析是指自动分析一个程序的包括正确性、健壮性、安全性和活跃性等特征的过程。 程序分析主要研究两大领域：程序的优化（英语：Program optimization）和程序的正确性。前者研究如何提升程序性能并且降低程序的资源占用，后者研究如何确保程序完成预期的任务。 程序分析可以在不执行程序。
etup」、「install」、「installer」、「installation」等字样。 安装程式通常也会同时提供移除程式（或称反安装程式、卸载程序）以协助使用者將软体自电脑中刪除。移除程式的档案名称常为「uninstall」、「uninstaller」等。。
e t u p 」 、 「 i n s t a l l 」 、 「 i n s t a l l e r 」 、 「 i n s t a l l a t i o n 」 deng zi yang 。 an zhuang cheng shi tong chang ye hui tong shi ti gong yi chu cheng shi （ huo cheng fan an zhuang cheng shi 、 xie zai cheng xu ） yi xie zhu shi yong zhe 將 ruan ti zi dian nao zhong 刪 chu 。 yi chu cheng shi de dang an ming cheng chang wei 「 u n i n s t a l l 」 、 「 u n i n s t a l l e r 」 deng 。 。
＞０＜
Maps便是利用了这种技术，先于用户将屏幕滚动到临近地区，预取到周围的图片资料。 网络效率高(此点或为误解，实作刚好相反)：丰富互联网应用程序的网络通信量也会明显减少，这是由于在决定需要与伺服器端交换什么数据时，为应用程序专门设计的客户端引擎，会比标准的网页浏览器更智能(?)。由于每次交互所需传输的数据量变少了，从而总负载也减轻。
、次序及方法、命提出证物或可为证据文书、其他与审判有关事项。 为使审理及辩论程序流畅，「准备程序」相当重要，检、审、辩三方先確定要对被告的什么行为涉及什么罪、什么证据可以用，要请谁来作证，证物是否要送鑑定等事项，进行准备程序，以整理出爭点、证据调查方法及审理流程，再对爭点进行审理、辩论，进而宣判。。
扩展是在浏览器上可安装或卸载的能够修改或增强浏览器功能的小程序。可以指： Firefox扩展列表 Google Chrome扩展程序 什么是扩展程序？. [2020-09-04]. （原始内容存档于2017-10-24）. 。
╯﹏╰
小书签（英语：bookmarklet），又叫书签小程序，是一种小型的程序，以网址（URL）的形式被存为浏览器中的书签，也可以是网页上的一个链接。小书签的英文名，Bookmarklet是由Bookmark和Applet组合而来。无论小书签以什么形式储存，它们都是用来给浏览器或是网页添加一些特定功能的。。
应用交付控制器（Application delivery controller，ADC）又称应用程序交付控制器，是数据中心中的一种计算机网络设备，通常是应用交付网络的一部分，它能帮助执行常见的任务，例如由Web加速器完成的任务，或者控制客户端和服务器之间的通信以及数据流，以达到消除网页伺服器本身负载。
?＾?
络的行为。人们通常很难界定这些数据到底表示什么或者它们是否可以由程序来代替。这个例子以及跟人工智能相关的其它一些问题进一步考验程序和数据的区别。 算法指解决某个问题的严格方法，通常还需辅以某种程度上的运行性能分析。算法可以是纯理论的，也可以由一个计算机程序实现。理论算法通常根据复杂性分为不同类别；。
是指某类计算机程序的编写，这类计算机程序编写或者操纵其它程序（或者自身）作为它们的数据，或者在运行时完成部分本应在编译时完成的工作。 指专注于某个应用程序领域的计算机语言。 编译原理是编写编译器的理论。编译器的操作传统上分为语法分析(扫描和解析)、语义分析(确定程序应该做什么)、优化(根据某些指标改进程序。
程序及政策不容许的活动；如果该程序或活动并不违反政策或不属于高危险性，UAC会首先衡量是否由Windows Vista发行的程序，如果答案是否定的，UAC继而会判断该程序是否来自获微软认证的合法发行者；如果UAC最终无法判断程序来源，就会让用户谨慎决定是否允许程序运行。。
≥▂≤
程序都经过一次转换之后才变成机器码。很多老牌的第三方虚拟机都使用一种叫做“动态编译”的技术，也就是说虚拟机实时监测和分析程序的运行行为，同时选择性地对程序所需要的部分进行编译和优化。所有这些技术都改善了代码的运行速度，但是又不会让程序的体积变得失常。 程序。
ˇ０ˇ
心理学哲学是研究一些关于心理学的方法学和知识论的问题。例如： 什么方法是适合研究心理学：唯心论、行为主义还是调和两者？ 自我报告是否一种可靠的数据收集？ 虚无假说可以得出什么结论？ 第一人称的体验（情绪、欲望、信念等）能否客观衡量？ 心理学和认知神经科学中使用的科学决策实践和实验室程序是什么？。
译文：一个人合理得知自己被控有什么罪责的权利，以及为自己辩护的机会——当天在法庭的权利——是我们法学体系的基础，这最低限度包括，与不利於他的证人对质，提出证词以及由辩护人代理的权利。 在华盛顿诉德克萨斯州案（1967年）中，法院认为该条款禁止州法律规定同案多名被告不能彼此作证。该判决基於正当程序。
苹果开发工具是苹果为给Mac OS X平台编写软件的工程师们设计的一系列软件。 一个为Sun’s Java插件程序设计的图形界面,它通过给开发者演示Java小应用程序如何在Mac OS X上运行来为开发者提供帮助。并提供了用来调整小应用程序性能的工具。 一个音频单元的图像显示软件，它能帮开发者测试他们的成果。Audio Unit。
ˋωˊ
在普通法系中，原告人、申索人（英语：claimant）是指在民事诉讼程序中，率先向法院提起控告的一方。而在大陆法系中，除民事诉讼程序或行政诉讼程序中最先提起诉讼的一方外，原告也可指在刑事诉讼程序中提起诉讼的公益代表人（通常为检察官）或公益诉讼主体。。
面向语言的程序设计（Language-Oriented Programming，LOP），指一种程序设计范型，将有相同状态的块建造成对象、模块和构件，不再用通用编程语言解决问题，程序员首先为问题编写一种或多种领域特定语言，然后再在这些语言中解决问题。这个概念具体描述于Martin Ward的1994年的题为《面向语言编程》的论文中。。
程序。 各种类型的动态网页和“网络应用程序” 之间的区别一般是不清楚的。最有可能接近“网络应用程序”的网站是与桌面软件应用程序或移动应用程序具有类似功能的网站。HTML5引入了明确的支持，使得应用程序可以作为网页加载，可以在本地存储数据并在脱机状态下继续运行。 单页应用更类似于应用程序。
程序的基本单元，将程序和数据封装其中，以提高软件的重用性、灵活性和扩展性，物件里的程序可以访问及经常修改物件相关连的资料。在物件导向程式编程里，电脑程式会被设计成彼此相关的物件。 面向对象程序设计可以看作一种在程序中包含各种独立而又互相调用的对象的思想，这与传统的思想刚好相反：传统的程序。
＋▂＋
从09跑道起飞的所有SID，无论其最终航路点是什么，最后的字母都是N 在美国，SID的命名并不那么严格，可以为该程序的特点、该程序的某个航路点或者地形情况，不过也包含一个数字代表其版本号。比如说洛杉矶国际机场的LOOP5标准仪表离场程序的命名就是因为：该程序引导飞行器起飞后首先向西飞行，之后再海面上做。
香港作为前英国殖民地，香港法律制度继承了英国《普通法》的传统，行使无罪推定原则对待疑犯，即疑犯在未被法庭判处有罪前，必须假设疑犯或者被告均为清白无罪。这原则贯穿香港刑事诉讼程序的每一步骤。英国上议院议员约翰·绅奇勋爵（英语：John Sankey, 1st Viscount Sankey）形容此原则为「贯穿英国刑事法的金线」。。
发表评论