| 000 | 04835nam a22005895i 4500 | ||
|---|---|---|---|
| 001 | 978-3-540-70592-5 | ||
| 003 | DE-He213 | ||
| 005 | 20240423125714.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 100301s2008 gw | s |||| 0|eng d | ||
| 020 |
_a9783540705925 _9978-3-540-70592-5 |
||
| 024 | 7 |
_a10.1007/978-3-540-70592-5 _2doi |
|
| 050 | 4 | _aTK5105.5-5105.9 | |
| 072 | 7 |
_aUKN _2bicssc |
|
| 072 | 7 |
_aCOM043000 _2bisacsh |
|
| 072 | 7 |
_aUKN _2thema |
|
| 082 | 0 | 4 |
_a004.6 _223 |
| 245 | 1 | 0 |
_aECOOP 2008 - Object-Oriented Programming _h[electronic resource] : _b22nd European Conference Paphos, Cyprus, July 7-11, 2008, Proceedings / _cedited by Jan Vitek. |
| 250 | _a1st ed. 2008. | ||
| 264 | 1 |
_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg : _bImprint: Springer, _c2008. |
|
| 300 |
_aXIII, 694 p. _bonline resource. |
||
| 336 |
_atext _btxt _2rdacontent |
||
| 337 |
_acomputer _bc _2rdamedia |
||
| 338 |
_aonline resource _bcr _2rdacarrier |
||
| 347 |
_atext file _bPDF _2rda |
||
| 490 | 1 |
_aProgramming and Software Engineering, _x2945-9168 ; _v5142 |
|
| 505 | 0 | _aKeynote -- The Return of Transactions -- Session I -- A Model for Java with Wildcards -- On Validity of Program Transformations in the Java Memory Model -- Safe Cross-Language Inheritance -- Session II -- Liquid Metal: Object-Oriented Programming Across the Hardware/Software Boundary -- Kilim: Isolation-Typed Actors for Java -- A Uniform Transactional Execution Environment for Java -- Session III -- Ptolemy: A Language with Quantified, Typed Events -- Prototyping and Composing Aspect Languages -- Assessing the Impact of Aspects on Exception Flows: An Exploratory Study -- Session IV -- UpgradeJ: Incremental Typechecking for Class Upgrades -- Integrating Nominal and Structural Subtyping -- Flow Analysis of Code Customizations -- Session V -- Online Phase-Adaptive Data Layout Selection -- MTM2: Scalable Memory Management for Multi-tasking Managed Runtime Environments -- Externalizing Java Server Concurrency with CAL -- Session VI -- Regional Logic for Local Reasoning about Global Invariants -- A Unified Framework for Verification Techniques for Object Invariants -- Extensible Universes for Object-Oriented Data Models -- Session VII -- Programming with Live Distributed Objects -- Bristlecone: A Language for Robust Software Systems -- Session-Based Distributed Programming in Java -- Session VIII -- ReCrash: Making Software Failures Reproducible by Preserving Object States -- An Extensible State Machine Pattern for Interactive Applications -- Practical Object-Oriented Back-in-Time Debugging -- Session IX -- Inference of Reference Immutability -- Computing Stack Maps with Interfaces -- How Do Java Programs Use Inheritance? An Empirical Study of Inheritance in Java Software. | |
| 520 | _aThis book constitutes the refereed proceedings of the 22nd European Conference on Object-Oriented Programming, ECOOP 2008, held in Paphos, Cyprus, in July 2008. The 27 revised full papers, presented together with 3 invited talks were carefully reviewed and selected from a total of 138 final submissions. Presenting research results or experience reports in all areas relevant to object technology - including work that takes inspiration from or builds connections to areas not commonly considered object-oriented - the papers cover topics such as design methods and design patterns in analysis, concurrent systems, databases, persistence and transactions, distributed and mobile systems, frameworks, product lines and software architectures, language design and implementation, testing and metrics, programming environments and tools, theoretical foundations, type systems, formal methods, versioning, compatibility, software evolution, aspects, components, modularity, reflection, collaboration, and workflow. | ||
| 650 | 0 | _aComputer networks . | |
| 650 | 0 | _aSoftware engineering. | |
| 650 | 0 | _aCompilers (Computer programs). | |
| 650 | 0 | _aComputer programming. | |
| 650 | 0 | _aComputer science. | |
| 650 | 1 | 4 | _aComputer Communication Networks. |
| 650 | 2 | 4 | _aSoftware Engineering. |
| 650 | 2 | 4 | _aCompilers and Interpreters. |
| 650 | 2 | 4 | _aProgramming Techniques. |
| 650 | 2 | 4 | _aComputer Science Logic and Foundations of Programming. |
| 700 | 1 |
_aVitek, Jan. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
| 710 | 2 | _aSpringerLink (Online service) | |
| 773 | 0 | _tSpringer Nature eBook | |
| 776 | 0 | 8 |
_iPrinted edition: _z9783540705918 |
| 776 | 0 | 8 |
_iPrinted edition: _z9783540866688 |
| 830 | 0 |
_aProgramming and Software Engineering, _x2945-9168 ; _v5142 |
|
| 856 | 4 | 0 | _uhttps://doi.org/10.1007/978-3-540-70592-5 |
| 912 | _aZDB-2-SCS | ||
| 912 | _aZDB-2-SXCS | ||
| 912 | _aZDB-2-LNC | ||
| 942 | _cSPRINGER | ||
| 999 |
_c180848 _d180848 |
||