K framework

icon indicating a website link http://kframework.org icon indicating an email [email protected]

icon location University of Illinois at Urbana-Champaign and Alexandru Ioan Cuza University of Iasi

Results 11 repositories owned by K framework
trafficstars

java-semantics

17
Stars
9
Forks
Watchers

The semantics of Java in K

verified publisher icon kframework