Language Support for Connector Abstractions
Abstract elided by the publisher.
1,096 papers · page 37 of 55
A Refinement Algebra for Object-Oriented Programming
Abstract elided by the publisher.
External Uniqueness Is Unique Enough
Abstract elided by the publisher.
Object-Oriented Reading Techniques for Inspection of UML Models - An Industrial Experiment
Abstract elided by the publisher.
Higher-Order Hierarchies
Abstract elided by the publisher.
Growing XQuery
Abstract elided by the publisher.
Regular Object Types
Abstract elided by the publisher.
Walkabout Revisited: The Runabout
Abstract elided by the publisher.
Open APIs for Embedded Security
Abstract elided by the publisher.
Discovering Algebraic Specifications from Java Classes
Abstract elided by the publisher.
A Calculus of Untyped Aspect-Oriented Programs
Abstract elided by the publisher.
A Type System and Analysis for the Automatic Extraction and Enforcement of Design Information
We present a new type system and associated type checker, analysis, and model extraction algorithms for automatically extracting models that capture aspects of a program’s design. Our type system enables the developer to place a token on each object; this token serves as the obje…
Modeling Crosscutting in Aspect-Oriented Mechanisms
Abstract elided by the publisher.
LeakBot: An Automated and Lightweight Tool for Diagnosing Memory Leaks in Large Java Applications
Abstract elided by the publisher.
A Nominal Theory of Objects with Dependent Types
Abstract elided by the publisher.
Java Subtype Tests in Real-Time
Abstract elided by the publisher.
Spontaneous Container Services
Abstract elided by the publisher.
Traits: Composable Units of Behaviour
Abstract elided by the publisher.
MX: Mobile Object Exchange for Collaborative Applications
Abstract elided by the publisher.
Two-Dimensional Bi-directional Object Layout
Abstract elided by the publisher.