DESIGN AND IMPLEMENTATION OF A CONCURRENT LOGIC PROGRAMMING LANGUAGE WITH LINEAR LOGIC CONSTRAINTS

被引：0
|
作者：
Martinez, Thierry [1 ]
机构：
[1] INRIA Paris Rocquencourt, EPI Contraintes, BP105, F-78153 Le Chesnay, France
来源：
TECHNICAL COMMUNICATIONS OF THE 26TH INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING (ICLP'10) | 2010年 / 7卷
关键词：
D O I：
10.4230/LIPIcs.ICLP.2010.277
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：277 / 280
页数：4
相关论文
共 50 条
  • [21] Linearity constraints as bounded intervals in linear logic programming
    Polakow, J
    JOURNAL OF LOGIC AND COMPUTATION, 2006, 16 (01) : 135 - 155
  • [22] PROGRAMMING IN CONCURRENT LOGIC LANGUAGES
    HUNTBACH, MM
    RINGWOOD, GA
    IEEE SOFTWARE, 1995, 12 (06) : 71 - 82
  • [23] CONCURRENT LOGIC PROGRAMMING - EDITORIAL
    GREGORY, S
    COMPUTER JOURNAL, 1990, 33 (06): : 481 - 481
  • [24] 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
  • [25] A static analysis for classical linear logic programming language
    Kang, KS
    Tamura, N
    LOGIC PROGRAMMING: PROCEEDINGS OF THE 1999 INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING, 1999, : 610 - 610
  • [26] LOGIC PROGRAMMING IN A FRAGMENT OF INTUITIONISTIC LINEAR LOGIC
    HODAS, JS
    MILLER, D
    INFORMATION AND COMPUTATION, 1994, 110 (02) : 327 - 365
  • [27] On logical constraints in logic programming
    Marek, VW
    Nerode, A
    Remmel, JB
    LOGIC PROGRAMMING AND NONMONOTONIC REASONING, 1995, 928 : 43 - 56
  • [28] Set constraints and logic programming
    Kozen, D
    INFORMATION AND COMPUTATION, 1998, 142 (01) : 2 - 25
  • [29] Set constraints in logic programming
    Marek, VW
    Remmel, JB
    LOGIC PROGRAMMING AND NONMONOTONIC REASONING, PROCEEDINGS, 2004, 2923 : 167 - 179
  • [30] Logic programming with integrity constraints
    Kowalski, R
    LOGICS IN ARTIFICIAL INTELLIGENCE, 1996, 1126 : 301 - 302
12345