Sciweavers

RELMICS
2015
Springer

Metaphorisms in Programming

7 years 11 months ago
Metaphorisms in Programming
This paper introduces the metaphorism pattern of relational specification and addresses how specification following this pattern 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 proposed in this paper is a strategy known as change of virtual data structure. It gives sufficient conditions for such implementations to be calculated using relation algebra and illustrates the strategy with the derivation of quicksort as example.
José N. Oliveira
Added 17 Apr 2016
Updated 17 Apr 2016
Type Journal
Year 2015
Where RELMICS
Authors José N. Oliveira
Comments (0)