K este un cadru semantic executabil bazat pe rescriere în care limbajele de programare, sistemele de tip și instrumentele de analiză formală pot fi definite folosind Configurări, calcule și reguli. Configurațiile organizeazăstat în unități numite celule, care sunt etichetate și pot fi imbricate.Calculele poartă semnificație computațională ca liste imbricate specialestructuri secvențializarea sarcinilor computaționale, cum ar fi fragmente de program. Calculele extind sintaxa abstractă a limbii originale.Regulile k (rescrie) explică ce părți ale termenului suntcitiți numai, scrieți numai, citiți-scrieți sau nu vă pasă. Acest makesK potrivit pentru definirea limbilor cu adevărat concurente chiar și în prezența partajării. Calculele sunt ca orice alți termeni din mediul arewriting: pot fi potrivite, mutate dintr-un loc în altul, modificate sau șterse. Acest lucru face k potrivit pentru definireacaracteristici intensive de control, cum ar fi încetarea bruscă, excepții sauapel/cc.
Prezentare generală
- o prezentare de diapozitive video de zece minute.
- un tutorial video de nouăzeci de minute, dat la ETAPS’16.
- un interviu la nivel înalt despre semantica bazată pe rescriere (Wolfram Schulte îl intervievează pe Grigore roșu la ICSE’11.
- Întrebări frecvente
descărcare instrument K
- binarele furnizate instrument K sunt acceptate pe Linux, OS X și Windows. Alte platforme pot sau nu să funcționeze corect. Noi bun venit informații despre gradul de utilizare a platformelor neacceptate sau bug-uri în platformele acceptate.
- încercați pagina noastră de suport Editor pentru link-uri către k sintaxa subliniind definiții pentru diverse editori populare/IDE. Vă rugăm să nu ezitați să contribuie.
- codul sursă (Java) este disponibil pe GitHub, unde puteți raporta și erori (vă rugăm să faceți acest lucru).
aflați K
- Faceți tutorialul K!
- citiți câteva lucrări despre K despre laboratorul de sisteme formale (Fsl).
- documentația utilizatorului
- Builtins
link-uri
- K și pagina web logică de potrivire la UIUC (SUA).
- k pagina web a UAIC (România).
- pagina logică de potrivire la UIUC (SUA).
- canal online de discuții K pentru utilizatorii K (Slack & Riot). Acesta este modul recomandat de a pune întrebări despre K și de a interacționa cu comunitatea K.
- Stackoverflow pentru întrebări generale către comunitatea de utilizatori K (utilizați canalul de mai sus dacă doriți răspunsuri rapide).
