05123nam 22007575 450 991048429240332120251226193600.03-642-03013-010.1007/978-3-642-03013-0(CKB)1000000000761237(SSID)ssj0000317344(PQKBManifestationID)11231254(PQKBTitleCode)TC0000317344(PQKBWorkID)10289003(PQKB)10366550(DE-He213)978-3-642-03013-0(MiAaPQ)EBC3064415(PPN)139870768(EXLCZ)99100000000076123720100301d2009 u| 0engurnn#008mamaatxtccrECOOP 2009 -- Object-Oriented Programming 23rd European Conference, Genoa, Italy, July 6-10, 2009, Proceedings /edited by Sophia Drossopoulou1st ed. 2009.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2009.1 online resource (XVII, 631 p.)Programming and Software Engineering,2945-9168 ;5653International conference proceedings.3-642-03012-2 Includes bibliographical references and index.Keynote 1 -- Classes, Jim, But Not as We Know Them — Type Classes in Haskell: What, Why, and Whither -- Types, Frameworks and Modelling -- Coinductive Type Systems for Object-Oriented Languages -- Checking Framework Interactions with Relationships -- COPE - Automating Coupled Evolution of Metamodels and Models -- Aliasing and Transactions -- Making Sense of Large Heaps -- Scaling CFL-Reachability-Based Points-To Analysis Using Context-Sensitive Must-Not-Alias Analysis -- NePaLTM: Design and Implementation of Nested Parallelism for Transactional Memory Systems -- Access Control and Verification -- Implicit Dynamic Frames: Combining Dynamic Frames and Separation Logic -- Fine-Grained Access Control with Object-Sensitive Roles -- Practical API Protocol Checking with Access Permissions -- Modularity -- Adding State and Visibility Control to Traits Using Lexical Nesting -- Featherweight Jigsaw: A Minimal Core Calculus for Modular Composition of Classes -- Modular Visitor Components -- Mining and Extracting -- Debugging Method Names -- MAPO: Mining and Recommending API Usage Patterns -- Supporting Framework Use via Automatically Extracted Concept-Implementation Templates -- Refactoring -- Stepping Stones over the Refactoring Rubicon -- Program Metamorphosis -- From Public to Private to Absent: Refactoring Java Programs under Constrained Accessibility -- Keynote 2 -- Java on 1000 Cores: Tales of Hardware/Software Co-design -- Concurrency, Exceptions and Initialization -- Loci: Simple Thread-Locality for Java -- Failboxes: Provably Safe Exception Handling -- Are We Ready for a Safer Construction Environment? -- Type-Based Object Immutability with Flexible Initialization -- Concurrency and Distribution -- Security Monitor Inlining for Multithreaded Java -- EventJava: An Extension of Java for Event Correlation.-Remote Batch Invocation for Compositional Object Services -- ECOOP 2008 Banquet Speech -- to: The Myths of Object-Orientation -- The Myths of Object-Orientation.This book constitutes the refereed proceedings of the 23rd European Conference on Object-Oriented Programming, ECOOP 2009, held in Genoa, Italy, in July 2009. The 25 revised full papers, presented together with the abstracts of 2 invited talks and the ECOOP 2008 banquet speech were carefully reviewed and selected from a total of 117 submissions. The papers cover topics such as types, frameworks and modeling; aliasing and transactions; access control and verification; modularity; mining and extracting; refactoring; concurrency, exceptions and initialization; and concurrency and distribution.Programming and Software Engineering,2945-9168 ;5653Computer networksSoftware engineeringCompilers (Computer programs)Computer programmingComputer scienceComputer Communication NetworksSoftware EngineeringCompilers and InterpretersProgramming TechniquesComputer Science Logic and Foundations of ProgrammingComputer networks.Software engineering.Compilers (Computer programs).Computer programming.Computer science.Computer Communication Networks.Software Engineering.Compilers and Interpreters.Programming Techniques.Computer Science Logic and Foundations of Programming.004n/aDrossopoulou Sophia534743ECOOP (Conference)MiAaPQMiAaPQMiAaPQBOOK9910484292403321ECOOP 2009--object-oriented programming4204730UNINA