Generic proof scores for the generate & check method in CafeOBJ

dc.contributor.author	Futatsugi, Kokichi
dc.date.accessioned	2015-03-11T13:31:11Z
dc.date.available	2015-03-11T13:31:11Z
dc.date.created	2015-03-10
dc.date.issued	2015-03-11
dc.identifier.uri	http://hdl.handle.net/10630/9421
dc.description.abstract	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.	es_ES
dc.description.sponsorship	Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech.	es_ES
dc.language.iso	eng	es_ES
dc.rights	info:eu-repo/semantics/openAccess	es_ES
dc.subject	CafeOBJ (Lenguaje de programación)	es_ES
dc.title	Generic proof scores for the generate & check method in CafeOBJ	es_ES
dc.type	info:eu-repo/semantics/conferenceObject	es_ES
dc.centro	E.T.S.I. Informática	es_ES
dc.relation.eventtitle	Conferencia	es_ES
dc.relation.eventplace	Málaga	es_ES
dc.relation.eventdate	10/3/2015	es_ES