| http://www.w3.org/ns/prov#value | - editor such as Vim, TextMate, Emacs or Sublime Text for demonstration purposes, but even without this the tool can be demonstrated using reverse literate programming, which Matt can explain more if you are interested.Abstract State Machines (Sloane)Abstract State Machines (http://www.eecs.umich.edu/gasm/) are a formal method for specifying computation and have been applied to a wide range of pro
|
