Add to ORKGEquality plays an important role in our life, and we practise equational reasoning everyday. We can take advantage of our ability of reasoning with equalities and make explicit the equational reasoning in programming and symbolic computation. Based on this observation we developed an equational programming system called CFLP (Constraint Functional Logic Programming system). We present various examples to show the importance of equations in programming. 1
1 Introduction Programming is difficult, as shown by the fact that debugging a program usually takes...
One of the appeals of pure functional programming is that it is so amenable to equational reasoning....
We provide here a computational interpretation of first-order logic based on a constructive interpre...
Traditional optimizers have viewed imperative functions as a sequence or graph of commands. Some of ...
An \em equational system\/ is a set of equations. Often we are interested in knowing if an equation ...
technical reportThis thesis studies first-order unification in equational theories, called E-unifica...
In 1975 I started a small project to explore the consequences of implementing equational programs wi...
Functional programming is particularly well suited for equational reasoning – referential trans-pare...
Introducing equality into standard Horn clauses leads to a programming paradigm known as Equational ...
AbstractEquational logic programming is an extended programming paradigm of equational programming. ...
In 1975 I started a small project to explore the consequences of implementing equational programs wi...
Abstract. Although functional as well as logic languages use equality to discriminate between logica...
Functional programs are merely equations; they may be manipulated by straightforward equational reas...
AbstractThis paper is a contribution to the amalgamation of logic programming (as embodied in PROLOG...
One of the appeals of pure functional programming is that it is so amenable to equational reasoning....
1 Introduction Programming is difficult, as shown by the fact that debugging a program usually takes...
One of the appeals of pure functional programming is that it is so amenable to equational reasoning....
We provide here a computational interpretation of first-order logic based on a constructive interpre...
Traditional optimizers have viewed imperative functions as a sequence or graph of commands. Some of ...
An \em equational system\/ is a set of equations. Often we are interested in knowing if an equation ...
technical reportThis thesis studies first-order unification in equational theories, called E-unifica...
In 1975 I started a small project to explore the consequences of implementing equational programs wi...
Functional programming is particularly well suited for equational reasoning – referential trans-pare...
Introducing equality into standard Horn clauses leads to a programming paradigm known as Equational ...
AbstractEquational logic programming is an extended programming paradigm of equational programming. ...
In 1975 I started a small project to explore the consequences of implementing equational programs wi...
Abstract. Although functional as well as logic languages use equality to discriminate between logica...
Functional programs are merely equations; they may be manipulated by straightforward equational reas...
AbstractThis paper is a contribution to the amalgamation of logic programming (as embodied in PROLOG...
One of the appeals of pure functional programming is that it is so amenable to equational reasoning....
1 Introduction Programming is difficult, as shown by the fact that debugging a program usually takes...
One of the appeals of pure functional programming is that it is so amenable to equational reasoning....
We provide here a computational interpretation of first-order logic based on a constructive interpre...