AbstractAn algebraic programming system (APS) integrates four main paradigms of computations: procedural, functional, algebraic (rewriting rules) and logical. All of them may be used in different combinations at different levels of implementation. Formal models used in the developing computational techniques for APS are presented and discussed. These include data structures, algebraic modules, rewriting and computing, canonical forms, tools for building strategies and data types
We introduce algorithmic logic - an algebraic approach according to [25]. It is done in three stages...
. This paper reports on successful application of algebraic ideas to the formal development of softw...
AMPL is a language and environment for expressing and manipulating mathematical programming problems...
AbstractAn algebraic programming system (APS) integrates four main paradigms of computations: proced...
Algebraic structures are a concept from mathematics to bring sets and their operations together. Thi...
An algebraic programming system is a language built from a fixed algebraic data abstraction and a se...
In calculational program design one derives implementations from specifications using semantics-pres...
We compare and contrast several techniques for the implementation ofcomponents of an algebraic manip...
. This paper describes the efficient integration of the functional, logic and constraint paradigms i...
New methodological aspects related to design and implementation of symbolic computation systems are ...
Abstract. The development of a language for algebraic computation actually needs a specific computat...
Computational implementations are special relations between what is computed and what computes it. T...
Abstract:- This paper is an approach methodology of programming language, considerate like a tuple L...
The main ideas underlying work on the model-theoretic foundations of algebraic specification and for...
Abstract: The main ideas underlying work on the model-theoretic foundations of algebraic specificati...
We introduce algorithmic logic - an algebraic approach according to [25]. It is done in three stages...
. This paper reports on successful application of algebraic ideas to the formal development of softw...
AMPL is a language and environment for expressing and manipulating mathematical programming problems...
AbstractAn algebraic programming system (APS) integrates four main paradigms of computations: proced...
Algebraic structures are a concept from mathematics to bring sets and their operations together. Thi...
An algebraic programming system is a language built from a fixed algebraic data abstraction and a se...
In calculational program design one derives implementations from specifications using semantics-pres...
We compare and contrast several techniques for the implementation ofcomponents of an algebraic manip...
. This paper describes the efficient integration of the functional, logic and constraint paradigms i...
New methodological aspects related to design and implementation of symbolic computation systems are ...
Abstract. The development of a language for algebraic computation actually needs a specific computat...
Computational implementations are special relations between what is computed and what computes it. T...
Abstract:- This paper is an approach methodology of programming language, considerate like a tuple L...
The main ideas underlying work on the model-theoretic foundations of algebraic specification and for...
Abstract: The main ideas underlying work on the model-theoretic foundations of algebraic specificati...
We introduce algorithmic logic - an algebraic approach according to [25]. It is done in three stages...
. This paper reports on successful application of algebraic ideas to the formal development of softw...
AMPL is a language and environment for expressing and manipulating mathematical programming problems...
DOI
Add to ORKG