K is een op herschrijven gebaseerd uitvoerbaar semantisch kader waarin programmeertalen, typesystemen en formele analyse-instrumenten kunnen worden gedefinieerd met behulp vanconfiguraties, berekeningen en regels. Configuraties organiseren thestate in eenheden genaamd cellen, die zijn gelabeld en kunnen worden genest.Berekeningen dragen computationele betekenis als speciale geneste lijststructuren sequentialiseren computationele taken, zoals fragmenten van programma. Berekeningen breiden de oorspronkelijke taal abstracte syntaxis.K (herschrijven) regels maken het expliciet welke delen van de term ze lezen – alleen, schrijven-alleen, lezen-schrijven, of niet schelen. Dit maakt k geschikt voor het definiëren van echt parallelle talen, zelfs in de aanwezigheid van delen. Berekeningen zijn net als alle andere termen in een schrijvende omgeving: ze kunnen worden gematched, verplaatst van de ene plaats naar de andere, gewijzigd of verwijderd. Dit maakt K geschikt voor het definiëren van control-intensieve functies zoals abrupte beëindiging, uitzonderingen of call/cc.
overzicht
- een overzichtsvideo-diapresentatie van tien minuten.
- een instructievideo van negentig minuten, gegeven op ETAPS ‘ 16.Een interview op hoog niveau over op herschrijven gebaseerde semantiek (Wolfram Schulte interviewt Grigore Rosu op ICSE ‘ 11.
- FAQ
K Tool Download
- de meegeleverde K tool binaire bestanden worden ondersteund op Linux, OS X en Windows. Andere platforms kunnen wel of niet correct werken. We zijn blij met informatie over de bruikbaarheid van niet-ondersteunde platforms of bugs in de ondersteunde platforms.
- Probeer onze Editor Support pagina voor links naar K syntaxis highlighting definities voor verschillende populaire editors/IDEs. Voel je vrij om bij te dragen.
- de broncode (Java) is beschikbaar op GitHub, waar u ook bugs kunt rapporteren (doe dit alstublieft).
leer K
- doe de K Tutorial!
- lees enkele artikelen over K over het Formal Systems Laboratory (FSL).
- gebruikersdocumentatie
- Builtins
Links
- K and matching logic webpage at UIUC (USA).
- K webpagina in UAIC (Roemenië).
- Matching logic webpagina at UIUC (USA).
- Online K Discussiekanaal voor K-gebruikers (Slack & Riot). Dit is de aanbevolen manier om vragen te stellen over K en interactie met de k gemeenschap.
- Stackoverflow voor algemene vragen aan de k-gebruikersgemeenschap (gebruik het bovenstaande kanaal als u snelle antwoorden wilt).
