We propose a method to detect invalid combinations between layers that occur at runtime using static analysis.
even though several COP languages activate layers in disciplined manners, e.g., using scoping (6) or composite layers (5; 11), such activation mechanisms do not prohibit layer activation that is mistakenly specified by the programmer.