ECOOP 2003 - Object-Oriented Programming Book

Name: ECOOP 2003 - Object-Oriented Programming, The refereed proceeding
Brand: Steidl Publishing
SKU: 9783540405313
Price: 107.90 USD
Availability: InStock
Rating: 3 (2 reviews)

2 Ratings

ECOOP 2003 - Object-Oriented Programming, The refereed proceedings of the 17th European Conference on Object-Oriented Programming, ECOOP 2003, held in Darmstadt, Germany in July 2003. The 18 revised full papers presented together with 2 invited papers were carefully reviewed and selected from , ECOOP 2003 - Object-Oriented Programming

3 out of 5 stars based on 2 reviews

ECOOP 2003 - Object-Oriented Programming
Written by author Luca Cardelli
Published by Springer-Verlag New York, LLC, October 2007
The refereed proceedings of the 17th European Conference on Object-Oriented Programming, ECOOP 2003, held in Darmstadt, Germany in July 2003. The 18 revised full papers presented together with 2 invited papers were carefully reviewed and selected from
This book constitutes the refereed proceedings of the 17th European Conference on Object-Oriented Programming, ECOOP 2003, held in Darmstadt, Germany in July 2003.The 18 revised full papers presented together with 2 invited papers were carefully review

Buy Digital USD$107.90

Book Categories

Authors

Built-in Object Security 1
Modeling Crosscutting in Aspect-Oriented Mechanisms 2
Spontaneous Container Services 29
A Calculus of Untyped Aspect-Oriented Programs 54
Language Support for Connector Abstractions 74
Walkabout Revisited: The Runabout 103
MX: Mobile Object Exchange for Collaborative Applications 126
Regular Object Types 151
External Uniqueness Is Unique Enough 176
A Nominal Theory of Objects with Dependent Types 201
Open APIs for Embedded Security 225
Traits: Composable Units of Behaviour 248
A Type System and Analysis for the Automatic Extraction and Enforcement of Design Information 275
Higher-Order Hierarchies 303
Two-Dimensional Bi-directional Object Layout 329
LeakBot: An Automated and Lightweight Tool for Diagnosing Memory Leaks in Large Java Applications 351
Java Subtype Tests in Real-Time 378
Growing XQuery 405
Discovering Algebraic Specifications from Java Classes 431
A Refinement Algebra for Object-Oriented Programming 457
Object-Oriented Reading Techniques for Inspection of UML Models - An Industrial Experiment 483
Author Index 501

Title: ECOOP 2003 - Object-Oriented Programming

Manufacturer:

Steidl Publishing

Item Number: 9783540405313

Publication Date: October 2007

Number: 1

Product Description: ECOOP 2003 - Object-Oriented Programming

Universal Product Code (UPC): 9783540405313

WonderClub Stock Keeping Unit (WSKU): 9783540405313

Rating: 3/5 based on 2 Reviews

Image Location: https://wonderclub.com/images/covers/53/13/9783540405313.jpg

Category: Media >> Books

Weight: 0.200 kg (0.44 lbs)

Width: 9.210 cm (3.63 inches)

Heigh : 6.140 cm (2.42 inches)

Depth: 1.040 cm (0.41 inches)

Date Added: August 25, 2020, Added By: Ross

Date Last Edited: August 25, 2020, Edited By: Ross

Price	Condition	Delivery	Seller	Action
$107.90	Digital	Arrives between May 13 - Jun 12 Login to your account for a direct download. Some files are emailed from Dropbox. Continent $0.00 - World $0.00	WonderClub (9296 total ratings)

Question Concerning ECOOP 2003 - Object-Oriented Programming

Ask a Question about ECOOP 2003 - Object-Oriented Programming

No Question found!

Read Reviews for ECOOP 2003 - Object-Oriented Programming Write review

Janine Huxford

reviewed ECOOP 2003 - Object-Oriented Programming on November 06, 2018

ECOOP 2003 - Object-Oriented Programming

Useful for learning

You must be logged in to add to Wishlist

This item is in your Wish List

This item is in your Collection

This Item is in Your Inventory

You must be logged in to review the products

ECOOP 2003 - Object-Oriented Programming, The refereed proceedings of the 17th European Conference on Object-Oriented Programming, ECOOP 2003, held in Darmstadt, Germany in July 2003.
The 18 revised full papers presented together with 2 invited papers were carefully reviewed and selected from , ECOOP 2003 - Object-Oriented Programming

Add ECOOP 2003 - Object-Oriented Programming, The refereed proceedings of the 17th European Conference on Object-Oriented Programming, ECOOP 2003, held in Darmstadt, Germany in July 2003. The 18 revised full papers presented together with 2 invited papers were carefully reviewed and selected from , ECOOP 2003 - Object-Oriented Programming to the inventory that you are selling on WonderClub

Add ECOOP 2003 - Object-Oriented Programming, The refereed proceedings of the 17th European Conference on Object-Oriented Programming, ECOOP 2003, held in Darmstadt, Germany in July 2003. The 18 revised full papers presented together with 2 invited papers were carefully reviewed and selected from , ECOOP 2003 - Object-Oriented Programming to your collection on WonderClub

ECOOP 2003 - Object-Oriented Programming Book

Book Categories

Authors

Steidl Publishing

Question Concerning ECOOP 2003 - Object-Oriented Programming

Read Reviews for ECOOP 2003 - Object-Oriented Programming Write review

Login

Complaints

Blog

Games

Digital Media

Souls

Obituary

Contact Us

FAQ

You must be logged in to add to Wishlist

This item is in your Wish List

This item is in your Collection

This Item is in Your Inventory

You must be logged in to review the products

	Built-in Object Security	1
	Modeling Crosscutting in Aspect-Oriented Mechanisms	2
	Spontaneous Container Services	29
	A Calculus of Untyped Aspect-Oriented Programs	54
	Language Support for Connector Abstractions	74
	Walkabout Revisited: The Runabout	103
	MX: Mobile Object Exchange for Collaborative Applications	126
	Regular Object Types	151
	External Uniqueness Is Unique Enough	176
	A Nominal Theory of Objects with Dependent Types	201
	Open APIs for Embedded Security	225
	Traits: Composable Units of Behaviour	248
	A Type System and Analysis for the Automatic Extraction and Enforcement of Design Information	275
	Higher-Order Hierarchies	303
	Two-Dimensional Bi-directional Object Layout	329
	LeakBot: An Automated and Lightweight Tool for Diagnosing Memory Leaks in Large Java Applications	351
	Java Subtype Tests in Real-Time	378
	Growing XQuery	405
	Discovering Algebraic Specifications from Java Classes	431
	A Refinement Algebra for Object-Oriented Programming	457
	Object-Oriented Reading Techniques for Inspection of UML Models - An Industrial Experiment	483
	Author Index	501