Matches in Harvard for { <http://id.lib.harvard.edu/aleph/009226089/catalog> ?p ?o. }
Showing items 1 to 23 of
23
with 100 items per page.
- catalog contributor b13008602.
- catalog contributor b13008603.
- catalog created "2003.".
- catalog date "2003".
- catalog date "2003.".
- catalog dateCopyrighted "2003.".
- catalog description "Built-in Object Security / Martin Abadi -- Modeling Crosscutting in Aspect-Oriented Mechanisms / Hidehiko Masuhara and Gregor Kiczales -- Spontaneous Container Services / Andrei Popovici, Gustavo Alonso and Thomas Gross -- A Calculus of Untyped Aspect-Oriented Programs / Radha Jagadeesan, Alan Jeffrey and James Riely -- Language Support for Connector Abstractions / Jonathan Aldrich, Vibha Sazawal, Craig Chambers and David Notkin -- Walkabout Revisited: The Runabout / Christian Grothoff -- MX: Mobile Object Exchange for Collaborative Applications / Liuba Shrira and Hong Tian -- Regular Object Types / Vladimir Gapeyev and Benjamin C. Pierce -- External Uniqueness Is Unique Enough / Dave Clarke and Tobias Wrigstad -- A Nominal Theory of Objects with Dependent Types / Martin Odersky, Vincent Cremet, Christine Rockl and Matthias Zenger -- Open APIs for Embedded Security / Carl A. Gunter -- Traits: Composable Units of Behaviour / Nathanael Scharli, Stephane Ducasse, Oscar Nierstrasz and Andrew P. Black -- A Type System and Analysis for the Automatic Extraction and Enforcement of Design Information / Patrick Lam and Martin Rinard -- Higher-Order Hierarchies / Erik Ernst -- Two-Dimensional Bi-directional Object Layout / Yoav Zibin and Joseph (Yossi) Gil -- LeakBot: An Automated and Lightweight Tool for Diagnosing Memory Leaks in Large Java Applications / Nick Mitchell and Gary Sevitsky -- Java Subtype Tests in Real-Time / Krzysztof Palacz and Jan Vitek -- Growing XQuery / Mary Fernandez and Jerome Simeon -- Discovering Algebraic Specifications from Java Classes / Johannes Henkel and Amer Diwan -- A Refinement Algebra for Object-Oriented Programming / Paulo Borba, Augusto Sampaio and Marcio Cornelio -- Object-Oriented Reading Techniques for Inspection of UML Models -- An Industrial Experiment / Reidar Conradi, Parastoo Mohagheghi, Tayyaba Arif, Lars Christian Hegde, Geir Arne Bunde and Anders Pedersen.".
- catalog description "Includes bibliographical references and index.".
- catalog extent "x, 500 p. :".
- catalog identifier "3540405313 (alk. paper)".
- catalog isPartOf "Lecture notes in computer science ; 2743".
- catalog issued "2003".
- catalog issued "2003.".
- catalog language "eng".
- catalog publisher "Berlin ; New York : Springer-Verlag,".
- catalog subject "005.1/17 22".
- catalog subject "Object-oriented methods (Computer science) Congresses.".
- catalog subject "QA76.9.O35 E33 2003".
- catalog tableOfContents "Built-in Object Security / Martin Abadi -- Modeling Crosscutting in Aspect-Oriented Mechanisms / Hidehiko Masuhara and Gregor Kiczales -- Spontaneous Container Services / Andrei Popovici, Gustavo Alonso and Thomas Gross -- A Calculus of Untyped Aspect-Oriented Programs / Radha Jagadeesan, Alan Jeffrey and James Riely -- Language Support for Connector Abstractions / Jonathan Aldrich, Vibha Sazawal, Craig Chambers and David Notkin -- Walkabout Revisited: The Runabout / Christian Grothoff -- MX: Mobile Object Exchange for Collaborative Applications / Liuba Shrira and Hong Tian -- Regular Object Types / Vladimir Gapeyev and Benjamin C. Pierce -- External Uniqueness Is Unique Enough / Dave Clarke and Tobias Wrigstad -- A Nominal Theory of Objects with Dependent Types / Martin Odersky, Vincent Cremet, Christine Rockl and Matthias Zenger -- Open APIs for Embedded Security / Carl A. Gunter -- Traits: Composable Units of Behaviour / Nathanael Scharli, Stephane Ducasse, Oscar Nierstrasz and Andrew P. Black -- A Type System and Analysis for the Automatic Extraction and Enforcement of Design Information / Patrick Lam and Martin Rinard -- Higher-Order Hierarchies / Erik Ernst -- Two-Dimensional Bi-directional Object Layout / Yoav Zibin and Joseph (Yossi) Gil -- LeakBot: An Automated and Lightweight Tool for Diagnosing Memory Leaks in Large Java Applications / Nick Mitchell and Gary Sevitsky -- Java Subtype Tests in Real-Time / Krzysztof Palacz and Jan Vitek -- Growing XQuery / Mary Fernandez and Jerome Simeon -- Discovering Algebraic Specifications from Java Classes / Johannes Henkel and Amer Diwan -- A Refinement Algebra for Object-Oriented Programming / Paulo Borba, Augusto Sampaio and Marcio Cornelio -- Object-Oriented Reading Techniques for Inspection of UML Models -- An Industrial Experiment / Reidar Conradi, Parastoo Mohagheghi, Tayyaba Arif, Lars Christian Hegde, Geir Arne Bunde and Anders Pedersen.".
- catalog title "ECOOP 2003--Object-oriented programming : 17th European conference, Darmstadt, Germany, July 21-25, 2003 : proceedings / Luca Cardelli (ed.)".
- catalog type "Conference proceedings. fast".
- catalog type "Darmstadt (2003) swd".
- catalog type "text".