Machine readable specifications
jmdyck at ibiblio.org
Fri Mar 22 15:15:18 PDT 2013
Andreas Rossberg wrote:
> FWIW, there are at least two serious efforts of actually formalising
> is a much more interesting endeavor.
Could you give (or point me to) details of these projects?
I've done some work along these lines (though I'm not sure it qualifies
as "serious"), so I'm wondering if I'm just reinventing the work of
More information about the es-discuss