GHC公司

GHC:有保护的喇叭条款。本文介绍了程序设计语言Guarded Horn子句,简称GHC。保护喇叭子句是在对现有逻辑程序设计语言和一般逻辑程序设计进行考察的基础上产生的,特别注重并行性。GHC的主要特点是与其他并行编程语言相比,它非常简单。GHC是Horn子句语句基于解析的定理证明器的一个限制。这种限制有两个方面:一是统一对数据流的限制,二是引入了选择不确定性。前者对于通用语言是必不可少的,它还为GHC提供了一个同步原语。后者是预期应用所必需的,包括与外界交互的系统。GHC的特点是,所有的限制都是作为唯一附加的语法结构guard的语义而施加的。虽然保护Horn子句可以归入逻辑程序设计语言家族,但它与其他形式(包括数据流语言、通信顺序过程和用于多处理的函数语言)有着密切的关系。除了缺少更高阶的工具之外,GHC可以看作是这些框架的一个概括。GHC的简单性和通用性将使它不仅适用于并行逻辑编程语言,而且适用于并行编程语言的标准。此外,它非常简单,可以看作是一种计算模型和一种编程语言。在温室气体控制的设计阶段,人们一直在关注高效实施的可能性。我们证明了在过程语言中,流合并和分发可以以与多对一通信的时间复杂度相同的时间复杂度来实现。此外,我们在Prolog上提供了一个高效的基于编译器的GHC子集实现。GHC故意失去了作为定理证明者的完备性,而不是妥协的结果。然而,它可以有效地实现Horn-clause程序的穷尽解搜索。我们展示了如何自动地将Horn子句程序编译成GHC程序。


zbMATH中的参考文献(引用于,1标准件)

显示第1到第20个结果,共43个。
按年份排序(引用)
  1. 拉德盖特(Sarageaswat);历史
  2. Carlos Olate;Rueda,Camilo;Valencia,Frank D.:并发约束编程的模型和新兴趋势(2013)
  3. alpunte,M.;Ballis,D.;Correa,F.;Falaschi,M.:基于规则程序诊断和纠正的集成框架(2010)
  4. Ueda,Kazunori:基于约束的并发和超越(2006)
  5. Conery,John S.;Catchen,Julian M.;Lynch,Michael:模型驱动的服务组合(2005)ioport公司
  6. Tsuiki,Hideki:使用承诺选择逻辑编程语言的实数计算(2005)
  7. Ajiro,Yasuhiro;Ueda,Kazunori:Kima:并发逻辑程序的自动纠错系统(2002)
  8. Ueda,Kazunori:FlatGHC的纯元解释器,一种并发约束语言(2002)
  9. Ueda,Kazunori:资源传递并发编程(2001)
  10. Ueda,Kazunori:并发逻辑程序的线性分析(1999)
  11. Knijnenburg,Peter M.W.;Kok,Joost N.:原子化语句和并行选择组合的语义(1997)
  12. Krishna Rao,M.R.K.;Kapur,D.;Shyamandar,R.K.:证明GHC项目终止。(1997年)ioport公司
  13. Krishna Rao,M.R.K.;Kapur,D.;Shyamandar,R.K.:证明GHC项目终止。(1997年)ioport公司
  14. Ariola,Z.M.;Massey,B.C.;Sami,M.;Tick,E.:一种通用的中间语言及其在划分并发声明性程序中的应用。(1996年)IO端口
  15. 科斯塔,维托·桑托斯:安道尔一号汇编。(1996年)ioport公司
  16. Rokusawa,Katsuaki;Nakase,Akihiko;Chikayama,Takashi:KLIC的分布式内存实现。(1996年)ioport公司
  17. Barklund,Jonas:逻辑编程中迭代和并发的有界量化(1994)
  18. Poirriez,V.:MLOG:一种具有逻辑变量的强类型融合函数语言(1994)
  19. Brogi,Antonio;Ciampolini,Anna;Lamma,Evelina;Mello,Paolo:基于多头子句的分布式逻辑编程模型的实现(1992)
  20. Corradini,Andrea;Montanari,Ugo:结构化转换系统的代数语义及其在逻辑程序中的应用(1992)