Carregant...
Carregant...

Vés al contingut (premeu Retorn)

Evaluation of expressions in a multiparadigm framework

Autor
Burgues, X.; Franch, X.
Tipus d'activitat
Document cientificotècnic
Data
1995-03
Repositori
http://hdl.handle.net/2117/82431 Obrir en finestra nova
Resum
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.
Citació
Burgues, X., Franch, X. "Evaluation of expressions in a multiparadigm framework". 1995.
Grup de recerca
GESSI - Grup d'Enginyeria del Software i dels Serveis

Participants

Arxius