129
click to vote
DSL
2009
15 years 26 days ago
2009
We propose a new focus in language design where languages provide constructs that not only describe the computation of results, but also produce explanations of how and why those r...