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影响因子(影响力)学科排名




书目名称ECOOP 2001 - Object-Oriented Programming网络公开度




书目名称ECOOP 2001 - Object-Oriented Programming网络公开度学科排名




书目名称ECOOP 2001 - Object-Oriented Programming被引频次




书目名称ECOOP 2001 - Object-Oriented Programming被引频次学科排名




书目名称ECOOP 2001 - Object-Oriented Programming年度引用




书目名称ECOOP 2001 - Object-Oriented Programming年度引用学科排名




书目名称ECOOP 2001 - Object-Oriented Programming读者反馈




书目名称ECOOP 2001 - Object-Oriented Programming读者反馈学科排名

克制

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.