Concurrent constraint programming and non-commutative logic

被引：0
|
作者：
Ruet, P [1 ]
Fages, F [1 ]
机构：
[1] Ecole Normale Super, CNRS, LIENS, F-75005 Paris, France
来源：
COMPUTER SCIENCE LOGIC | 1998年 / 1414卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
This paper presents a connection between the intuitionistic tic fragment of a non-commutative version of linear logic introduced by the first author (NLI) and concurrent constraint programming (CC). We refine existing logical characterizations of operational aspects of CC, by providing a logical interpretation of finer observable properties of CC programs, namely stores, successes and suspensions.
引用
收藏
页码：406 / 423
页数：18
相关论文
共 50 条
  • [31] Towards a semantics of proofs for non-commutative logic: multiplicatives and additives
    Abrusci, VM
    THEORETICAL COMPUTER SCIENCE, 2003, 294 (03) : 335 - 351
  • [32] Non-commutative Chern-Simons terms and the non-commutative vacuum
    Polychronakos, AP
    JOURNAL OF HIGH ENERGY PHYSICS, 2000, (11):
  • [33] ELEMENTS OF NON-COMMUTATIVE PROBABILITY THEORY AND NON-COMMUTATIVE ERGODIC THEORY
    SINAI, YG
    THEORY OF PROBILITY AND ITS APPLICATIONS,USSR, 1971, 16 (03): : 564 - &
  • [34] Non-commutative probability and non-commutative processes: Beyond the Heisenberg algebra
    Mendes, R. Vilela
    JOURNAL OF MATHEMATICAL PHYSICS, 2019, 60 (09)
  • [35] Witt vectors, commutative and non-commutative
    Kaledin, D. B.
    RUSSIAN MATHEMATICAL SURVEYS, 2018, 73 (01) : 1 - 30
  • [36] Non-associative, Non-commutative Multi-modal Linear Logic
    Blaisdell, Eben
    Kanovich, Max
    Kuznetsov, Stepan L.
    Pimentel, Elaine
    Scedrov, Andre
    AUTOMATED REASONING, IJCAR 2022, 2022, 13385 : 449 - 467
  • [37] Non-commutative renormalization
    Rivasseau, Vincent
    QUANTUM SPACES: POINCARE SEMINAR 2007, 2007, 53 : 19 - 107
  • [38] Non-commutative fluids
    Polychronakos, Alexios P.
    QUANTUM SPACES: POINCARE SEMINAR 2007, 2007, 53 : 109 - 159
  • [39] On Non-commutative Spreadability
    Griseta, Maria Elena
    OPERATOR AND MATRIX THEORY, FUNCTION SPACES, AND APPLICATIONS, IWOTA 2022, 2024, 295 : 189 - 202
  • [40] Closures and modules within linear logic concurrent constraint programming
    Haemmerle, Remy
    Fages, Francois
    Soliman, Sylvain
    FSTTCS 2007: FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE, PROCEEDINGS, 2007, 4855 : 544 - 556
12345