Trustworthy Proxies - Virtualizing Objects with Invariants
Abstract elided by the publisher.
1,096 papers · page 23 of 55
RedCard: Redundant Check Elimination for Dynamic Race Detectors
Abstract elided by the publisher.
Implementing Federated Object Systems
Abstract elided by the publisher.
Systematic Testing of Refactoring Engines on Real Software Projects
Abstract elided by the publisher.
Java UI : Effects for Controlling UI Object Access
Abstract elided by the publisher.
Ownership-Based Isolation for Concurrent Actors on Multi-core Machines
Abstract elided by the publisher.
Is This a Bug or an Obsolete Test?
Abstract elided by the publisher.
Verification Condition Generation for Permission Logics with Abstract Predicates and Abstraction Functions
Abstract elided by the publisher.
Combining Form and Function: Static Types for JQuery Programs
Abstract elided by the publisher.
Higher-Order Reactive Programming with Incremental Lists
Abstract elided by the publisher.
A Comparative Study of Manual and Automated Refactorings
Abstract elided by the publisher.
Feature-Oriented Programming with Object Algebras
Abstract elided by the publisher.
The Billion-Dollar Fix - Safe Modular Circular Initialisation with Placeholders and Placeholder Types
Abstract elided by the publisher.
Detecting Refactored Clones
Abstract elided by the publisher.
Composition and Reuse with Compiled Domain-Specific Languages
Abstract elided by the publisher.
A Formal Semantics for Isorecursive and Equirecursive State Abstractions
Abstract elided by the publisher.
Joins: A Case Study in Modular Specification of a Concurrent Reentrant Higher-Order Library
Abstract elided by the publisher.
Why Do Scala Developers Mix the Actor Model with other Concurrency Models?
Abstract elided by the publisher.
What Programmers Do with Inheritance in Java
Abstract elided by the publisher.
Reducing Lookups for Invariant Checking
Abstract elided by the publisher.