Language support for design patterns using attribute extension

Abstract

This paper presents a technique based on attribute grammars for formalizing design pattern solutions. The technique allows design pattern applications to be identified in the source code, and supports automatic checking that the pattern is applied correctly. We expect the technique to be particularly useful when specializing frameworks built using design patterns.