Found 1 document(s)
Page 1 of 1
-
elan\ implements computational systems, a concept that combines rewriting logic with the powerful description of rewriting strategies. \elan\ can be used either as a logical framework or to describe and execute determini...