K / Runtime Verification Inc

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).

Vélemény, hozzászólás?

Az e-mail-címet nem tesszük közzé.