Please use this identifier to cite or link to this item: http://repositorio.inesctec.pt/handle/123456789/10532
Full metadata record
DC FieldValueLanguage
dc.contributor.authorJosé Nuno Oliveiraen
dc.contributor.other5601en
dc.date.accessioned2019-12-16T14:12:55Z-
dc.date.available2019-12-16T14:12:55Z-
dc.date.issued2018en
dc.identifier.urihttp://repositorio.inesctec.pt/handle/123456789/10532-
dc.identifier.urihttp://dx.doi.org/10.1016/j.jlamp.2017.09.003en
dc.description.abstractThis paper presents a study of the metaphorism pattern of relational specification, showing how it can be refined into recursive programs. Metaphorisms express input-output relationships which preserve relevant information while at the same time some intended optimization takes place. Text processing, sorting, representation changers, etc., are examples of metaphorisms. The kind of metaphorism refinement studied in this paper is a strategy known as change of virtual data structure. By framing metaphorisms in the class of (inductive) regular relations, sufficient conditions are given for such implementations to be calculated using relation algebra. The strategy is illustrated with examples including the derivation of the quicksort and mergesort algorithms, showing what they have in common and what makes them different from the very start of development.en
dc.languageengen
dc.titleProgramming from metaphorismsen
dc.typePublicationen
dc.typearticleen
Appears in Collections:HASLab - Articles in International Journals

Files in This Item:
File Description SizeFormat 
P-00N-FHD.pdf558.62 kBAdobe PDFThumbnail
View/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.