Abstrakt. Modulalitet har erkänts som en problematisk fråga om programmering av språksemantik, och olika semantiska ramar har utformats med den i åtanke. Återanvändbarhet är en annan önskvärd egenskap som, även om den inte är densamma som modularitet, kan aktiveras av den. K-ramverket, baserat på Rewriting Logic, har bra modulärt stöd, men återanvändning av specifikationer är inte lika väl utvecklad. PLanComps-projektet utvecklar ett ramverk som ger en öppen samling av återanvändbara komponenter för semantisk specificering. Varje komponent art en enda grundläggande programmering konstruktion, eller funcon ". Semantiken av konkreta programmeringsspråk konstruktioner ges genom att översätta dem till kombinationer av funcons. I detta dokument visar vi hur detta komponentbaserade tillvägagångssätt kan integreras sömlöst med K-ramverket. Vi ger en komponentbaserad denition av CinK (en liten delmängd av C ++ ), med hjälp av K att denne dess översättning till funcons samt (dynamiska) semantik av funcons själva.
Kombinationen av komponentbaserad semantik och K i REF ger verkligen ett kraftfullt verktyg för språksemantikbeskrivningar.
FunKons: Component-Based Semantics in K
{'venue': 'WRLA', 'journal': None, 'mag_field_of_study': ['Computer Science']}