K Er et omskrivningsbasert semantisk rammeverk der programmeringsspråk, typesystemer og formelle analyseverktøy kan defineres ved hjelp avkonfigurasjoner, beregninger og regler. Konfigurasjoner organiseretilstand i enheter kalt celler, som er merket og kan nestes.Beregninger bære beregnings betydning som spesiell nestet listestrukturer sekvensialisere beregningsoppgaver, for eksempel fragmenter avprogram. Beregninger utvide originalspråket abstrakt syntaks.K (rewrite) regler gjør det eksplisitt hvilke deler av begrepet theyread-only, write-only, read-write, eller ikke bryr seg om. Dette makesK egnet for å definere virkelig samtidige språk selv in thetilstedeværelse av deling. Beregninger er som alle andre vilkår i arewriting miljø: de kan matches, flyttes fra ett sted til en annen, endret eller slettet. Dette gjør K egnet for definingcontrol-intensive funksjoner som brå avslutning, unntak orcall/cc.
Oversikt
- en ti minutters oversikt video lysbildepresentasjon.
- en nitti minutters opplæringsvideo, gitt PÅ ETAPS ‘ 16.
- et høynivåintervju om omskrivningsbasert semantikk (Wolfram Schulte intervjuer Grigore Rosu PÅ ICSE’11.
- VANLIGE spørsmål
K-Verktøynedlasting
- de medfølgende k-verktøybinærfilene støttes På Linux, OS X og Windows. Andre plattformer kan eller ikke fungerer riktig. Vi tar gjerne imot informasjon om brukbarheten av ustøttede plattformer eller feil i de støttede plattformene.
- Prøv Vår Redaktør Støtteside for koblinger Til k syntax highlighting definisjoner for ulike populære redaktører / Ideer. Føl deg fri til å bidra.
- kildekoden (Java) er tilgjengelig På GitHub, hvor du også kan rapportere feil(vennligst gjør det).
Lær K
- Gjør K Opplæringen!
- Les noen artikler Om K på Formal Systems Laboratory (FSL).
- brukerdokumentasjon
- Builtins
Lenker
- k Og matchende logikk nettside PÅ UIUC (USA).
- k nettside PÅ UAIC (Romania).
- Matchende logikk nettside PÅ UIUC (USA).
- Online K Diskusjonskanal For k brukere (Slack & Opprør). Dette er den anbefalte måten å stille spørsmål Om K og samhandle Med k samfunnet.
- Stackoverflow for generelle spørsmål Til k-brukersamfunnet (bruk kanalen ovenfor hvis du vil ha raske svar).
