×
Alpunte，M。;格拉姆利希，B。;维拉纽瓦，A。

带有外部函数的定时并发约束编程框架。 （英语） Zbl 1278.68066号

Lucio，Paqui（编辑）等人，《第六届西班牙编程与语言会议论文集》（PROLE 2006），西班牙巴塞罗那Sitges，2006年10月4-6日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记188，143-155（2007）。
摘要：定时并发约束编程语言(tccp公司简而言之）被引入到反应系统建模中。这种语言允许人们以非常直观的方式对这些系统的典型成分进行建模，如超时、抢占等。然而，没有自然的方法来对其他期望的特征进行建模，如函数计算，例如计算算术结果。事实上，虽然实现这种操作当然是可能的，但计算的每一步都需要花费时间tccp公司以及避免干扰（无功）系统的预期整体行为。{}在本文中，我们提出了tccp公司用于为瞬时计算建模，从而提高语言的表达能力，也就是说，在纯语言中实现那些繁琐的操作tccp公司，通过调用高效的外部函数引擎执行，而tccp公司程序员可以专注于系统中纯粹的、通常更复杂的、反应性的部分。我们还描述了一个激发这项工作的案例研究，并讨论了如何从验证的角度将这里提供的新功能用作开发人员的新工具。
关于整个系列，请参见[Zbl 1275.68024号].

引用于2文件

MSC公司：

68甲19 其他编程范例（面向对象、顺序、并发、自动等）
68甲15 编程语言理论

关键词：

时间并发约束语言;功能特性;案例研究

软件：

水银;玩具
PDF格式BibTeX公司 XML格式引用
\textit{M.Alpunte}等人，《电子》。理论注释。计算。科学。188、143——155（2007年；Zbl 1278.68066）
全文： 内政部

参考文献：

[1] M.Alpunte、M.M.Gallardo、E.Pimentel和A.Villanueva。用于tccp验证的实时逻辑。通用计算机科学杂志; M.Alpunte、M.M.Gallardo、E.Pimentel和A.Villanueva。用于tccp验证的实时逻辑。通用计算机科学杂志
[2] M.Alpunte、B.Gramlich和A.Villanueva。使用外部函数的时间并发约束编程。技术报告DSIC-II/13/06，DSIC，巴伦西亚科技大学，2006年12月。http://www.dsic.upv.es/别墅/agv06-tr.pdf；M.Alpunte、B.Gramlich和A.Villanueva。使用外部函数的时间并发约束编程。技术报告DSIC-II/13/06，DSIC，巴伦西亚理工大学，2006年12月。http://www.dsic.upv.es/别墅/agv06-tr.pdf·Zbl 1278.68066号
[3] de Boer，F.S。；加布里埃利，M。；Meo，M.C.，《时间并发约束语言、信息和计算》，161，45-83（2000）·Zbl 1046.68507号
[4] 德波尔，F.S。；加布里埃利，M。；Meo，M.C.，《时序并发约束程序推理的时序逻辑》，（Smolka，G.，第八届时序表示与推理国际研讨会论文集（2001），IEEE计算机社会出版社），227-233
[5] Bonnier，S。；Maluszynski，J.，《走向逻辑程序与外部过程的干净融合》，（第五届逻辑编程会议论文集和第五届逻辑学编程研讨会（1988），麻省理工学院出版社），311-326·Zbl 0715.68010号
[6] M.Falaschi和A.Villanueva。定时并发约束程序的自动验证。理论与实践。逻辑程序。; M.Falaschi和A.Villanueva。定时并发约束程序的自动验证。理论与实践。逻辑程序。·Zbl 1101.68679号
[7] M.Hanus（编辑）。《Curry：集成函数逻辑语言》（0.8.2版），2006年3月。可在http://www.informatik.uni-kiel.de/咖喱；M.Hanus（编辑）。《Curry：集成函数逻辑语言》（0.8.2版），2006年3月。可在http://www.informatik.uni-kiel.de/咖喱
[8] Hermenegildo，M.，《CIAO设计中的一些方法学问题——通用、并行、并发约束系统》，（约束程序设计原则与实践国际会议论文集。约束程序设计原理与实践国际大会论文集，LNCS，第874卷（1994），Springer-Verlag），123-133年
[9] A.Herranz和J.J.Moreno-Navarro。Slam-sl教程。技术报告，巴贝尔集团，计算机科学学院，马德里技术大学，2001年。基于A.Herranz博士。论文；A.Herranz和J.J.Moreno-Navarro。Slam-sl教程。技术报告，巴贝尔集团，计算机科学学院，马德里技术大学，2001年。基于A.Herranz博士。论文
[10] 希尔，P.M。；Lloyd，J.W.，《哥德尔编程语言》（1994），麻省理工学院出版社·Zbl 0850.68138号
[11] 洛佩斯·弗拉瓜斯，F。；Sánchez-Hernández，J.，《TOY:一个多参数声明系统》，（国际重写技术和应用会议纪要。国际重写技术与应用会议纪录片，LNCS，第1631卷（1999年），斯普林格-Verlag），244-247
[12] Saraswat，V.A.，《并发约束编程语言》（1993），麻省理工学院出版社：麻省剑桥
[13] 索莫吉，Z。；亨德森，F。；Conway，T.，Mercury的执行算法，一种高效的纯声明逻辑编程语言，《逻辑编程杂志》，29，17-64（1996）·Zbl 0877.68015号
[14] Valencia，F.，无限状态定时CCP过程和一阶LTL的可判定性，理论计算机科学，330，3，577-607（2005）·Zbl 1078.68110号
[15] 范罗伊，P。；品牌，P。；Duchier博士。；Haridi，S。；亨茨，M。；Schulte，C.，《多半径编程背景下的逻辑编程：Oz经验，逻辑编程的理论和实践》，3，6，715-763（2003）·Zbl 1090.68017号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。