Add to ORKG[Logics and Meanings of Programs] Specifying and Verifying and Reasoning about Programs
Program analysis and specialisation for declarative languages have been subjects of active research ...
This chapter addresses the integration of constraints and search into programming lan-guages from th...
Declarative programming languages base on the idea that programs should be as close as possible to t...
This paper presents an algorithm for executing formal specifications, and a proof of the soundness o...
Constraint Programming represents one of the closest approaches computer science has yet made to the...
Constraints support a programming style featuring declarative description and effective solving of s...
We survey some general principles and methodologies for program analysis and verification. In partic...
AbstractWe present a goal-independent abstract interpretation framework for constraint logic program...
AbstractThe Constraint Logic Programming (CLP) Scheme was introduced by Jaffar and Lassez. The schem...
This short note aims to present foundations for constraint logic programming. By logic programming, ...
. In this paper a method is proposed for carrying out analysis of imperative programs. We achieve th...
Logic programs are an important knowledge representation tool. In many cases, definite logic program...
Abstract. This paper briefly describes the use of the program transformation methodology for the dev...
Abstract—Rule-based programming has been gaining interest in the industry for several years, through...
There has been a lot of interest lately from people solving constrained optimization problems for co...
Program analysis and specialisation for declarative languages have been subjects of active research ...
This chapter addresses the integration of constraints and search into programming lan-guages from th...
Declarative programming languages base on the idea that programs should be as close as possible to t...
This paper presents an algorithm for executing formal specifications, and a proof of the soundness o...
Constraint Programming represents one of the closest approaches computer science has yet made to the...
Constraints support a programming style featuring declarative description and effective solving of s...
We survey some general principles and methodologies for program analysis and verification. In partic...
AbstractWe present a goal-independent abstract interpretation framework for constraint logic program...
AbstractThe Constraint Logic Programming (CLP) Scheme was introduced by Jaffar and Lassez. The schem...
This short note aims to present foundations for constraint logic programming. By logic programming, ...
. In this paper a method is proposed for carrying out analysis of imperative programs. We achieve th...
Logic programs are an important knowledge representation tool. In many cases, definite logic program...
Abstract. This paper briefly describes the use of the program transformation methodology for the dev...
Abstract—Rule-based programming has been gaining interest in the industry for several years, through...
There has been a lot of interest lately from people solving constrained optimization problems for co...
Program analysis and specialisation for declarative languages have been subjects of active research ...
This chapter addresses the integration of constraints and search into programming lan-guages from th...
Declarative programming languages base on the idea that programs should be as close as possible to t...