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 条

[31] LOGIC-PROGRAMMING LANGUAGE ENRICHES DESIGN PROCESSES
KITSON, B
OWWING, K
ELECTRONIC DESIGN, 1984, 32 (06) : 183 - &
[32] A Concurrent Model for Linear Logic
Beffara, Emmanuel
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 155 : 147 - 168
[33] Formalization of Metatheory of the Quipper Quantum Programming Language in a Linear Logic
Mohamed Yousri Mahmoud
Amy P. Felty
Journal of Automated Reasoning, 2019, 63 : 967 - 1002
[34] Formalization of Metatheory of the Quipper Quantum Programming Language in a Linear Logic
Mahmoud, Mohamed Yousri
Felty, Amy P.
JOURNAL OF AUTOMATED REASONING, 2019, 63 (04) : 967 - 1002
[35] A PROGRAMMING LOGIC FOR FORMAL CONCURRENT SYSTEMS
GRIBOMONT, EP
LECTURE NOTES IN COMPUTER SCIENCE, 1990, 458 : 298 - 313
[36] CONCURRENT OBJECTS IN A LOGIC PROGRAMMING FRAMEWORK
MELLO, P
SIGPLAN NOTICES, 1989, 24 (04): : 37 - 39
[37] A DECLARATIVE ENVIRONMENT FOR CONCURRENT LOGIC PROGRAMMING
CLARK, KL
FOSTER, IT
LECTURE NOTES IN COMPUTER SCIENCE, 1987, 250 : 212 - 242
[38] DEBUGGING TOOLS FOR CONCURRENT LOGIC PROGRAMMING
CONLON, T
GREGORY, S
COMPUTER JOURNAL, 1992, 35 (02): : 157 - 169
[39] A LINGUA FRANCA FOR CONCURRENT LOGIC PROGRAMMING
TAYLOR, H
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1992, 18 (03) : 225 - 236
[40] Logic programming and natural language
Schmuller, Joseph
PC AI Intelligent Solutions for Desktop Computers, 1995, 9 (06):

← 1 2 3 4 5 →