ECOOP 2010 -- object-oriented programming : 24th European Conference, Maribor, Slovenia, June 21-25, 2010 : proceedings
constitutes the refereed proceedings of the 24th European Conference on Object-Oriented Programming, ECOOP 2010, held in Maribor, Slovenia, in June 2010. This book includes papers that cover topics such as programming environments and tools, theoretical foundations of programming languages, formal m...
Saved in:
| Main Authors | , |
|---|---|
| Format | eBook Book |
| Language | English |
| Published |
Berlin
Springer
2010
Springer Berlin / Heidelberg |
| Edition | 1 |
| Series | Lecture Notes in Computer Science |
| Subjects | |
| Online Access | Get full text |
| ISBN | 9783642141065 3642141064 |
Cover
Loading…
| Abstract | constitutes the refereed proceedings of the 24th European Conference on Object-Oriented Programming, ECOOP 2010, held in Maribor, Slovenia, in June 2010. This book includes papers that cover topics such as programming environments and tools, theoretical foundations of programming languages, formal methods, and concurrency models in Java. |
|---|---|
| AbstractList | constitutes the refereed proceedings of the 24th European Conference on Object-Oriented Programming, ECOOP 2010, held in Maribor, Slovenia, in June 2010. This book includes papers that cover topics such as programming environments and tools, theoretical foundations of programming languages, formal methods, and concurrency models in Java. |
| Author | European Conference on Object-Oriented Programming D'Hondt, Theo |
| Author_xml | – sequence: 1 fullname: European Conference on Object-Oriented Programming – sequence: 2 fullname: D'Hondt, Theo |
| BackLink | https://cir.nii.ac.jp/crid/1130282273223991296$$DView record in CiNii |
| BookMark | eNpNkNtKw0AQhlc8oNW-w14IIjSQnT0k652GekKpoHgbNslsmzbuajbV13drFZyLGYb5-Bj-Edlz3uEOGXElgAmWZrBLxjrL_3Yl98kIUpZq0CyXB-RIScG11lweknEIyzSWEEpwOCJf02I2e6IbnCYJ9dUS6yHxfYtuwIa-937em7e31s3pBQUxLOh03ft3NI4W3lns0dU4oY-mbyvfT-hz5z_RtWZC79cOKbAE5GSrv9jYasQmysIJ2bemCzj-ncfk9Xr6UtwmD7Obu-LyITFSZlwmFnMhuclUI3hqs7ppLGRc6FpZZFVVqSYVVgtTCdvkTGtkKYccGyvBxqPkx-R8KzZhhV9h4bshlJ8dVt6vQvkvtgwie7Zl46MfawxD-YPVMYvedOX0quAxXZGpSJ5uSde2Zd1uOmM8hRzidwAxbQZa8W-r7nZE |
| ContentType | eBook Book |
| DBID | RYH |
| DEWEY | 005.1/17 |
| DatabaseName | CiNii Complete |
| DatabaseTitleList | |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| EISBN | 3642141072 9783642141072 |
| Edition | 1 2010 edition |
| ExternalDocumentID | 9783642141072 EBC3065476 BB05565288 |
| GroupedDBID | 089 0D6 0DA 2HV 38. 4UP 4V3 A4J AABBV AAJYQ AATVQ ABBUY ABBVZ ABCYT ABMKK ABMNI ACDPG ACDTA ACDUY ACM ACWCF ACZTO AEDXK AEHEY AEJLV AEKFX AEOKE AEZAY AHNNE AHSMR ALMA_UNASSIGNED_HOLDINGS APO ATJMZ AZZ BBABE CZZ GUFHI IEZ IW0 JJU LHSKQ MA. MW~ MYL RYH SBO TBMHI TPJZQ TSXQS Z5O Z7R Z7S Z7U Z7W Z7X Z7Y Z7Z Z81 Z83 Z84 Z85 Z87 Z88 AAFYB ADPZR LDH SAO Z7V Z82 |
| ID | FETCH-LOGICAL-a55735-fe8453a76d430f7cddf27349c6fe1bbb6d04f94ab4fd8199e10328edf52fb6d53 |
| ISBN | 9783642141065 3642141064 |
| IngestDate | Fri Nov 08 04:22:56 EST 2024 Fri May 30 21:58:42 EDT 2025 Thu Jun 26 21:03:46 EDT 2025 |
| IsPeerReviewed | false |
| IsScholarly | false |
| LCCN | 2010929185 |
| LCCallNum_Ident | QA76.758 |
| Language | English |
| LinkModel | OpenURL |
| MergedId | FETCHMERGED-LOGICAL-a55735-fe8453a76d430f7cddf27349c6fe1bbb6d04f94ab4fd8199e10328edf52fb6d53 |
| Notes | Includes bibliographical references and index |
| OCLC | 654399935 |
| PQID | EBC3065476 |
| PageCount | 609 |
| ParticipantIDs | askewsholts_vlebooks_9783642141072 proquest_ebookcentral_EBC3065476 nii_cinii_1130282273223991296 |
| PublicationCentury | 2000 |
| PublicationDate | c2010 2010 2010-06-29 |
| PublicationDateYYYYMMDD | 2010-01-01 2010-06-29 |
| PublicationDate_xml | – year: 2010 text: c2010 |
| PublicationDecade | 2010 |
| PublicationPlace | Berlin |
| PublicationPlace_xml | – name: Berlin – name: Berlin, Heidelberg |
| PublicationSeriesTitle | Lecture Notes in Computer Science |
| PublicationYear | 2010 |
| Publisher | Springer Springer Berlin / Heidelberg |
| Publisher_xml | – name: Springer – name: Springer Berlin / Heidelberg |
| SSID | ssj0000446432 |
| Score | 1.8397641 |
| Snippet | constitutes the refereed proceedings of the 24th European Conference on Object-Oriented Programming, ECOOP 2010, held in Maribor, Slovenia, in June 2010. This... |
| SourceID | askewsholts proquest nii |
| SourceType | Aggregation Database Publisher |
| SubjectTerms | Congresses Object-oriented programming (Computer science) Object-oriented programming (Computer science) -- Congresses |
| TableOfContents | Types for Securing \lambda_{JS} -- Scaling to JavaScript -- Perspective -- Related Work -- References -- Formal Methods -- Verifying Executable Object-Oriented Specifications with Separation Logic -- Introduction -- Background -- The Abstract Setting: Triples and Footprints -- The Concrete Setting: An O-O Language and Proof System -- Precondition Verification -- Postcondition Verification -- Class Invariant Verification -- Model-Based Specifications -- Relative Purity and Predicate Extraction -- Relative Purity -- Predicate Extraction -- Implementation -- Conclusions and Related Work -- References -- Verifying Generics and Delegates -- Introduction -- Generics -- Delegates -- Understanding C^{\sharp} Delegates -- Reasoning about Methods That Use Delegates -- Reasoning about Named Delegates -- Reasoning about Anonymous Delegates -- Case Study -- Semantics and Soundness of Proof Rules -- Assertion Logic -- Specification Logic -- Related and Future Work -- Conclusion -- References -- Recency Types for Analyzing Scripting Languages -- Introduction -- Descriptive Types for Scripting Languages -- Introducing Recency -- Contributions and Outline -- Recency Typing, Informally -- Types for Objects -- Function Types -- The Recency-Aware Calculus -- Syntax -- Small-Step Operational Semantics -- Properties of the Dynamic Semantics -- Static Semantics -- Subtyping -- Typing of Values -- Auxiliary Judgments -- Typing of Expressions -- Metatheory -- Prototype Extension -- Implementation -- Preprocessing -- Constraint Generation -- Constraint Simplification -- Related Work -- Conclusion -- References -- Concurrency Models in Java -- Correct Refactoring of Concurrent Java Code -- Introduction -- Motivating Examples -- Techniques for Preserving Concurrent Behaviors -- Handling synchronized Methods -- Dependence Edges Leveraging the Host Toolchain with Helvetia Type Systems -- A Type System for Data-Centric Synchronization -- Introduction -- Background and Influences -- Data-Centric Synchronization with AJ -- Motivating Example -- Arrays -- Data Races and Deadlocks -- A Formal Account of AJ -- Syntax -- Type System -- Dynamic Semantics -- Properties -- Concurrency Control -- Atomic-Set Serializability -- Implementation -- Empirical Evaluation -- Java Collections Framework -- SPECjbb -- Conclusions -- References -- Type-Safe Eventful Sessions in Java -- Introduction -- Event-Driven Session Programming -- A Process Model for Eventful Sessions -- Syntax of the Eventful Session π -Calculus -- Operational Semantics -- Representing High-Level Event Constructs in ESP -- Typing Eventful Sessions -- Subtyping from Composability -- Program Typing -- Type Soundness and Event-Handling Safety -- Typing Event Selectors and Event Progress -- Eventful SJ: Implementation and Evaluation -- Event Primitives and ESJ Compilation -- Eventful SJ Runtime -- An ESJ SMTP Server: Implementation Experience and Benchmarks -- Related and Future Work -- References -- Capabilities for Uniqueness and Borrowing -- Introduction -- Background -- Overview -- Formalization -- Dynamic Semantics -- Static Semantics -- Soundness -- Extensions -- Implementation -- Other Related Work -- Conclusion -- References -- Keynote 2 -- Secret Valley -- Language Design and Implementation -- Embedding Languages without Breaking Tools -- Introduction -- Related Work -- Extensible Compilers -- Meta-programming Systems -- Language Workbenches -- Language Transformations -- Helvetia Exemplified -- A Pidgin: Mondrian -- A Creole: Mondrian -- An Argot: Transactional Memory -- Specifying Embedded Languages with Helvetia -- Specifying the Mondrian Pidgin -- Specifying the Mondrian Creole -- Specifying the Transactional Memory Argot From Patterns to Class Diagrams -- Using Annotations -- Class Diagrams -- Enrichment -- Spreadsheet Patterns -- Simple Class -- Simple Class Including Name -- Simple Class Including Methods -- Aggregation -- Associated Data -- Implementation -- Evaluation -- The Data Set -- Quality of Chosen Patterns -- Quality of Mapping -- Discussion -- Spreadsheet Limitations -- Class Diagram Limitations -- Beyond Class Diagrams -- Dealing with Spreadsheets Errors -- Meaningful Identifiers -- Threats to Validity -- Related Work -- Concluding Remarks -- References -- Theoretical Foundations of Programming Languages -- Adding Dynamic Types to C^\sharp -- Introduction -- An Introduction to Dynamic Types in C^\sharp4.0 -- Example: JavaScript Access in Silverlight -- Example: COM Interop -- Example: Expando Object -- Dynamic Binding of Ordinary Objects -- Dynamic Conversions -- An Overview of the C^\sharp Type System -- Source Language: Featherweight C^\sharp4.0 -- Target Language -- Translation -- Type Conversions -- Term Conversions -- Type Synthesis -- Formal Properties -- Operational Semantics -- Comparison with Existing Work -- Conclusions -- References -- Essential AOP: The A Calculus -- Introduction -- Overview of the {\it A} Calculus by Example -- Formal Definition of the {\it A} Calculus -- Syntax -- Dynamic Semantics -- Static Semantics -- Evaluation of Design Decisions -- Safety Properties -- Related Work -- Conclusions -- References -- The Essence of JavaScript -- The Need for Another JavaScript Semantics -- \lambda_{JS}: A Tractable Semantics for JavaScript -- Functions, Objects and State -- Prototype-Based Objects -- Prototypes -- Statements and Control Operators -- Static Scope in JavaScript -- Type Conversions and Primitive Operators -- Soundness and Adequacy of \lambda_{JS} -- Example: Language-Based Sandboxing -- Isolating JavaScript Title Page -- Preface -- Organization -- Table of Contents -- Keynote 1 -- Code Roots -- Programming Environments and Tools -- Detecting Missing Method Calls in Object-Oriented Software -- Introduction -- The Importance of Detecting Missing Method Calls -- Problems Related to Missing Calls Are Real and Hard to Understand -- Missing Method Calls Survive Development Time -- Recapitulation -- The DMMC System -- Overview -- Extracting Type-Usages -- Exactly and Almost Similar Type-Usages -- S-Score: A Measure of Strangeness for Object-Oriented Software -- Predicting Missing Method Calls -- Evaluation -- The Correctness of the Distribution of the S-Score -- The Ability of S-Score to Catch Degraded Code -- The Performance of the Missing Method Calls Prediction -- Finding New Missing Method Calls in Eclipse -- Summary of the Evaluation -- Missing Method Call Detection in the Development Process -- Related Work -- Conclusion -- References -- Debugging Model-Transformation Failures Using Dynamic Tainting -- Introduction -- Background and Illustration of the Problem -- Dynamic Taint Analysis for Debugging -- Identification of Error Markers -- Taint Association and Propagation -- Analysis of Taint Logs for Fault Localization -- An Implementation of the Technique -- Empirical Evaluation -- Experimental Setup -- Study 1: Effectiveness of the Technique -- Significance of Control-Taint Tags -- Cost of Analysis -- Threats to Validity -- Related Work -- Conclusions and Future Work -- References -- Automatically Extracting Class Diagrams from Spreadsheets -- Introduction -- Background -- Cell Types -- Pattern Languages for Two-Dimensional Languages -- Pattern Grammars -- The Gyro Approach to Spreadsheet Reverse Engineering -- Pattern Recognition -- Overview -- Finding Bounding Boxes -- Cell Classification -- Normalization -- Filtering -- Parsing Correctness of Refactorings in the Presence of Concurrency -- Java Memory Model Basics -- Correctness Proofs -- Handling Programs with Races -- Implementation -- Related Work -- Correctness of Refactorings -- Java Compilers -- Dependencies for Concurrent Programs -- Refactoring and Concurrency -- Conclusions -- References -- A Execution Harness -- Programming Coordinated Behavior in Java -- Introduction -- Outline of Our Approach -- Interlacing and Synchronizing Behaviors -- Abstract Semantics -- A Java Implementation -- Features of Behavioral Programming - Through Examples -- Example 1: A Simple Application -- Example 2: Incremental Development of a Full Application -- Example 3: Patching a Reactive System -- The BPJ Library -- Classes -- Interrupting Events -- Incorporating Data and Algorithms -- Conflict and Deadlock Resolution -- Performance -- Related Work -- Scenario-Based Languages -- Programming Scenarios in Other Languages -- Interprocess-Communication and Parallel-Processing Idioms -- Object-Oriented and Other Programming Approaches -- Conclusion and Future Directions -- References -- JCoBox: Generalizing Active Objects to Concurrent Components -- Introduction -- The Core Concepts -- The CoBox Model: Informal Description -- Motivating Example: A Chat Application -- The Core JCoBox Language -- Further Features -- Formal Semantics -- Syntax -- Dynamic Semantics -- Implementation -- Evaluation -- Performance -- Example Applications -- Related and Future Work -- Related Work -- Current Limitations and Future Work -- Conclusions -- References -- Special Session: Empirical Methods -- Doubts about the Positive Impact of Static Type Systems on Programming Tasks in Single Developer Projects - An Empirical Study -- Introduction -- Related Work -- Background and Motivation -- Experiment Description -- Discussion and Conclusion -- References |
| Title | ECOOP 2010 -- object-oriented programming : 24th European Conference, Maribor, Slovenia, June 21-25, 2010 : proceedings |
| URI | https://cir.nii.ac.jp/crid/1130282273223991296 https://ebookcentral.proquest.com/lib/[SITE_ID]/detail.action?docID=3065476 https://www.vlebooks.com/vleweb/product/openreader?id=none&isbn=9783642141072 |
| Volume | 6183 |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV3db9MwELdYeWEv41MUGLIQPLVGjWPHyd5oVVRNiE5iTHuL4tgWFZBINAOJv547x_lgQ0LwYrWpenHuZ-d-Pt-dCXmZ2igyTsIy1UQpEzHXMKUURk5lLtJ6YZPSB8i-TzYfxemlvBzOHfXZJY1-Xf78Y17J_6AK1wBXzJL9B2R7oXABPgO-0ALC0F4jv_3X4ENfbbdnM9xinjE2qzU6U1iNJYuRQIaYq6_eCwArfi6aT7Pe7T7k-IVcnZ1ul-wfMJyzCsGzWE2ERwxPLVq1N0JJg7kbqPhNubgBsW37tO36dDb0qefOr7ja1JVp2kAlW489ED6QbeyB6DyQv61MY0ygFbDelIOh6cP_lkss4SN5mh6QA6XgZXT7zfr03UXvHMNdZhg3mIvTyWmLOI7kHpLDYv8ZLAFYiWYP1KDa7W4YVM8Szu-SCWaO3CO3bHWfHHXnZdDw-nxAfnjYKD4cZYxeg42OYKMnFEGjnXLpoNw5DZDNaQfYnCJc1MM1b8Wf0BFUD8nF2_X5asPCwReskFLFkjmbChkXKjEiXjhVGuOwDFFWJs7CDNKJWQiXiUILZ4DSZdaXRbQw6biDH2X8iEyqurKPCU1TrUxaiGwRGyG5KCIrtTYFCNYcbjElL0ZqzL9_8Zv0-3yka8Wn5Bi0m5c7bCPc6wZeqcAWAL0FwphMCe30nvv_h8jifL1cxZi-rJInfxHxlNwZxtYzMmm-Xdlj4HuNfh5Gxy9zh0tM |
| linkProvider | Library Specific Holdings |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=book&rft.title=ECOOP+2010+--+object-oriented+programming+%3A+24th+European+Conference%2C+Maribor%2C+Slovenia%2C+June+21-25%2C+2010+%3A+proceedings&rft.au=European+Conference+on+Object-Oriented+Programming&rft.au=D%27Hondt%2C+Theo&rft.date=2010-01-01&rft.pub=Springer&rft.isbn=9783642141065&rft.externalDocID=BB05565288 |
| thumbnail_m | http://utb.summon.serialssolutions.com/2.0.0/image/custom?url=https%3A%2F%2Fvle.dmmserver.com%2Fmedia%2F640%2F97836421%2F9783642141072.jpg |