Abstrakt. I detta dokument undersöker vi källkodsanteckningar ur formell språksynvinkel - vi diskuterar deras abstrakta syntax, konkreta syntax, och semantik, vilket visar överensstämmelsen mellan annoteringar och formella språk. Vi föreslår att en uppsättning av alla kommentarer och deras parametrar som behandlas genom samma referensgenomförande (de tillhör samma domän) ska kallas ett anteckningsbaserat språk. Den utförda analysen pekar också på en specificitet av kommentarer i jämförelse med formella språk i allmänhet - bindningen mellan annoteringar och ett värdspråk. Vi utvecklar denna idé med en analys av noternas potential för språksammansättning, särskilt för ren inbäddning. Vi visar sedan hur ren inbäddning med annoteringar kan användas för språkförenande, språkreferenser i förlängning, och språkförlängning. Detta arbete utgör en grund för ytterligare forskning inom området för källkodsanteckningar inom ramen för formella språk.
Källkod annoteringar kan också betraktas som en DSLs REF.
Language composition using source code annotations
{'venue': 'Comput. Sci. Inf. Syst.', 'journal': 'Comput. Sci. Inf. Syst.', 'mag_field_of_study': ['Computer Science']}