ListarLCC - Conferencias Científicas por tema "CafeOBJ (Lenguaje de programación)"
Mostrando ítems 1-1 de 1
-
Generic proof scores for the generate & check method in CafeOBJ
(2015-03-11)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 ...