K er en omskrivningsbaseret udførlig semantisk ramme, hvor programmeringssprog, typesystemer og formelle analyseværktøjer kan defineres ved hjælp afkonfigurationer, beregninger og regler. Konfigurationer organiser dentilstand i enheder kaldet celler, som er mærket og kan indlejres.Beregninger bærer beregningsbetydning som speciel indlejret listestrukturer, der sekventialiserer beregningsopgaver, såsom fragmenter afprogram. Beregninger udvider originalsproget abstrakt syntaks.K (omskrivning) regler gør det eksplicit, hvilke dele af udtrykket de erlæs kun, skriv kun, Læs-Skriv eller er ligeglad med. Dette gør det egnet til at definere virkelig samtidige sprog, selv i nærvær af deling. Beregninger er som alle andre udtryk iskrivningsmiljø: de kan matches, flyttes fra et sted til et andet, ændret eller slettet. Dette gør K egnet til definingcontrol-intensive funktioner såsom abrupt opsigelse, undtagelser orcall/cc.
oversigt
- en ti-minutters oversigt video slide præsentation.
- en halvfems minutters tutorial video, givet på etaps’16.
- en samtale på højt niveau om omskrivningsbaseret semantik (Volfram Schulte samtaler Grigore Rosu på ICSE’11.
- ofte stillede spørgsmål
K Tool Hent
- de medfølgende k tool binaries understøttes på Andre platforme fungerer muligvis ikke korrekt. Vi glæder os over oplysninger om anvendeligheden af ikke-understøttede platforme eller fejl i de understøttede platforme.
- prøv vores Editor Support side for links til K syntaksfremhævning definitioner for forskellige populære redaktører/ide ‘ er. Du er velkommen til at bidrage.
- kildekoden (Java) er tilgængelig på GitHub, hvor du også kan rapportere fejl (gør det venligst).
Lær K
- gør K Tutorial!
- læs nogle papirer om K på det formelle Systemlaboratorium (FSL).
- brugerdokumentation
- Builtins
Links
- K og matchende logik hjemmeside på UIUC (USA).
- K hjemmeside på Uaic (Rumænien).
- matchende logik hjemmeside på UIUC (USA).
- online K Diskussionskanal for K brugere (Slack & optøjer). Dette er den anbefalede måde at stille spørgsmål om K og interagere med K-samfundet.
- Stackoverløb til generelle spørgsmål til K-brugerfællesskabet (brug kanalen ovenfor, hvis du vil have hurtige svar).
