To access the full text documents, please follow this link: http://hdl.handle.net/2117/110673

Deriving specifications of embeddings in recursive program design
Roselló Balanyà, Celestí; Balcázar Navarro, José Luis; Peña Marí, Ricardo
Universitat Politècnica de Catalunya. Departament de Ciències de la Computació; Facultat d'Informàtica de Barcelona; Universitat Politècnica de Catalunya. LARCA - Laboratori d'Algorísmia Relacional, Complexitat i Aprenentatge
-Àrees temàtiques de la UPC::Informàtica::Programació
-Recursive functions
-Funcions recursives
Article - Published version
Report
         

Show full item record

Related documents

Other documents of the same author

Roselló Balanyà, Celestí; Peña Marí, Ricardo
Tîrnauca, Cristina; Gómez Pérez, Domingo; Balcázar Navarro, José Luis; Montaña Arnaiz, José Luis
Balcázar Navarro, José Luis; Tirnauca, Cristina
Balcázar Navarro, José Luis; Tirnauca, Cristina
 

Coordination

 

Supporters