Add to ORKGA 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
PIM is an equational logic designed to function as a ``transformational toolkit'' for compilers and ...
We present a practical partial evaluation scheme for multi-paradigm declarative languages combining ...
We propose a technique to help people organize and write complex specifications, exploiting the best...
A variety of disparate methods have traditionally been used to define the execution semantics of pro...
This document presents a method to automatically derive programs in an imperative language from alge...
When programs are intended for parallel execution it becomes critical to determine whether the eval...
An analysis method for specialization of imperative programs is described in this paper. This anal-y...
Algebraic properties such as associativity or distributivity allow the manipulation of a set of math...
The power of a programming language depends to a significant extent on its semantics of expression e...
Expression evaluation in programming languages is normally deterministic; however, if expres- sions ...
Many methods exist to perform program transformations, but most of them are dedicated to few program...
In this paper, we propose a methodology for the step-by-step solution of problems, which can be inco...
This paper presents a simple programming logic LES, which is particularly well suited for reasoning...
This paper presents Merlí, a modular, data-type oriented programming language designed to support a ...
Expression evaluation in programming languages is normally assumed to be deterministic; however, if ...
PIM is an equational logic designed to function as a ``transformational toolkit'' for compilers and ...
We present a practical partial evaluation scheme for multi-paradigm declarative languages combining ...
We propose a technique to help people organize and write complex specifications, exploiting the best...
A variety of disparate methods have traditionally been used to define the execution semantics of pro...
This document presents a method to automatically derive programs in an imperative language from alge...
When programs are intended for parallel execution it becomes critical to determine whether the eval...
An analysis method for specialization of imperative programs is described in this paper. This anal-y...
Algebraic properties such as associativity or distributivity allow the manipulation of a set of math...
The power of a programming language depends to a significant extent on its semantics of expression e...
Expression evaluation in programming languages is normally deterministic; however, if expres- sions ...
Many methods exist to perform program transformations, but most of them are dedicated to few program...
In this paper, we propose a methodology for the step-by-step solution of problems, which can be inco...
This paper presents a simple programming logic LES, which is particularly well suited for reasoning...
This paper presents Merlí, a modular, data-type oriented programming language designed to support a ...
Expression evaluation in programming languages is normally assumed to be deterministic; however, if ...
PIM is an equational logic designed to function as a ``transformational toolkit'' for compilers and ...
We present a practical partial evaluation scheme for multi-paradigm declarative languages combining ...
We propose a technique to help people organize and write complex specifications, exploiting the best...