Abstract syntax driven language development: defining language semantics through aspects

Authors:
Jaroslav Porubän;Miroslav Sabo;Ján Kollár;Marjan Mernik
Affiliations:
Technical University of Košice, Košice, Slovakia;Technical University of Košice, Košice, Slovakia;Technical University of Košice, Košice, Slovakia;University of Maribor, Maribor, Slovenia
Venue:
Proceedings of the International Workshop on Formalization of Modeling Languages
Year:
2010

Citing 10
Cited 0

Semantics with applications: a formal introduction

Semantics with applications: a formal introduction
Attribute grammar paradigms—a high-level methodology in language implementation

ACM Computing Surveys (CSUR)
JastAdd: an aspect-oriented compiler construction system

Science of Computer Programming - Special issue: Language descriptions, tools and applications (LDTA'01)
LISA: An Interactive Environment for Programming Language Development

CC '02 Proceedings of the 11th International Conference on Compiler Construction
Software Factories: Assembling Applications with Patterns, Models, Frameworks, and Tools

Software Factories: Assembling Applications with Patterns, Models, Frameworks, and Tools
When and how to develop domain-specific languages

ACM Computing Surveys (CSUR)
TCS:: a DSL for the specification of textual concrete syntaxes in model engineering

Proceedings of the 5th international conference on Generative programming and component engineering
The Definitive ANTLR Reference: Building Domain-Specific Languages

The Definitive ANTLR Reference: Building Domain-Specific Languages
Domain-specific development with visual studio dsl tools

Domain-specific development with visual studio dsl tools
Making metamodels aware of concrete syntax

ECMDA-FA'05 Proceedings of the First European conference on Model Driven Architecture: foundations and Applications

Quantified Score

Hi-index	0.00

Visualization

Abstract

The paper presents an approach for defining a computer language driven by a language's abstract syntax. The whole process of language specification including abstract syntax, concrete syntax and semantics definition is explained. Particular emphasis is put on language semantics definition and two approaches are introduced in detail -- via annotations and aspects. For this purpose, as the main example used throughout the paper, the DESK language has been selected. A simple approach to semantics definition through semantic methods in the language model is presented. The paper continues with more advanced semantics definition through aspects. As a proof of concept, a short description of the YAJCo experimental research parser generator is given.