{"product_id":"9783540405313","title":"Ecoop 2003 - Object-Oriented Programming : 17th European Conference, Darmstadt, Germany, July 21-25, 2003 : Proceedings (Lecture Notes in Computer Sci","description":"\u003cp\u003eInvited Talk 1.- Built-in Object Security.- Aspects and Components.- Modeling Crosscutting in Aspect-Oriented Mechanisms.- Spontaneous Container Services.- A Calculus of Untyped Aspect-Oriented Programs.- Patterns, Architecture, and Collaboration.- Language Support for Connector Abstractions.- Walkabout Revisited: The Runabout.- MX: Mobile Object Exchange for Collaborative Applications.- Types.- Regular Object Types.- External Uniqueness Is Unique Enough.- A Nominal Theory of Objects with Dependent Types.- Invited Talk 2.- Open APIs for Embedded Security.- Modeling.- Traits: Composable Units of Behaviour.- A Type System and Analysis for the Automatic Extraction and Enforcement of Design Information.- Higher-Order Hierarchies.- Algorithms, Optimization and Runtimes.- Two-Dimensional Bi-directional Object Layout.- LeakBot: An Automated and Lightweight Tool for Diagnosing Memory Leaks in Large Java Applications.- Java Subtype Tests in Real-Time.- Invited Talk 3.- Growing XQuery.- Formal Techniques and Methodology.- Discovering Algebraic Specifications from Java Classes.- A Refinement Algebra for Object-Oriented Programming.- Object-Oriented Reading Techniques for Inspection of UML Models - An Industrial Experiment.\u003c\/p\u003e","brand":"Springer-Verlag New York Inc","offers":[{"title":"Default Title","offer_id":42564854939723,"sku":"00000_00000_00000_00000","price":3921.51,"currency_code":"THB","in_stock":true}],"url":"https:\/\/kinokuniya.co.th\/products\/9783540405313","provider":"Books Kinokuniya Thailand","version":"1.0","type":"link"}