ECOOP 2005 - Object-Oriented Programming (Record no. 85470)
[ view plain ]
000 -LEADER | |
---|---|
fixed length control field | 05591nam a22006135i 4500 |
001 - CONTROL NUMBER | |
control field | 978-3-540-31725-8 |
003 - CONTROL NUMBER IDENTIFIER | |
control field | DE-He213 |
005 - DATE AND TIME OF LATEST TRANSACTION | |
control field | 20240730164232.0 |
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION | |
fixed length control field | cr nn 008mamaa |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
fixed length control field | 101220s2005 gw | s |||| 0|eng d |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
International Standard Book Number | 9783540317258 |
-- | 978-3-540-31725-8 |
024 7# - OTHER STANDARD IDENTIFIER | |
Standard number or code | 10.1007/11531142 |
Source of number or code | doi |
050 #4 - LIBRARY OF CONGRESS CALL NUMBER | |
Classification number | QA76.6-76.66 |
072 #7 - SUBJECT CATEGORY CODE | |
Subject category code | UM |
Source | bicssc |
072 #7 - SUBJECT CATEGORY CODE | |
Subject category code | COM051000 |
Source | bisacsh |
072 #7 - SUBJECT CATEGORY CODE | |
Subject category code | UM |
Source | thema |
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
Classification number | 005.11 |
Edition number | 23 |
245 10 - TITLE STATEMENT | |
Title | ECOOP 2005 - Object-Oriented Programming |
Medium | [electronic resource] : |
Remainder of title | 19th European Conference, Glasgow, UK, July 25-29, 2005. Proceedings / |
Statement of responsibility, etc. | edited by Andrew Black. |
250 ## - EDITION STATEMENT | |
Edition statement | 1st ed. 2005. |
264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE | |
Place of production, publication, distribution, manufacture | Berlin, Heidelberg : |
Name of producer, publisher, distributor, manufacturer | Springer Berlin Heidelberg : |
-- | Imprint: Springer, |
Date of production, publication, distribution, manufacture, or copyright notice | 2005. |
300 ## - PHYSICAL DESCRIPTION | |
Extent | XVII, 631 p. |
Other physical details | online resource. |
336 ## - CONTENT TYPE | |
Content type term | text |
Content type code | txt |
Source | rdacontent |
337 ## - MEDIA TYPE | |
Media type term | computer |
Media type code | c |
Source | rdamedia |
338 ## - CARRIER TYPE | |
Carrier type term | online resource |
Carrier type code | cr |
Source | rdacarrier |
347 ## - DIGITAL FILE CHARACTERISTICS | |
File type | text file |
Encoding format | |
Source | rda |
490 1# - SERIES STATEMENT | |
Series statement | Programming and Software Engineering, |
International Standard Serial Number | 2945-9168 ; |
Volume/sequential designation | 3586 |
505 0# - FORMATTED CONTENTS NOTE | |
Formatted contents note | Invited Talks -- Attached Types and Their Application to Three Open Problems of Object-Oriented Programming -- The Emergent Structure of Development Tasks -- Java -- Loosely-Separated "Sister" Namespaces in Java -- Efficiently Refactoring Java Applications to Use Generic Libraries -- Sharing the Runtime Representation of Classes Across Class Loaders -- Aspects and Modularity -- Aspect-Oriented Programming Beyond Dependency Injection -- Open Modules: Modular Reasoning About Advice -- Evaluating Support for Features in Advanced Modularization Technologies -- Separation of Concerns with Procedures, Annotations, Advice and Pointcuts -- Expressive Pointcuts for Increased Modularity -- Sustainable System Infrastructure and Big Bang Evolution: Can Aspects Keep Pace? -- Language Design -- First-Class Relationships in an Object-Oriented Language -- The Essence of Data Access in C? -- Prototypes with Multiple Dispatch: An Expressive and Dynamic Object Model -- Efficient Multimethods in a Single Dispatch Language -- Program Analysis -- Interprocedural Analysis for Privileged Code Placement and Tainted Variable Detection -- State Based Ownership, Reentrance, and Encapsulation -- Consistency Checking of Statechart Diagrams of a Class Hierarchy -- Types -- Towards Type Inference for JavaScript -- Chai: Traits for Java-Like Languages -- A Type System for Reachability and Acyclicity -- Testing -- Eclat: Automatic Generation and Classification of Test Inputs -- Lightweight Defect Localization for Java -- Concurrency -- Extending JML for Modular Specification and Verification of Multi-threaded Programs -- Derivation and Evaluation of Concurrent Collectors -- Static Deadlock Detection for Java Libraries. |
520 ## - SUMMARY, ETC. | |
Summary, etc. | The 19th Annual Meeting of the European Conference on Object-Oriented Programming-ECOOP 2005-took place during the last week of July in Glasgow, Scotland, UK. This volume includes the refereed technical papers p- sented at the conference, and two invited papers. It is traditional to preface a volume of proceedings such as this with a note that emphasizes the importance of the conference in its respective ?eld. Although such self-evaluations should always be taken with a large grain of salt, ECOOP is undisputedly the pre- inent conference on object-orientation outside of the United States. In its turn, object-orientationis today's principaltechnology not only for programming,but also for design, analysisand speci?cation of softwaresystems. As a consequence, ECOOP has expanded far beyond its roots in programming to encompass all of these areas of research-whichis why ECOOP has remained such an interesting conference. But ECOOP is more than an interesting conference. It is the nucleus of a technical and academic community, a community whose goals are the creation and dissemination of new knowledge. Chance meetings at ECOOP have helped to spawn collaborations that span the boundaries of our many subdisciplines, bring together researchers and practitioners, cross cultures, and reach from one side of the world to the other. The ubiquity of fast electronic communication has made maintaining these collaborations easier than we would have believed possible only a dozen years ago. But the role of conferences like ECOOP in establishing collaborations has not diminished. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name entry element | Computer programming. |
9 (RLIN) | 4169 |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name entry element | Software engineering. |
9 (RLIN) | 4138 |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name entry element | Compilers (Computer programs). |
9 (RLIN) | 3350 |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name entry element | Computer science. |
9 (RLIN) | 9832 |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name entry element | Computer networks . |
9 (RLIN) | 31572 |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name entry element | Electronic data processing |
General subdivision | Management. |
9 (RLIN) | 83211 |
650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name entry element | Programming Techniques. |
9 (RLIN) | 83214 |
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name entry element | Software Engineering. |
9 (RLIN) | 4138 |
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name entry element | Compilers and Interpreters. |
9 (RLIN) | 31853 |
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name entry element | Computer Science Logic and Foundations of Programming. |
9 (RLIN) | 42203 |
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name entry element | Computer Communication Networks. |
9 (RLIN) | 83216 |
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name entry element | IT Operations. |
9 (RLIN) | 31703 |
700 1# - ADDED ENTRY--PERSONAL NAME | |
Personal name | Black, Andrew. |
Relator term | editor. |
Relationship | edt |
-- | http://id.loc.gov/vocabulary/relators/edt |
9 (RLIN) | 83217 |
710 2# - ADDED ENTRY--CORPORATE NAME | |
Corporate name or jurisdiction name as entry element | SpringerLink (Online service) |
9 (RLIN) | 83219 |
773 0# - HOST ITEM ENTRY | |
Title | Springer Nature eBook |
776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
Relationship information | Printed edition: |
International Standard Book Number | 9783540279921 |
776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
Relationship information | Printed edition: |
International Standard Book Number | 9783540813521 |
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE | |
Uniform title | Programming and Software Engineering, |
International Standard Serial Number | 2945-9168 ; |
Volume/sequential designation | 3586 |
9 (RLIN) | 83221 |
856 40 - ELECTRONIC LOCATION AND ACCESS | |
Uniform Resource Identifier | <a href="https://doi.org/10.1007/11531142">https://doi.org/10.1007/11531142</a> |
912 ## - | |
-- | ZDB-2-SCS |
912 ## - | |
-- | ZDB-2-SXCS |
912 ## - | |
-- | ZDB-2-LNC |
942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
Koha item type | eBooks-Lecture Notes in CS |
No items available.