PLDB Top 1,000 Features Creators Resources Blog Explore Download

k-framework

< >

k-framework is a grammar language created in 2013 by (no author).

Source code:

git clone https://github.com/runtimeverification/k

#1168on PLDB

11Years Old

K Framework Tools 5.0

k-framework website
k-framework is developed on GitHub and has 330 stars
k-framework first developed in Runtime Verification Inc.
kframework.org was registered in 2013

PLDB - Build the next great programming language · About · Acknowledgements · Extensions · Day 624 · feedback@pldb.io