Contains fulltext : 84490_aut.pdf (author's version ) (Open Access) Contains fulltext : 84490_pub.pdf (publisher's version ) (Open Access)International Conference on Principles and Pratices of Constraint Programming (CP'95
Abstract. The idea of constraint based program analysis is to translate a given program into a set o...
Abstract. We propose a new constraint-based approach to termination analysis, applicable to Logic Pr...
In this paper, we present a new approach to termination analysis of CHR which is applicable to a muc...
In this paper, we introduce a method for proving universal termination of constraint logic programs ...
www.informatik.uni-muenchen.de/~fruehwir/ Abstract. We adapt and extend existing approaches to termi...
The Constraint Logic Programming (CLP) Scheme merges logic programming with constraint solving over ...
Current norm-based automatic termination analysis techniques for logic programs can be split up into...
This paper introduces a necessary and sufficient condition for termination of constraint logic progr...
Contains fulltext : 84491.pdf (author's version ) (Open Access)International Logic...
Constraint Handling Rules (CHR) [8] is a high-level programming language, designed for the easy impl...
Contains fulltext : 84495.pdf (publisher's version ) (Open Access)30 p
We propose a constraint-based approach towards automated termination analysis of Constraint Handling...
A recent review [109] of an introductory book on CLP [124] succeeds in our view to describe the esse...
This paper describes a computer-aided constraint programming system. Traditional Constraint Programm...
There has been a lot of interest lately from people solving constrained optimization problems for co...
Abstract. The idea of constraint based program analysis is to translate a given program into a set o...
Abstract. We propose a new constraint-based approach to termination analysis, applicable to Logic Pr...
In this paper, we present a new approach to termination analysis of CHR which is applicable to a muc...
In this paper, we introduce a method for proving universal termination of constraint logic programs ...
www.informatik.uni-muenchen.de/~fruehwir/ Abstract. We adapt and extend existing approaches to termi...
The Constraint Logic Programming (CLP) Scheme merges logic programming with constraint solving over ...
Current norm-based automatic termination analysis techniques for logic programs can be split up into...
This paper introduces a necessary and sufficient condition for termination of constraint logic progr...
Contains fulltext : 84491.pdf (author's version ) (Open Access)International Logic...
Constraint Handling Rules (CHR) [8] is a high-level programming language, designed for the easy impl...
Contains fulltext : 84495.pdf (publisher's version ) (Open Access)30 p
We propose a constraint-based approach towards automated termination analysis of Constraint Handling...
A recent review [109] of an introductory book on CLP [124] succeeds in our view to describe the esse...
This paper describes a computer-aided constraint programming system. Traditional Constraint Programm...
There has been a lot of interest lately from people solving constrained optimization problems for co...
Abstract. The idea of constraint based program analysis is to translate a given program into a set o...
Abstract. We propose a new constraint-based approach to termination analysis, applicable to Logic Pr...
In this paper, we present a new approach to termination analysis of CHR which is applicable to a muc...
DOI
Add to ORKG