Deriving specifications of embeddings in recursive program design
Visualitza/Obre
Estadístiques de LA Referencia / Recolecta
Inclou dades d'ús des de 2022
Cita com:
hdl:2117/110673
Tipus de documentReport de recerca
Data publicació1989
Condicions d'accésAccés obert
Tots els drets reservats. Aquesta obra està protegida pels drets de propietat intel·lectual i
industrial corresponents. Sense perjudici de les exempcions legals existents, queda prohibida la seva
reproducció, distribució, comunicació pública o transformació sense l'autorització del titular dels drets
Abstract
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 efficiency of programs is also discussed.
CitacióRoselló, C., Balcazar, J. L., Peña, R. "Deriving specifications of embeddings in recursive program design". 1989.
Forma partLSI-89-13
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
deriving specifications_complet.pdf | 1,312Mb | Visualitza/Obre |