Evaluation of expressions in a multiparadigm framework
Visualitza/Obre
Estadístiques de LA Referencia / Recolecta
Inclou dades d'ús des de 2022
Cita com:
hdl:2117/82431
Tipus de documentReport de recerca
Data publicació1995-03
Condicions d'accésAccés obert
Tots els drets reservats. Aquesta obra està protegida pels drets de propietat intel·lectual i
industrial corresponents. Sense perjudici de les exempcions legals existents, queda prohibida la seva
reproducció, distribució, comunicació pública o transformació sense l'autorització del titular dels drets
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.
CitacióBurgues, X., Franch, X. "Evaluation of expressions in a multiparadigm framework". 1995.
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
R95-35.ps | 113,0Kb | Postscript | Visualitza/Obre |