Programming Languages

Aspects and Modular Reasoning in Nonmonotonic Logic

by Klaus Ostermann

In Workshop on Foundations of Aspect-Oriented Languages (FOAL’07), Vancouver, Canada, 2007.