Daily Archives: June 6, 2015

CafeOBJ as symbolic and algebraic computation engine

Lecturer Norbert Preining JAIST, Research Center for Software Verification, Japan Place/Time 日本数式処理学会 第24回大会 (24. Annual Meeting of the Japan Society for Symbolic and Algebraic Computation) 2015-06-16, Tsukuba University, Tsukuba, Japan. Abstract CafeOBJ is an algebraic specification language based on equational order-sorted logic, which incorporates rewriting logic and hidden algebras. What […]