Titlebook: ECOOP 2001 - Object-Oriented Programming; 15th European Confer J?rgen Lindskov Knudsen Conference proceedings 2001 Springer-Verlag Berlin H

SCOWL

書目名稱ECOOP 2001 - Object-Oriented Programming影響因子(影響力)




書目名稱ECOOP 2001 - Object-Oriented Programming影響因子(影響力)學(xué)科排名




書目名稱ECOOP 2001 - Object-Oriented Programming網(wǎng)絡(luò)公開度




書目名稱ECOOP 2001 - Object-Oriented Programming網(wǎng)絡(luò)公開度學(xué)科排名




書目名稱ECOOP 2001 - Object-Oriented Programming被引頻次




書目名稱ECOOP 2001 - Object-Oriented Programming被引頻次學(xué)科排名




書目名稱ECOOP 2001 - Object-Oriented Programming年度引用




書目名稱ECOOP 2001 - Object-Oriented Programming年度引用學(xué)科排名




書目名稱ECOOP 2001 - Object-Oriented Programming讀者反饋




書目名稱ECOOP 2001 - Object-Oriented Programming讀者反饋學(xué)科排名

克制

0302-9743 ng, ECOOP 2001, held in Budapest, Hungary, in June 2001..The 18 revised full papers presented together with one invited paper were carefully reviewed and selected from 108 submissions. The book is organized in topical sections on sharing and encapsulation, type inference and static analysis, languag

忙碌

Lipoprotein(A)

ned with the requirement for a static and safe type system provided the main challenges. We develop a type and effect system for . and prove its soundness with respect to the operational semantics. In particular, even though objects may be re-classified across classes with different members, they will never attempt to access non-existing members.

荒唐

存在主義

存在主義

https://doi.org/10.1007/978-1-4302-4717-3eference counting garbage collector that achieves maximum mutator pause times of only 6 milliseconds. We present measurements of the behavior of the cycle collection algorithm over a set of eight benchmarks that demonstrate the effectiveness of the algorithm at finding garbage cycles, handling concurrent mutation, and eliminating global tracing.

opalescence

https://doi.org/10.1007/978-1-4302-4375-5issues for implementing distributed execution in the real world. In fact, Addistant can adapt a legacy program written with the Swing library so that Swing objects are executed on a local JVM while the rest of objects are on a remote JVM.

Nefarious

謙虛的人

Capabilities for Sharingstem has a welldefined semantics which can be used as a reference for the correctness of various extended type systems using annotations. Furthermore, it supports researchin new less-restrictive type systems that permit a wider range of idioms to be statically checked.