stilkov’s Twitter Archive—№ 25,598

“K is a rewrite-based executable semantic framework in which programming languages, type systems and formal analysis tools can be defined using configurations, computations and rules.” kframework.org/index.php/Main_Page