Zobrazeno 1 - 9
of 9
pro vyhledávání: '"Charlier, Baudouin Le"'
Autor:
Charlier, Baudouin Le
This paper presents the main features of a system that aims to transform regular expressions into shorter equivalent expressions. The system is also capable of computing other operations useful for simplification, such as checking the inclusion of re
Externí odkaz:
http://arxiv.org/abs/2307.06436
Autor:
Charlier, Baudouin Le
We present a method to simplify expressions in the context of an equational theory. The basic ideas and concepts of the method have been presented previously elsewhere but here we tackle the difficult task of making it efficient in practice, in spite
Externí odkaz:
http://arxiv.org/abs/2003.06203
Making a Prolog program more efficient by transforming its source code, without changing its operational semantics, is not an obvious task. It requires the user to have a clear understanding of how the Prolog compiler works, and in particular, of the
Externí odkaz:
http://arxiv.org/abs/0710.5895
Environments for systematic construction of logic programs are needed in the academy as well as in the industry. Such environments should support well defined construction methods and should be able to be extended and interact with other programming
Externí odkaz:
http://arxiv.org/abs/cs/0111041
Many abstract interpretation frameworks and analyses for Prolog have been proposed, which seek to extract information useful for program optimization. Although motivated by practical considerations, notably making Prolog competitive with imperative l
Externí odkaz:
http://arxiv.org/abs/cs/0010028
Publikováno v:
In Science of Computer Programming 2000 38(1):27-71
Publikováno v:
Computer Security - ESORICS 92; 1992, p435-450, 16p
Publikováno v:
Theory and Practice of Logic Programming; January 2002, Vol. 2 Issue: 1 p25-84, 60p
ispartof: pages:39-51 ispartof: Proceedings of the 5th Workshop on Logic Programming Environments (LPE 1993) pages:39-51 ispartof: Workshop on Logic Programming Environments (LPE 1993) location:Vancouver, Canada date:29 Oct - 30 Oct 1993 status: publ
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::e7de43a6040feca1ab71203d2a5d457c
https://lirias.kuleuven.be/handle/123456789/628317
https://lirias.kuleuven.be/handle/123456789/628317