Attribute Extension - A Technique for Enforcing Programming Language Conventions. Abstract

Attribute Extension - A Technique for Enforcing Programming Language Conventions

G. Hedin

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

Abstract

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]