3 ms·
If you are interested by uncommon approach to implementing programming language, toy should have a look at the K framework (http://www.kframework.org/index.php/
by Davidbrcz 8y ago
If you are interested by uncommon approach to implementing programming language, toy should have a look at the K framework (http://www.kframework.org/index.php/Main_Page http://www.kframework.org/index.php/Main_Page)
The idea is to write the spec (is grammar and semantics) only once and have for free a compiler as well as some formal tools (model checker,...)
C had been formalized with it for instance.
- tom_mellior 8y agoK is really cool, but does really give you a compiler? That's the first I heard of that. Do you have (a link to) more information about how it does compilation?
- Davidbrcz 8y agoNo sorry, I thought it was a compiler but it's "only" an interpreter.