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...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:2015 Federated Conference on Computer Science and Information Systems (FedCSIS) Ročník 5; s. 953 - 964
Hlavní autoři: Nosal, Milan, Sulir, Matus, Juhar, Jan
Médium: Konferenční příspěvek Journal Article
Jazyk:angličtina
Vydáno: Polish Information Processing Society (PIPS) 01.09.2015
Polish Information Processing Society
Témata:
Concrete
Java
Programming
Semantics
Syntactics
ISSN:2300-5963
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí: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