k on uudelleenkirjoitettava semanttinen viitekehys, jossa ohjelmointikielet, latomajärjestelmät ja formaalit analyysityökalut voidaan määritellä käyttäen konfiguraatioita, laskelmia ja sääntöjä. Konfiguraatiot järjestävät staatin selleiksi kutsuttuihin yksiköihin,jotka on merkitty ja voidaan sisäkkäin.Laskennat kuljettaa laskennallinen merkitys erityisiä sisäkkäisiä listarakenteet sekventialisoivat laskennallisia tehtäviä, kuten fragments ofprogram. Laskenta laajentaa alkukielen abstraktia syntaksia.K (rewrite) säännöt tekevät selväksi, mitkä osat termin theyreead-only, write-only, read-write, tai eivät välitä. Tämä tekee siitä sopivan todella samanaikaisten kielten määrittelyyn myös jakamisen yhteydessä. Laskutoimitukset ovat kuin kaikki muut termit kirjoitusympäristössä: ne voidaan sovittaa yhteen, siirtää paikasta toiseen, muokata tai poistaa. Tämä tekee K: sta sopivan määritysohjausintensiivisille ominaisuuksille, kuten äkilliselle päättymiselle, poikkeuksille tai Call/cc: lle.
yleiskatsaus
- kymmenminuuttinen yleiskuva videolevyesitys.
- yhdeksänkymmenminuuttinen opetusvideo, joka esitettiin ETAPS-tapahtumassa 16.
- a high-level interview about rewrite-based semantics (Wolfram Schulte interviews Grigore Rosu at ICSE’11.
- FAQ
K-työkalun lataus
- toimitetut k-työkalun binäärit ovat tuettuja Linuxissa, OS X: ssä ja Windowsissa. Muut alustat voivat toimia tai eivät toimi oikein. Pidämme myönteisenä tietoa tuettujen alustojen käytettävyydestä tai tuettujen alustojen bugeista.
- kokeile Editorin Tukisivua, jossa on linkkejä k-syntaksin korostusmäärityksiin eri suosituille editoreille / IDE: ille. Voit vapaasti osallistua.
- lähdekoodi (Java) on saatavilla GitHubissa, jossa voit myös ilmoittaa bugeista (tee niin).
Opi K
- tee K-opetusohjelma!
- lue joitakin kirjoituksia K: sta Formal Systems Laboratoryssa (FSL).
- User documentation
- Builtins
Links
- K and matching logic webpage at UIUC (USA).
- k verkkosivu UAIC: ssa (Romania).
- Matching logic webpage at UIUC (USA).
- verkossa K-keskustelukanava K-käyttäjille (Slack & Riot). Tämä on suositeltava tapa esittää kysymyksiä K: sta ja olla vuorovaikutuksessa k-yhteisön kanssa.
- Stackoverflow yleisissä kysymyksissä k-käyttäjäyhteisölle (käytä yllä olevaa kanavaa, jos haluat nopeita vastauksia).
