Semantics-Preserving Translations Between Linear Concurrent Constraint Programming and Constraint Handling Rules

doi 10.1145/1836089.1836097

Full Text

Abstract

Available in

Date

Authors

Publisher

ACM Press

Related search

A Linear-Logic Semantics for Constraint Handling Rules

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

A Labelled Semantics for Soft Concurrent Constraint Programming

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Closures and Modules Within Linear Logic Concurrent Constraint Programming

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2007English

Timed Default Concurrent Constraint Programming

Journal of Symbolic Computation
Computational MathematicsNumber TheoryAlgebra
1996English

Confluence Modulo Equivalence in Constraint Handling Rules

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Posterior Constraint Selection for Nonnegative Linear Programming

American Journal of Operations Research
2017English

An Active-Constraint Logic for Non-Linear Programming

Optimal Control Applications and Methods
ControlSystems EngineeringApplied MathematicsOptimizationSoftware
1984English

Monadic Constraint Programming

Journal of Functional Programming
Software
2009English

Executable Specifications for Hypothesis-Based Reasoning With Prolog and Constraint Handling Rules

Journal of Applied Logic
Applied MathematicsLogic
2009English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy