Mostra el registre d'ítem simple
Evaluation of expressions in a multiparadigm framework
dc.contributor.author | Burgués Illa, Xavier |
dc.contributor.author | Franch Gutiérrez, Javier |
dc.contributor.other | Universitat Politècnica de Catalunya. Departament d'Enginyeria de Serveis i Sistemes d'Informació |
dc.date.accessioned | 2016-02-02T14:22:17Z |
dc.date.available | 2016-02-02T14:22:17Z |
dc.date.issued | 1995-03 |
dc.identifier.citation | Burgues, X., Franch, X. "Evaluation of expressions in a multiparadigm framework". 1995. |
dc.identifier.uri | http://hdl.handle.net/2117/82431 |
dc.description.abstract | A framework that combines imperative programs with algebraic specifications is presented. We focus on an execution mechanism that allows the arbitrary combination of programs and equations, which is based on the evaluation of expressions by means of the transformation of values from data structures to terms and vice versa, using the abstraction function of the implementation. The correctness of the execution procedure follows from a set of basic transformation rules. |
dc.format.extent | 13 p. |
dc.language.iso | eng |
dc.subject | Àrees temàtiques de la UPC::Informàtica |
dc.subject.other | Multiparadigm framework |
dc.subject.other | Software specifications |
dc.title | Evaluation of expressions in a multiparadigm framework |
dc.type | External research report |
dc.rights.access | Open Access |
local.identifier.drac | 1872103 |
dc.description.version | Postprint (published version) |
local.citation.author | Burgues, X.; Franch, X. |
Fitxers d'aquest items
Aquest ítem apareix a les col·leccions següents
-
Reports de recerca [154]
-
Reports de recerca [1.107]