RT Conference Proceedings
T1 Generic proof scores for the generate & check method in CafeOBJ
A1 Futatsugi, Kokichi
K1 CafeOBJ  (Lenguaje de programación)
AB Generic proof scores for the generate & check method in CafeOBJ are presented. The generic proof scores codify the generate & check method as parameterized modules in the CafeOBJ language independently of specific systems to which the method applies. Proof scores for a specific system can be obtained by substituting the parameter modules of the parameterized modules with the specification modules of the specific system.
YR 2015
FD 2015-03-11
LK http://hdl.handle.net/10630/9421
UL http://hdl.handle.net/10630/9421
LA eng
NO Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech.
DS RIUMA. Repositorio Institucional de la Universidad de Málaga
RD 3 mar 2026