Generic proof scores for the generate & check method in CafeOBJ

Simple item page
dc.centroE.T.S.I. Informáticaes_ES
dc.contributor.authorFutatsugi, Kokichi
dc.date.accessioned2015-03-11T13:31:11Z
dc.date.available2015-03-11T13:31:11Z
dc.date.created2015-03-10
dc.date.issued2015-03-11
dc.departamentoLenguajes y Ciencias de la Computación
dc.description.abstractGeneric 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.sponsorshipUniversidad de Málaga. Campus de Excelencia Internacional Andalucía Tech.es_ES
dc.identifier.urihttp://hdl.handle.net/10630/9421
dc.language.isoenges_ES
dc.relation.eventdate10/3/2015es_ES
dc.relation.eventplaceMálagaes_ES
dc.relation.eventtitleConferenciaes_ES
dc.rights.accessRightsopen accesses_ES
dc.subjectCafeOBJ (Lenguaje de programación)es_ES
dc.titleGeneric proof scores for the generate & check method in CafeOBJes_ES
dc.typeconference outputes_ES
dspace.entity.typePublication

Files

Original bundle

Now showing 1 - 1 of 1
Thumbnail Image
Name:
Futatsugi.txt
Size:
2.59 KB
Format:
Plain Text
Download

Collections

Ponencias, Comunicaciones a congresos y Pósteres