4 ms·
There is also the K framework, where C semantics were specified and an interpreter is generated. http://www.kframework.org/index.php/Chucky_Ellison http://www.
by qznc 10y ago
There is also the K framework, where C semantics were specified and an interpreter is generated.
http://www.kframework.org/index.php/Chucky_Ellison http://www.kframework.org/index.php/Chucky_Ellison
- mafribe 10y agoDoes this handles concurrency properly?
- nickpsecurity 10y agoI didn't even see you beat me to it. You should also link to KCC when you bring it up. Developers love practical stuff they can download and use to their benefit. :) https://news.ycombinator.com/item?id=14012891 https://news.ycombinator.com/item?id=14012891