Geodesic
Language Composition Using Source Code Annotations
Computer Science and Information Systems, Tome 13 (2016) no. 3.

Voir la notice de l'article provenant de la source Computer Science and Information Systems website

In this paper we examine source code annotations from the viewpoint of formal languages – we discuss their abstract syntax, concrete syntax, and semantics, thus showing the correspondence between annotations and formal languages. We propose to consider a set of all annotations and their parameters processed by the same reference implementation (they belong to the same domain) to be called an annotation-based language. The performed analysis also pinpoints a specificity of annotations in comparison with formal languages in general – the binding between annotations and a host language. We elaborate this idea with an analysis of annotations’ potential for language composition, in particular for pure embedding.We then show how pure embedding with annotations can be used for language unification, language referencing by extension, and language extension. This work provides a basis for further research in the field of source code annotations in the context of formal languages.
Keywords: source code annotations, annotation-based language, language composition, annotation-based language composition, pure embedding 
@article{CSIS_2016_13_3_a3,
     author = {Milan Nos\'al{\textquoteright} and Mat\'u\v{s} Sul{\'\i}r and J\'an Juh\'ar},
     title = {Language {Composition} {Using} {Source} {Code} {Annotations}},
     journal = {Computer Science and Information Systems},
     publisher = {mathdoc},
     volume = {13},
     number = {3},
     year = {2016},
     url = {http://geodesic.mathdoc.fr/item/CSIS_2016_13_3_a3/}
}
TY  - JOUR
AU  - Milan Nosál’
AU  - Matúš Sulír
AU  - Ján Juhár
TI  - Language Composition Using Source Code Annotations
JO  - Computer Science and Information Systems
PY  - 2016
VL  - 13
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/CSIS_2016_13_3_a3/
ID  - CSIS_2016_13_3_a3
ER  - 
%0 Journal Article
%A Milan Nosál’
%A Matúš Sulír
%A Ján Juhár
%T Language Composition Using Source Code Annotations
%J Computer Science and Information Systems
%D 2016
%V 13
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/CSIS_2016_13_3_a3/
%F CSIS_2016_13_3_a3
Milan Nosál’; Matúš Sulír; Ján Juhár. Language Composition Using Source Code Annotations. Computer Science and Information Systems, Tome 13 (2016) no. 3. http://geodesic.mathdoc.fr/item/CSIS_2016_13_3_a3/