Name
Abstract | ||
|---|---|---|
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. In the paper a new 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 grammars. 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 ver. 2.0 |
Year | DOI | Venue |
|---|---|---|
1998 | 10.1109/ICCL.1998.674161 | ICCL |
Keywords | Field | DocType |
multiple inheritance approach,programming language semantics,attribute grammars,denotational semantics,object-oriented programming,programming language specification,whole attribute grammar,programming language,multiple inheritance,language designer,attribute occurrence,attribute grammar,template,programming languages,read only memory,computer science,formal method,production,process design,computer languages,high level languages,formal methods,object oriented programming,operational semantics | Attribute grammar,Programming language,Computer science,Theoretical computer science,Natural language processing,Artificial intelligence,Operational semantics,L-attributed grammar,Object-oriented programming,Denotational semantics,Compiler,High-level programming language,Multiple inheritance | Conference |
ISBN | Citations | PageRank |
0-8186-8454-2 | 7 | 0.88 |
References | Authors | |
10 | 4 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Marjan Mernik | 1 | 3256 | 154.23 |
| mitja lenic | 2 | 126 | 12.16 |
| E. Avdicausevic | 3 | 7 | 0.88 |
| Viljem Zumer | 4 | 268 | 21.78 |