Avoiding Infinite Recursion with Stratified Aspects

Eric Bodden, Florian Forster, Friedrich Steimann. Avoiding Infinite Recursion with Stratified Aspects. In Robert Hirschfeld, Andreas Polze, Ryszard Kowalczyk, editors, Conference Proceedings NODe 2006, GSEM 2006, Erfurt, Germany, September 18-20, 2006. Volume 88 of LNI, pages 49-64, GI, 2006.

Abstract

Abstract is missing.