The template and multiple inheritance approach into attribute grammars

Formal methods for describing programming language semantics, such as attribute grammars, operational semantics and denotational semantics, are not widely used since they are not modular, extensible and reusable. A novel modular, extensible and reusable approach for specifying programming languages...

Full description

Saved in:
Bibliographic Details
Main Authors: Mernik, M., Lenic, M., Avdicausevic, E., Zumer, V.
Format: Conference Proceeding
Language:English
Subjects:
Computer languages
Computer science
Electrical capacitance tomography
Object oriented programming
Process design
Production
Program processors
Programming environments
Read only memory
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Formal methods for describing programming language semantics, such as attribute grammars, operational semantics and denotational semantics, are not widely used since they are not modular, extensible and reusable. A novel modular, extensible and reusable approach for specifying programming languages with attribute grammars is presented. The concepts from object oriented programming, i.e. templates and multiple inheritance, have been integrated with attribute grammers. A template in attribute grammar is an abstraction of a semantic rule parameterized with attribute occurrences. On the other hand, the whole attribute grammar is a subject of multiple inheritance and specialization. With the proposed approach, a language designer has the chance to design incrementally a language or reuse some fragments from other programming language specifications. Templates and multiple inheritance have been implemented in our compiler generator tool LISA version 2.0.
ISSN:1074-8970
2374-8583
DOI:10.1109/ICCL.1998.674161