首页> 外文OA文献 >Efficient Algorithms for Program Equivalence for Confluent Concurrent Constraint Programming

【2h】

Efficient Algorithms for Program Equivalence for Confluent Concurrent Constraint Programming

机译：融合并发约束规划的高效程序等效算法

代理获取

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

页面导航

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

摘要

International audience

机译：国际观众

著录项

作者
Pino Duque Luis Fernando; Bonchi Filippo; Valencia Frank;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Efficient algorithms for program equivalence for confluent concurrent constraint programming [J] . Luis F. Pino, Filippo Bonchi, Frank Valencia Science of Computer Programming . 2015,第NOVa1PTa1期

机译：融合并发约束编程的高效程序等效算法
2. A CONFLUENT CALCULUS FOR CONCURRENT CONSTRAINT PROGRAMMING [J] . Marriott K., Odersky M. Theoretical computer science . 1997,第1期

机译：并行约束编程的统一计算
3. Observational and behavioural equivalences for soft concurrent constraint programming [J] . Gadducci Fabio, Santini Francesco, Pino Luis F., Journal of Logic and Algebraic Programming . 2017,第nova期

机译：软并发约束编程的观察和行为等效
4. On Compilation of Higher-Order Concurrent Programs into First Order Programs Preserving Scope Equivalence [C] . Masaki Murakami International Conference on Foundations of Computer Science . 2011

机译：在汇编高阶并发程序中，以保留范围等价的第一阶节目
5. Efficient algorithms for least squares semidefinite programming and linear semidefinite programming with a large number of constraints [D] . Liuqin, Yang. 2015

机译：具有大量约束的最小二乘半定规划和线性半定规划的高效算法
6. Reconciling Pairs of Concurrently Used Clinical Practice Guidelines Using Constraint Logic Programming [O] . Szymon Wilk, Martin Michalowski, Wojtek Michalowski, 2011

机译：使用约束逻辑程序协调当前使用的临床实践指南对
7. Efficient Computation of Program Equivalence for Confluent Concurrent Constraint Programming∗ [O] . Luis F. Pino, École Polytechnique, Frank D. Valencia 2014

机译：汇总并发约束规划的程序等价的有效计算*
8. Equivalence of Dantzig's Self-Dual Parametric Algorithm for Linear Programs to Lemke's Algorithm for Linear Complementarity Problems Applied to Linear Programs [R] . Lustig, I. J. 1987

机译：Dantzig线性程序自双参数算法与线性互补问题线性互补问题Lemke算法的等价性

Efficient Algorithms for Program Equivalence for Confluent Concurrent Constraint Programming

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅