Phase semantics and verification of concurrent constraint programs

被引：1

作者：

Fages, F ^{[1
]}

Ruet, P ^{[1
]}

Soliman, S ^{[1
]}

机构：

[1] Ecole Normale Super, CNRS, LIENS, F-75005 Paris, France

来源：

THIRTEENTH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS | 1998年

关键词：

D O I：

10.1109/LICS.1998.705651

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

The class CC of concurrent constraint programming languages and its non-monotonic extension LCC based on linear constraint systems can be given a logical semantics in Girard's intuitionistic linear logic for a variety of observables. In this paper we settle basic completeness results and rue show how the phase semantics of linear logic can be used to provide simple and very concise "semantical" proofs of safety properties for CC or LCC programs.

引用

页码：141 / 152

页数：12

共 50 条

[1] Automatic verification of timed concurrent constraint programs
Falaschi, Moreno
Villanueva, Alicia
[J]. THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2006, 6 : 265 - 300
[2] UNFOLDING AND FIXPOINT SEMANTICS OF CONCURRENT CONSTRAINT LOGIC PROGRAMS
GABBRIELLI, M
LEVI, G
[J]. THEORETICAL COMPUTER SCIENCE, 1992, 105 (01) : 85 - 128
[3] UNFOLDING AND FIXPOINT SEMANTICS OF CONCURRENT CONSTRAINT LOGIC PROGRAMS
GABBRIELLI, M
LEVI, G
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1990, 463 : 204 - 216
[4] Linear concurrent constraint programming: Operational and phase semantics
Fages, F
Ruet, P
Soliman, S
[J]. INFORMATION AND COMPUTATION, 2001, 165 (01) : 14 - 41
[5] REACTIVE BEHAVIOR SEMANTICS FOR CONCURRENT CONSTRAINT LOGIC PROGRAMS - (PRELIMINARY VERSION)
GAIFMAN, H
MAHER, MJ
SHAPIRO, E
[J]. LOGIC PROGRAMMING : PROCEEDINGS OF THE NORTH AMERICAN CONFERENCE, 1989, VOL 1-2, 1989, : 553 - 569
[6] The semantics of constraint logic programs
Jaffar, J
Maher, M
Marriott, K
Stuckey, P
[J]. JOURNAL OF LOGIC PROGRAMMING, 1998, 37 (1-3): : 1 - 46
[7] TRANSFORMATIONAL SEMANTICS FOR CONCURRENT PROGRAMS
BROY, M
[J]. INFORMATION PROCESSING LETTERS, 1980, 11 (02) : 87 - 91
[8] THE TEMPORAL SEMANTICS OF CONCURRENT PROGRAMS
PNUELI, A
[J]. THEORETICAL COMPUTER SCIENCE, 1981, 13 (01) : 45 - 60
[9] Logical semantics of concurrent constraint programming
Ruet, Paul
[J]. Lecture Notes in Computer Science, 1118
[10] Formal verification of concurrent and distributed constraint-based Java']Java programs
Ramirez, R
Santosa, AE
[J]. ICECCS 2005: 10TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS, 2005, : 76 - 84

← 1 2 3 4 5 →