Behavioral Compatibility of Self-Typed Theories
Abstract elided by the publisher.
1,096 papers · page 38 of 55
Architectural Reasoning in ArchJava
Abstract elided by the publisher.
A Formal Framework for Java Separate Compilation
Abstract elided by the publisher.
Thin Guards: A Simple and Effective Technique for Reducing the Penalty of Dynamic Class Loading
Abstract elided by the publisher.
Space- and Time-Efficient Implementation of the Java Object Model
Abstract elided by the publisher.
Modern Concurrency Abstractions for C#
Abstract elided by the publisher.
Lana: An Approach to Programming Autonomous Systems
Abstract elided by the publisher.
A Simple and Practical Approach to Unit Testing: The JML and JUnit Way
Abstract elided by the publisher.
Code Sharing among Virtual Machines
Abstract elided by the publisher.
Engineering Event-Based Systems with Scopes
Abstract elided by the publisher.
Polychotomic Encoding: A Better Quasi-Optimal Bit-Vector Encoding of Tree Hierarchies
Abstract elided by the publisher.
Type-Safe Method Inlining
Abstract elided by the publisher.
Atomic Instructions in Java
Abstract elided by the publisher.
Difference-Based Modules: A Class-Independent Module Mechanism
Abstract elided by the publisher.
On Variance-Based Subtyping for Parametric Types
Abstract elided by the publisher.
AOP: Does It Make Sense? The Case of Concurrency and Failures
Concurrency and failures are fundamental problems in distributed computing. One likes to think that the mechanisms needed to address these problems can be separated from the rest of the distributed application: in modern words, these mechanisms could be aspectized. Does this howe…
Semantic Models for Distributed Object Reflection
Abstract elided by the publisher.
Pattern-Based Design and Implementation of an XML and RDF Parser and Interpreter: A Case Study
Abstract elided by the publisher.
Patterns as Signs
Abstract elided by the publisher.
Dynamically Composable Collaborations with Delegation Layers
Abstract elided by the publisher.