| SPEC - A Unified Approach to Modularity, Parametrisation and Views in Attributations (2007) | |||||||||||||||
Abstract | |||||||||||||||
| ) Burkhart Wolff 1. Introduction This paper is an extended abstract of [Wolff 94a], whose purpose is twofold: Firstly, it attempts to generalise the notion of "attribute grammar" to the concept of attributation as an algebraic specification formalism, which can be used as a meta-language. This view on attributation gives access to well-known powerful structuring mechanisms like parameterisation and implementation, which are studied in detail. Secondly, syntax, static and dynamic semantics of the concrete attributation language SPEC are defined, that implement these concepts. We use specifications in the LCF-like algebraic specification language SPECTRUM [Broy + 92] as abstract interfaces to purely functional programming languages. This paper focuses on the concepts and the foundation of attributation. This has the consequence that SPECTRUM-specifications are used as formal interfaces to the underlying implementations, for which we assume that a formal verification has been established ... | |||||||||||||||
Publication details | |||||||||||||||
| |||||||||||||||