Proving Concurrent Constraint Programming Correct, Revisited

机译：重新验证并发约束编程

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Olarte Carlos; Pimentel Elaine;
展开▼
作者单位

展开▼
年度 2015
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Proving Concurrent Constraint Programming Correct, Revisited [J] . Carlos Olarte, Elaine Pimentel Electronic Notes in Theoretical Computer Science . 2015,第7期

机译：重新验证并发约束编程
2. Proving Correctness of Timed Concurrent Constraint Programs [J] . FRANK S. DE BOER, MAURIZIO GABBRIELLI, MARIA CHIARA MEO ACM transactions on computational logic . 2004,第4期

机译：证明定时并发约束程序的正确性
3. Formal verification of concurrent programs using the Larch prover [J] . Chetali B. IEEE Transactions on Software Engineering . 1998,第1期

机译：使用Larch证明器对并发程序进行形式验证
4. Proving Correctness of Timed Concurrent Constraint Programs [C] . Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo Joint European Conferences on Theory and Practice of Software . 2002

机译：证明定时并发约束计划的正确性
5. Automatic techniques for proving correctness of heap-manipulating programs. [D] . Qiu, Xiaokang. 2013

机译：证明堆操作程序正确性的自动技术。
6. Reconciling Pairs of Concurrently Used Clinical Practice Guidelines Using Constraint Logic Programming [O] . Szymon Wilk, Martin Michalowski, Wojtek Michalowski, 2011

机译：使用约束逻辑程序协调当前使用的临床实践指南对
7. Proving correctness of Timed Concurrent Constraint Programs [O] . Frank S. De Boer Cwi, Maurizio Gabbrielli, Maria Chiara, 2008

机译：证明定时并发约束程序的正确性
8. Proving Concurrent Constraint Programs Correct [R] . de Boer, F. S., Gabbrielli, M., Marchiori, E., 1994

机译：证明并发约束程序正确

Proving Concurrent Constraint Programming Correct, Revisited

著录项

引文网络

相似文献

相关主题

期刊订阅