| Document Date: 2014-05-18 16:53:02
Open Document File Size: 246,77 KBShare Result on Facebook
City College Station / Davenport / Edinburgh / / Company Poly/ML Systems / USA 2 Prolingua Ltd / SemiGroup / Computer Laboratory / / Country Scotland / / Facility Texas A&M University / Cambridge University / Computer Laboratory / Standard Basis Library / / IndustryTerm base runtime systems / algebra systems / abstraction tools / cross-cutting technology reuse / translation algorithm / external communication protocols / runtime systems / communication protocol / OIL expression objects / translation algorithms / associative operator / generic algorithms / algebraic algorithms / / OperatingSystem Dos / / Organization Cambridge University / Texas A&M University / U.S. Securities and Exchange Commission / / Person David Matthews / Larry Paulson / / Position proof assistant / second author / / Product Isabelle / / ProgrammingLanguage NIL / Standard ML / Lisp / ML / / Technology communication protocol / translation algorithm / operating systems / external communication protocols / translation algorithms / /
SocialTag |
Retargeting OpenAxiom to Poly/ML: Towards an Integrated Proof Assistants and Computer Algebra System Framework Gabriel Dos Reis1 , David Matthews2 , and Yue Li1 1