Add to ORKGPublie dans : Lecture Notes in Computer Science, 631SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 11972 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc
AbstractWe present an overview of some techniques which have been proposed for the transformation of...
Abstract. A technique for transformation f definite logic programs is presented. A first phase perfo...
this paper, from formal specifications one may obtain executable, efficient programs by using techni...
SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 10507 / INIST-CNRS - ...
this paper we will essentially refer to these techniques as they have been developed in the fields o...
SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 12428 / INIST-CNRS - ...
Consiglio Nazionale delle Ricerche - Biblioteca Centrale - P.le Aldo Moro, 7, Rome / CNR - Consiglio...
Consiglio Nazionale delle Ricerche - Biblioteca Centrale - P.le Aldo Moro, 7, Rome / CNR - Consiglio...
10.1145/982158.982160ACM Transactions on Programming Languages and Systems263464-509ATPS
This paper is a contribution to improving computational e fficiency of de nite Prolog programs using...
AbstractWe present an approach to the automatic improvement of performances of logic programs by usi...
Unfold/fold transformations have been studied for various declarative programming languages such as ...
10.1142/S0129054102001175International Journal of Foundations of Computer Science133387-40
SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 12925 / INIST-CNRS - ...
An extension of OLDT based abstract interpretation for definite logic programs i pre-sented. The ext...
AbstractWe present an overview of some techniques which have been proposed for the transformation of...
Abstract. A technique for transformation f definite logic programs is presented. A first phase perfo...
this paper, from formal specifications one may obtain executable, efficient programs by using techni...
SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 10507 / INIST-CNRS - ...
this paper we will essentially refer to these techniques as they have been developed in the fields o...
SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 12428 / INIST-CNRS - ...
Consiglio Nazionale delle Ricerche - Biblioteca Centrale - P.le Aldo Moro, 7, Rome / CNR - Consiglio...
Consiglio Nazionale delle Ricerche - Biblioteca Centrale - P.le Aldo Moro, 7, Rome / CNR - Consiglio...
10.1145/982158.982160ACM Transactions on Programming Languages and Systems263464-509ATPS
This paper is a contribution to improving computational e fficiency of de nite Prolog programs using...
AbstractWe present an approach to the automatic improvement of performances of logic programs by usi...
Unfold/fold transformations have been studied for various declarative programming languages such as ...
10.1142/S0129054102001175International Journal of Foundations of Computer Science133387-40
SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 12925 / INIST-CNRS - ...
An extension of OLDT based abstract interpretation for definite logic programs i pre-sented. The ext...
AbstractWe present an overview of some techniques which have been proposed for the transformation of...
Abstract. A technique for transformation f definite logic programs is presented. A first phase perfo...
this paper, from formal specifications one may obtain executable, efficient programs by using techni...