GHC

GHC:守护神角条款。本文介绍了GHC缩写的编程语言GHARD HORN子句。守恒角子句是从对现有逻辑编程语言和逻辑编程的检查中诞生的,特别关注并行性。与其他并行程序设计语言相比,GHC的主要特点是它极其简单。GHC是对基于角的子句句的基于定理的证明器的限制。制约因素有两个方面:一是统一对数据流动的制约,二是选择非决定论的引入。前者对于通用语言是必不可少的,并且它还提供GHC与同步原语。后者是由包括与外部世界交互的系统的预期应用所要求的。GHC的特点是,所有的限制都是作为唯一附加句法结构的语义来实施的。虽然守恒的角子句可以被归类为逻辑编程语言族,但它与其他形式主义(包括数据流语言、通信顺序过程和函数语言)有着密切的关系。除了缺乏高阶设施,GHC可以被看作是这些框架的概括。GHC的简单性和通用性将使它不仅适合并行逻辑编程语言的标准,而且适合并行编程语言。此外,它是足够简单的被视为计算模型以及编程语言。在GHC的设计阶段,一直关注有效实施的可能性。我们表明,流合并和分布预计将大量使用,可以实现相同的时间复杂度的时间复杂度的多对一通信的过程语言。此外,我们提供了一个高效的编译器实现GHC的一个子集之上的PROlog。GHC已经失去了作为一个定理证明者故意的完整性,而不是妥协的结果。然而,它可以用于高效地实现HORN子句程序的穷举式搜索。我们展示了如何自动编译一个HONE子句程序,用于穷举搜索到GHC程序。


ZBMaX中的参考文献(42篇)1标准条款

显示结果1至20的42。
按年份排序(引文
  1. Saraswat,Vijay;Gupta,维尼特;贾加迪桑,拉达:TCC,历史(2014)
  2. Olarte,卡洛斯;鲁埃达,CAMILO;瓦伦西亚,Frank D.:并发约束编程的模型和发展趋势(2013)
  3. 科雷亚,F,Falaschi,M.:一个基于规则的程序的诊断和纠正的集成框架(2010)
  4. Ueda,Kasuni:基于约束的并发性和超越性(2006)
  5. 康纳利,John S.;Catchen,Julian M.;Lynch,米迦勒:模型驱动的服务组合(2005)伊波尔特
  6. Ajiro,Yasuhiro;上田,Kasuni:Kima:一个并发逻辑程序的自动纠错系统(2002)
  7. Ueda,Kazunori:一个纯GHC的纯元解释器,一个并发约束语言(2002)
  8. Ueda,Kasuni:资源通过并发编程(2001)
  9. Ueda,Kasuni:并发逻辑程序的线性分析(1999)
  10. Knijnenburg,Peter M. W.;Kok,JooS.N:雾化语句和平行选择组合的语义(1997)
  11. Krishna Rao,M. R. K.;Kapur特区;Shyamasundar,R. K.:证明GHC计划的终止。(1997)伊波尔特
  12. Krishna Rao,M. R. K.;Kapur特区;Shyamasundar,R. K.:证明GHC计划的终止。(1997)伊波尔特
  13. Ariola,Z. M.;Massey,B. C.;安德烈·萨米,M;TICK,E:一种常见的中间语言及其在分区并发声明程序中的应用。(1996)伊波尔特
  14. 科斯塔,Vitor Santos:安道尔I汇编。(1996)伊波尔特
  15. 罗川,川崎;Nakase,秋子;Chikayama,Takashi:分布式存储实现KLIC。(1996)伊波尔特
  16. Barklund,乔纳斯:逻辑程序中迭代和并发的有界量化(1994)
  17. Poirriez,V: MLog:一个强类型的合流函数语言的逻辑变量(1994)
  18. Brogi,安东尼奥;Ciampolini,安娜;LAMMA,Evelina;梅洛,Paolo:基于多头子句的逻辑程序设计分布式模型的实现(1992)
  19. 科拉迪尼,安德列;蒙塔纳里,乌戈:结构化转换系统的代数语义及其在逻辑程序中的应用(1992)
  20. Gabbrielli,Maurizio;利维,吉奥吉奥:并发约束逻辑程序的展开和不动点语义(1992)