演员模型的指称语义(Denotational semantics of the Actor model)是演员的指称域理论的研究主题。这个主题的历史发展参见指称语义的历史。 计算系统语义的指称理论关心找到表示系统作为的数学对象。这个理论利用了计算数学域。这种计算域的例子是偏函数和演员事件图场景。 关系...
9 KB (1,104 words) - 11:07, 25 November 2023
在计算机科学中,指称语义(英語:Denotational semantics)是通过构造表达其语义的(叫做指称(denotation)或意义的)数学对象来形式化计算机系统的语义的一种方法。编程语言的形式语义的其他方法包括公理语义和操作语义。指称语义方式最初开发来处理一个单一计算机程序定义的...
21 KB (3,139 words) - 11:10, 25 November 2023
在電腦科學中,演員模型(英語:Actor model)是一種並行運算上的模型。「演員」是一種程式上的抽象概念,被視為並行運算的基本單元:當一個演員接收到一則訊息,它可以做出一些決策、建立更多的演員、傳送更多的訊息、決定要如何回答接下來的訊息。演员可以修改它们自己的私有状态,但是只能通过消息间接的相互影响(避免了基于锁的同步)。...
68 KB (5,763 words) - 13:34, 19 February 2024
model)指称一种编程样式,即通过看起来像库调用的方式引发执行。例子包括POSIX的Pthreads库和Apache Hadoop中的MapReduce。在这二者情况下,执行模型(英语:Execution model)都符合这个库所用语言的语法却不能按照其语义来理解。不同于计算模型,编程模型特别暗含着对硬件或软件实现的实际考虑。...
42 KB (4,888 words) - 16:07, 20 April 2024
域理论 (category 含有英語的條目)
theory)是研究通常叫做「域」的特定种类偏序集合的数学分支。因此域理论可以被看作是序理论的分支。这个领域主要应用于计算机科学中,特别是针对函数式编程语言,用它来指定指称语义。域理论以非常一般化的方式形式化了逼近和收敛的直觉概念,并与拓扑学有密切联系。在计算机科学中指称语义的一个可作为替代的方式是度量空间。 Dana...
15 KB (2,698 words) - 12:00, 20 December 2021
实化 (category 含有英語的條目)
representation))。 UML提供了关联类(association class)用于构建被实化的关系类型。关联类既是关联又是类。 查看维基词典中的词条「reification」。 指称语义 形式语义学 操作语义学 The Java Language Specification, section 4.7...
5 KB (673 words) - 13:45, 10 February 2024
Future与promise (category 自2019年10月带有失效链接的条目)
在计算机科学中,future、promise、delay和deferred,是在某些并发编程语言中,指称用于同步程序执行(英语:Execution (computing))的一种构造。由于某些计算尚未结束,故而需要一个对象来代理这个未知的结果。这种构造起源于函数式编程和相关范型如逻辑编程,其目的是将值与其运算过程解耦...
85 KB (9,548 words) - 03:18, 13 June 2024
续体 (category 含有英語的條目)
续体被用于计算模型,包括λ演算、指称语义、演员模型和进程演算。这些模型仰仗于编程者或语义工程师书写数学函数时采用“续体传递风格”(continuation-passing style,简写为CPS)。这意味着每个函数都消费一个表示有关于这个函数调用的余下计算的...
43 KB (5,100 words) - 06:23, 11 December 2024
依赖类型 (category 自2017年11月带有失效链接的条目)
这里专指核心语言之编程范式,而非任何 tactic 或代码生成子语言的范式。 受到语义约束,诸如全类(universe)的约束。 环求解器。 可选的全类、可选的全类多态、可选的显式全类指定。 全类,由全类约束自动推导(不同于 Agda 的全类多态)和可选的全类约束回显。 已由 ATS 取代。 Lambda立方体...
14 KB (1,540 words) - 15:06, 24 February 2024
韵律 (语言学) (category 自2022年含有不活躍DOI的頁面)
的受损会导致感觉性失语韵能,并使得患者无法理解声音及肢体语言的变化。 副語言學 語調 形式语言 韵律单位 语义韵律,即语篇韵律 语速 值得注意的是,将句中的添加逗号也可以在书面上达到消除歧义的效果。 prosody | literature. 不列颠百科全书. [2021-06-28]. (原始内容存档于2022-10-04)...
24 KB (3,400 words) - 23:20, 21 October 2023
Smalltalk (category 含有过时参数的引用的页面)
开发环境的革新相当迅速。虽然当时的位图显示器十分昂贵,但是艾伦·凯却说服了PARC,让他使用这些位图显示器,这使得艾伦·凯和他的小组,能够实现不同大小和字体的文字,使用多窗口环境,以及一些对图像处理的高端支持。Smalltalk-72影响了演员模型的发展,它的语法和执行模型,与现代的Smalltalk变体有着显著的差异。...
70 KB (8,648 words) - 20:54, 14 September 2024
闭包 (计算机科学) (category 含有英語的條目)
的实体,用于在他的SECD机器上对表达式求值。 Joel Moses(英语:Joel Moses)认为是Landin发明了“闭包”这一术语,用来指代某些其开放绑定(自由变量)已经由其语法环境完成闭合(或者绑定)的lambda表达式,从而形成了闭合的表达式,或称...
16 KB (2,371 words) - 02:31, 11 February 2024