CafeOBJ for real
Using an algebraic specification language as theorem prover for computational reals Lecturer Norbert Preining JAIST, Research Center for Software Verification, Japan Place/Time CCA 2015 Twelfth International Conference on Computability and Complexity in Analysis 2015-07-15, Tokyo, Japan. Abstract CafeOBJ is a many- and order-sorted algebraic specification language from the OBJ family, […]