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 条
  • [1] Efficient implementation of a Linear Logic programming language
    Hodas, JS
    Watkins, KM
    Tamura, N
    Kang, KS
    LOGIC PROGRAMMING - PROCEEDINGS OF THE 1998 JOINT INTERNATIONAL CONFERENCE AND SYMPOSIUM ON LOGIC PROGRAMMING, 1998, : 145 - 159
  • [2] Integration of Linear Constraints with a Temporal Logic Programming Language
    Ma, Qian
    Duan, Zhenhua
    Yang, Mengfei
    2013 INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE), 2013, : 157 - 164
  • [3] A Linear Logic Programming Language for Concurrent Programming over Graph Structures
    Cruz, Flavio
    Rocha, Ricardo
    Goldstein, Seth Copen
    Pfenning, Frank
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2014, 14 : 493 - 507
  • [4] KLIC: A portable parallel implementation of a concurrent logic programming language
    Chikayama, T
    PARALLEL SYMBOLIC LANGUAGES AND SYSTEMS, 1996, 1068 : 286 - 294
  • [5] The Fuzzy Logic Programming language FASILL: Design and implementation
    Julian-Iranzo, Pascual
    Moreno, Gines
    Antonio Riaza, Jose
    INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, 2020, 125 : 139 - 168
  • [6] DESIGN AND IMPLEMENTATION OF A GENERIC, LOGIC AND FUNCTIONAL PROGRAMMING LANGUAGE
    BERT, D
    ECHAHED, R
    LECTURE NOTES IN COMPUTER SCIENCE, 1986, 213 : 119 - 132
  • [7] Distributed concurrent linear logic programming
    Kobayashi, N
    Shimizu, T
    Yonezawa, A
    THEORETICAL COMPUTER SCIENCE, 1999, 227 (1-2) : 185 - 220
  • [8] DESIGN AND IMPLEMENTATION OF AN EDITOR/INTERPRETER FOR A VISUAL LOGIC PROGRAMMING LANGUAGE
    Banyasad, Omid
    Cox, Philip T.
    INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2013, 23 (06) : 801 - 838
  • [9] Subdefinite models and logic programming: Implementation of constraints
    Petrov, ES
    Yakhno, TM
    PROGRAMMING AND COMPUTER SOFTWARE, 2001, 27 (02) : 95 - 100
  • [10] Subdefinite models and logic programming: Implementation of constraints
    2001, Nauka Moscow (27):
12345