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.

UPCommons. Portal del coneixement obert de la UPC