Attribute Extension - A Technique for Enforcing Programming Language Conventions

G. Hedin

In Nordic Journal of Computing 4(1997), 93-122


A problem in supporting reusability of software libraries and frameworks is that the programming conventions which need to be followed are only informally described. Safer reuse would result if these conventions could be enforced, preferably at compile time. This paper presents a technique supporting such enforcement. The technique is based on attribute grammars and allows the construction of extensible compilers and checkers.

[Draft in compressed postscript]