Titlebook: Concurrent Objects and Beyond; Papers dedicated to Gul Agha,Atsushi Igarashi,Kenjiro Taura Book 2014 Springer-Verlag Berlin Heidelberg 201

Julienne

書目名稱Concurrent Objects and Beyond影響因子(影響力)




書目名稱Concurrent Objects and Beyond影響因子(影響力)學科排名




書目名稱Concurrent Objects and Beyond網(wǎng)絡公開度




書目名稱Concurrent Objects and Beyond網(wǎng)絡公開度學科排名




書目名稱Concurrent Objects and Beyond被引頻次




書目名稱Concurrent Objects and Beyond被引頻次學科排名




書目名稱Concurrent Objects and Beyond年度引用




書目名稱Concurrent Objects and Beyond年度引用學科排名




書目名稱Concurrent Objects and Beyond讀者反饋




書目名稱Concurrent Objects and Beyond讀者反饋學科排名

entail

synchronous

Reflection in an Object-Oriented Concurrent Language,reflective object-oriented concurrent language ABCL/R.We give several illustrative examples of reflective programming such as (1) dynamic concurrent acquisition of “methods” from other objects, (2) monitoring the behavior of concurrently running objects, and (3) augmentation of the time warp mechani

煤渣

JIBE

Structuring Communication with Session Types,arios in an asynchronous version of the .-calculus, and are being studied and developed as a potential basis for structuring concurrent and distributed computing, as well as in their own right. In this paper, we introduce basic ideas of sessions and session types, outline their key technical element

CULP

CULP

鋸齒狀

Controlling Concurrency and Expressing Synchronization in Charm++ Programs,engineering applications, in addition to the combinatorial search applications with which it started. At its earliest point, the precursor to Charm++, the Chare Kernel, was a purely reactive specification, similar to most actor languages. This paper describes the evolution of a series of concurrency

玩忽職守

itinerary

Verifiable Object-Oriented Transactions,ery general integrity constraints specified in a declarative, logic-based fashion. These declarative specifications are expressed in object-oriented assertion languages and they apply to transactions that are implemented in a full-fledged, mainstream object-oriented programming language. The model o