a K egy rewrite-basedexecutable szemantikai keretrendszer, amelyben programozási nyelvek, típusrendszerek és formális elemzési eszközök definiálhatók konfigurációk, számítások és szabályok segítségével. A konfigurációk az állapotot celláknak nevezett egységekbe szervezik, amelyek címkével vannak ellátva és beágyazhatók.A számítások számítási jelentést hordoznak, mint speciális beágyazott listaszerkezetek, amelyek szekvenálják a számítási feladatokat, például a Program töredékeit. A számítások kiterjesztik az eredeti nyelv absztrakt szintaxisát.A K (rewrite) szabályok egyértelművé teszik, hogy a kifejezés mely részei csak olvashatók, csak írhatók, olvashatók, vagy nem törődnek velük. Ez a makesK alkalmas arra, hogy valóban párhuzamos nyelveket határozzon meg még a megosztás jelenlétében is. A számítások olyanok, mint bármely más kifejezés az arewriting környezetben: illeszthetők, áthelyezhetők egyik helyről a másikra, módosíthatók vagy törölhetők. Ez K – t alkalmassá teszi az olyan vezérlésigényes funkciók meghatározására, mint a hirtelen megszűnés, kivételek vagyhívás/cc.
áttekintés
- tíz perces áttekintés videó diavetítés.
- a kilencven perces bemutató videó, adott ETAPS’16.
- magas szintű interjú az átíráson alapuló szemantikáról (Wolfram Schulte interjút készít Grigore Rosu-val az ICSE’11-en.
- GYIK
K Eszköz letöltése
- a mellékelt k eszköz bináris fájlok Linux, OS X és Windows rendszeren támogatottak. Előfordulhat, hogy más platformok nem működnek megfelelően. Üdvözöljük a nem támogatott platformok vagy a támogatott platformok hibáinak használhatóságával kapcsolatos információkat.
- próbálja ki a szerkesztő támogatási oldalunkat a K szintaxiskiemelési definíciók linkjeihez a különböző népszerű szerkesztők/ide-k számára. Kérjük, bátran járuljon hozzá.
- a forráskód (Java) elérhető a Githubon, ahol hibákat is bejelenthet (kérjük, tegye meg).
tanulni K
- nem a K bemutató!
- olvassa el a K-ról szóló néhány cikket a formális rendszerek laboratóriumában (FSL).
- Felhasználói dokumentáció
- Builtins
linkek
- K és a megfelelő Logikai weboldal az UIUC-nál (USA).
- k weboldal az UAIC-nál (Románia).
- megfelelő Logikai weboldal az UIUC-nál (USA).
- Online K beszélgetési csatorna K felhasználók számára (Slack & Riot). Ez az ajánlott módja annak, hogy kérdéseket tegyünk fel a K-ról és kapcsolatba lépjünk a K közösséggel.
- Stackoverflow általános kérdések a K felhasználói közösséghez (használja a fenti csatornát, ha gyors válaszokat szeretne).