Source code annotations as formal languages
Attribute-oriented programming (source code annotations) is a program level marking technique that enables enrichment of program elements with custom metadata. In this paper we hypothesize that there is a correspondence between source code annotations and conventional formal languages in general. We...
Saved in:
| Published in: | 2015 Federated Conference on Computer Science and Information Systems (FedCSIS) Vol. 5; pp. 953 - 964 |
|---|---|
| Main Authors: | , , |
| Format: | Conference Proceeding Journal Article |
| Language: | English |
| Published: |
Polish Information Processing Society (PIPS)
01.09.2015
Polish Information Processing Society |
| Subjects: | |
| ISSN: | 2300-5963 |
| Online Access: | Get full text |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Summary: | Attribute-oriented programming (source code annotations) is a program level marking technique that enables enrichment of program elements with custom metadata. In this paper we hypothesize that there is a correspondence between source code annotations and conventional formal languages in general. We analyze our observations about source code annotations from three aspects of language description: concrete syntax, abstract syntax, and semantics. The discussion provides evidence of the hypothesized correspondence and we use it as a basis for our definition of an annotation-based language (abbreviated: @L). However, the analysis also shows that compared to conventional formal languages, source code annotations have some specificities mainly connected to their binding to host program elements. The presented analysis contributes to the field of attribute-oriented programming by discussing the relationship between annotations and conventional formal languages, and by surveying relational idioms in annotations' usage that can be inspirational for annotations' authors. |
|---|---|
| ISSN: | 2300-5963 |
| DOI: | 10.15439/2015F173 |