Johan Dovland

Joint Papers

• A proof system for adaptable class hierarchies
• Verifying traits: an incremental proof system for fine-grained reuse
• Tracking Behavioral Constraints during Object-Oriented Software Evolution
• A Transformational Proof System for Delta-Oriented Programming
• Observable Behavior of Distributed Systems: Component Reasoning for Concurrent Objects
• Incremental Reasoning with Lazy Behavioral Subtyping for Multiple Inheritance
• Verifying Traits: A Proof System for Fine-Grained Reuse
• Lazy Behavioral Subtyping
• Incremental Reasoning for Multiple Inheritance
• Lazy Behavioral Subtyping
• Observable Behavior of Dynamic Systems: Component Reasoning for Concurrent Objects
• Verification of Concurrent Objects with Asynchronous Method Calls
• Reasoning about Asynchronous Method Calls and Inheritance