2026-04-13T18:44:05Zhttps://recercat.cat/oai/request

oai:recercat.cat:2117/824312025-07-17T09:36:53Zcom_2072_1033col_2072_452950

Evaluation of expressions in a multiparadigm framework Burgués Illa, Xavier Franch Gutiérrez, Javier Universitat Politècnica de Catalunya. Departament d'Enginyeria de Serveis i Sistemes d'Informació Àrees temàtiques de la UPC::Informàtica Multiparadigm framework Software specifications 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. Postprint (published version) 1995-03 External research report Burgues, X., Franch, X. "Evaluation of expressions in a multiparadigm framework". 1995. https://hdl.handle.net/2117/82431 eng Open Access 13 p. application/postscript