比浏览器更快的访问！
7 关系: 并发性，形式语言，Go，Limbo，Occam，東尼·霍爾，模式。
并发性
在计算机科学中，並行性（Concurrency）是指在一個系统中，擁有多個計算，這些計算有同时执行的特性，而且他们之间有着潛在的互動。因此系統可進行的執行路徑會有相當多個，而且結果可能具有不確定性。并发计算可能会在具備多核心的同一个晶片中复合运行，以优先分时线程在同一個處理器中執行，或在不同的处理器执行。 一些数理模型已經為解決一般的並行計算問題而發展，包括Petri网、进程、PRAM模型和參與者模式。.
新！!: 交談循序程式和并发性 · 查看更多 »
形式语言
在数学、逻辑和计算机科学中，形式语言（Formal language）是用精确的数学或机器可处理的公式定义的语言。 如语言学中语言一样，形式语言一般有两个方面: 语法和语义。专门研究语言的语法的数学和计算机科学分支叫做形式语言理论，它只研究语言的语法而不致力于它的语义。在形式语言理论中，形式语言是一个字母表上的某些有限长字符串的集合。一个形式语言可以包含无限多个字符串。.
新！!: 交談循序程式和形式语言 · 查看更多 »
Go
Go（又稱Golang）是Google開發的一种静态强类型、編譯型、-zh-hant:並發型;zh-hans:并发型-，并具有垃圾回收功能的编程语言。 ，羅勃·派克（Rob Pike）及肯·汤普逊於2007年9月开始设计Go，，稍後Ian Lance Taylor、Russ Cox加入專案。Go是基於Inferno作業系統所開發的。Go於2009年11月正式宣布推出，成為開放原始碼專案，并在Linux及Mac OS X平台上进行了實現，后来追加了Windows系统下的实现。 目前，Go每半年发布一个二级版本（即从a.x升级到a.y）。.
Limbo
Limbo，一種用於分散式系統的程式語言，在Inferno作業系統中，用它來寫作應用程式。它起源於貝爾實驗室，由西恩·都華（Sean Dorward），菲爾·溫特伯（Phil Winterbottom）與羅勃·派克（Rob Pike）設計研發。 它的平行運算模式，受到東尼·霍爾的交談循序程式所啟發。.
新！!: 交談循序程式和Limbo · 查看更多 »
Occam
Occam，一種并行性程式語言，主要基於交談循序程式的程式代數，以及它的許多特色而實作。它的名稱來自於奥卡姆的威廉提出的奥卡姆剃刀（Occam's razor）原則。 類似於Pascal，Occam也是一種指令程序編程的程式語言。這個語言於1983年出現，由英國計算機科學家David May，以及Inmos的科學家，在東尼·霍爾提供顧問意見後，共同研發而成。.
新！!: 交談循序程式和Occam · 查看更多 »
東尼·霍爾
查爾斯·安東尼·理查德·霍爾爵士（Sir Charles Antony Richard Hoare，縮寫為C.
新！!: 交談循序程式和東尼·霍爾 · 查看更多 »
模式
模式（Pattern，源自patron），在物體或事件上，產生的一種規律變化與自我重複的樣式與過程。在模式之中，某些固定的元素不斷以可預測的方式週期性重現。最基本而常見的模式，稱為密鋪，具備重複性以及週期性兩大特徵。找尋出固定模式是人類基本的認知功能之一。 * Category:设计 Category:形而上學概念.
