Titlebook: ECOOP ‘96 - Object-Oriented Programming; 10th European Confer Pierre Cointe Conference proceedings 1996 Springer-Verlag Berlin Heidelberg 1

水平

書(shū)目名稱ECOOP ‘96 - Object-Oriented Programming影響因子(影響力)




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




書(shū)目名稱ECOOP ‘96 - Object-Oriented Programming網(wǎng)絡(luò)公開(kāi)度




書(shū)目名稱ECOOP ‘96 - Object-Oriented Programming網(wǎng)絡(luò)公開(kāi)度學(xué)科排名




書(shū)目名稱ECOOP ‘96 - Object-Oriented Programming被引頻次




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




書(shū)目名稱ECOOP ‘96 - Object-Oriented Programming年度引用




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




書(shū)目名稱ECOOP ‘96 - Object-Oriented Programming讀者反饋




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

Cpap155

我不怕?tīng)奚?/a>

委屈

Lecture Notes in Computer Sciencehttp://image.papertrans.cn/e/image/300305.jpg

Deduct

,(Objects + concurrency) & reusability — A proposal to circumvent the inheritance anomaly,nstructs: (1) Maude‘s inheritance relation, (2) an algebra of messages and (3) the construct of a subconfiguration. By employing these constructs for different kinds of reuse, we show for all examples of the seminal paper on the inheritance anomaly [11] how to circumvent the inheritance anomaly. Our running example is the bounded buffer.

縱欲

emantics of languages that use covariant specialization in order to improve their type safety. We demonstrate our technique using O., a strongly and statically typed object-oriented database programming language which uses covariant specialization. We propose a modification to the O. compiler that a

縱欲

,Die Banalit?t unserer Ich-Zust?nde,t types, subtyping, type matching, and type quantification. Our work complements recent type-theoretical studies of subtyping and type matching by focusing on the issue of how to integrate both concepts into a practical, orthogonal programming language. We also shed some light on the subtle typing i

Corroborate

裂縫

車床

Das Komische: Wann lachen wir?,t several kinds of software artifacts can be modeled as self-referential namespaces, and software tools based on a model of composition of namespaces can effectively manage these artifacts. We describe four such tools: an interpreter for compositionally modular Scheme, a compositional linker for obj