Carregant...
Carregant...

Vés al contingut (premeu Retorn)

Deriving specifications of embeddings in recursive program design

Autor
Roselló, C.; Balcazar, J. L.; Peña, R.
Tipus d'activitat
Document cientificotècnic
Data
1989
Codi
LSI-89-13
Repositori
http://hdl.handle.net/2117/110673 Obrir en finestra nova
Resum
The design of recursive functions is a well-studied subject. Design methods require a specification to start with, however, when an embedding design is attempted at, it is not clear how the specification of the embedding relates to that of the initial function. We propose a method for deriving specifications of embeddings. We show how other known formal methods, such as loop derivation or program transformation, can be related to our method in a clear fashion. The use of embedding to enhance the...
Citació
Roselló, C., Balcazar, J. L., Peña, R. "Deriving specifications of embeddings in recursive program design". 1989.
Grup de recerca
LARCA - Laboratori d'Algorísmia Relacional, Complexitat i Aprenentatge

Participants

Arxius