Titlebook: Object-Based Models and Languages for Concurrent Systems; ECOOP ‘94 Workshop o Paolo Ciancarini,Oscar Nierstrasz,Akinori Yonezawa Conferenc

Menthol

書(shū)目名稱(chēng)Object-Based Models and Languages for Concurrent Systems影響因子(影響力)




書(shū)目名稱(chēng)Object-Based Models and Languages for Concurrent Systems影響因子(影響力)學(xué)科排名




書(shū)目名稱(chēng)Object-Based Models and Languages for Concurrent Systems網(wǎng)絡(luò)公開(kāi)度




書(shū)目名稱(chēng)Object-Based Models and Languages for Concurrent Systems網(wǎng)絡(luò)公開(kāi)度學(xué)科排名




書(shū)目名稱(chēng)Object-Based Models and Languages for Concurrent Systems被引頻次




書(shū)目名稱(chēng)Object-Based Models and Languages for Concurrent Systems被引頻次學(xué)科排名




書(shū)目名稱(chēng)Object-Based Models and Languages for Concurrent Systems年度引用




書(shū)目名稱(chēng)Object-Based Models and Languages for Concurrent Systems年度引用學(xué)科排名




書(shū)目名稱(chēng)Object-Based Models and Languages for Concurrent Systems讀者反饋




書(shū)目名稱(chēng)Object-Based Models and Languages for Concurrent Systems讀者反饋學(xué)科排名

Cacophonous

Correctness-preserving transformations for the design of parallel programs,nt programming language. The methodology is developed in the context of the . formalism..We put special emphasis on derivation of parallel algorithms that are correct with respect to some high-level program specification. The issue of efficiency in the sense of execution time and space is outside the scope of the present paper.

STALL

種植,培養(yǎng)

Laconic

0302-9743 coordinating the work of agents in a distributed setting. This volume demonstrates that integrating such features with those known from concurrent object-oriented programming is very promising with regard to language support for distribution and software composition.978-3-540-59450-5978-3-540-49269-6Series ISSN 0302-9743 Series E-ISSN 1611-3349

偏見(jiàn)

螢火蟲(chóng)

Conference proceedings 1995and Distribution, held during ECOOP ‘94 in Bologna, Italy in July 1994..Recently a new class of models and languages for distributed and parallel programming has evolved; all these models share a few basic concepts: simple features for data description and a small number of mechanisms for coordinati

圓錐體

Munificent

gerrymander

Rule-based object coordination,ds of interactions between the rules and the objects. Finally, we consider the problem of capturing domain specific knowledge within a general coordination framework, for which constraints offer a promising direction of research.