PLDB Measures Concepts

k-framework

< >

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

Source code:

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

#1240on 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 · Search · Add Language · Features · Creators · Resources · About · Blog · Acknowledgements · Queries · Stats · Sponsor · Day 605 · feedback@pldb.io · Logout