Constraint-based concurrency in Java']Java

被引：0

作者：

Ramirez, R ^{[1
]}

Martinez, J ^{[1
]}

Santosa, AE ^{[1
]}

机构：

[1] Pompeu Fabra Univ, IUA, Barcelona 08003, Spain

来源：

DCABES 2004, Proceedings, Vols, 1 and 2 | 2004年

关键词：

concurrency; synchronization; constraints; declarative programming;

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

Constraint-based synchronization pioneered by (concurrent) logic and concurrent constraint programming is a powerful mechanism for elegantly synchronizing concurrent and distributed computations. They support a declarative model of concurrency that avoids explicitly suspending and resuming computations. This paper describes (1) a model of concurrency based on precedence constraints, (2) its implementation as an extension to the Java programming language, and (3) how model-based verification methods can straightforwardly applied to programs in the resulting language.

引用

页码：402 / 406

页数：5

共 17 条

[1]

AMZA C, 1996, IEEE COMPUTER, V30

[2]

BROXVALL M, 1999, P CP 99

[3]

CARRIERO N, 1991, WRITE PARALLEL PROGR

[4] Coordinating Java agents over the WWW [J].

P. Ciancarini ;

D. Rossi .

World Wide Web, 1998, 1 (2) :87-99

[5]

DEVOLDER K, 1999, LECT NOTES COMPUTER, V1616, P250

[6]

Freeman E., 1999, JAVASPACES PRINCIPLE

[7]

GREGORY S, 1987, PARALLEL LOGIC PROGR

[8]

Kiczales G, 1997, LECT NOTES COMPUT SC, V1241, P220, DOI 10.1007/BFb0053381

[9] A LOGIC-BASED CALCULUS OF EVENTS [J].

KOWALSKI, R ;

SERGOT, M .

NEW GENERATION COMPUTING, 1986, 4 (01) :67-95

[10]

MCMILLAN KL, 1993, SYMBOLIC MODEL CHECK

← 1 2 →