bfrasers profile

Recent Activity

• 23:13: posted Do Crosscutting Concerns Cause Defects?
• 23:09: posted Statement Annotations for Fine-Grained Advising

• 20:35: posted Aspect Categories and Classes of Temporal Properties
• 17:09: posted Sokoban is PSPACE-complete
• 17:06: posted Using Abstraction for Planning in Sokoban

• 23:49: posted Action-Oriented Exception Handling in Cooperative and Competitive Concurrent Object-Oriented Systems
• 22:46: posted Aspects and Formal Methods
• 22:43: posted Diagnosis of harmful aspects using regression verification
• 22:26: posted Interference Analysis for AspectJ
• 22:13: posted Automated Reasoning on Aspects Interactions

• 21:33: posted Pregnancy sickness and embryo quality
• 17:38: posted Modal logics for mobile processes
• 17:37: posted Extensible algebraic datatypes with defaults
• 17:35: posted Theory and practice of constraint handling rules

• 21:50: posted Inductively generated pointcuts to support refactoring to aspects

• 22:52: posted Planning as satisfiability

• 19:31: posted An axiomatic basis for computer programming
• 19:21: posted Language-independent detection of object-oriented design patterns
• 18:44: posted ReLAx: implementing KALA over the reflex AOP kernel
• 18:39: posted KALA: Kernel aspect language for advanced transactions

• 18:40: posted On the decidability of process equivalences for the [pi]-calculus
• 18:34: posted Proof systems for pi-calculus logics
• 18:33: posted Model checking mobile processes

• 23:42: posted Linearity and the pi-calculus
• 20:32: posted The chemical abstract machine