Loading...
Loading...

Go to the content (press return)

Evaluation of expressions in a multiparadigm framework

Author
Burgues, X.; Franch, X.
Type of activity
Report
Date
1995-03
Repository
http://hdl.handle.net/2117/82431 Open in new window
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.
Citation
Burgues, X., Franch, X. "Evaluation of expressions in a multiparadigm framework". 1995.
Group of research
inSSIDE - integrated Software, Service, Information and Data Engineering

Participants

Attachments