dc.contributor
Universitat Politècnica de Catalunya. Departament d'Enginyeria de Serveis i Sistemes d'Informació
dc.contributor.author
Burgués Illa, Xavier
dc.contributor.author
Franch Gutiérrez, Javier
dc.identifier
Burgues, X., Franch, X. "Evaluation of expressions in a multiparadigm framework". 1995.
dc.identifier
https://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.description.abstract
Postprint (published version)
dc.format
application/postscript
dc.subject
Àrees temàtiques de la UPC::Informàtica
dc.subject
Multiparadigm framework
dc.subject
Software specifications
dc.title
Evaluation of expressions in a multiparadigm framework
dc.type
External research report
