Browsing Ciencias de la Computación e Inteligencia Artificial by Subject "Abstract stobjs"
Now showing items 1-1 of 1
-
Presentation
Using Abstract Stobjs in ACL2 to Compute Matrix Normal Forms
(Springer, 2017)We present here an application of abstract single threaded objects (abstract stobjs) in the ACL2 theorem prover, to define ...