CLP(R)

Known as: CLP, Constraint logic programming (Real)

CLP(R) is a declarative programming language. It stands for Constraint logic programming (Real) where real refers to the real numbers. It can be…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2007

As a logic programming language, Prolog has shortcomings. One of the most serious of these is in arithmetic. CLP(R), though a…

2004

Theoretical issues of computer science are traditionally taught in a way that presupposes a solid mathematical background and are…

2001

Approximate matching techniques based on string alignment are important tools for investigating similarities between strings…

1998

1996

Stan is an implementation of a static analysis for CLP ({ie383-02}) based on abstract interpretation. The semantics of the…

1995

The event-scheduling view of the discrete-event simulation technique is widely used to model and simulate dynamic systems. This…

1993

Constraint logic programming (CLP) languages allow natural and concise programming with constraints. In executing CLP languages…

1992

Constraint logic programming is one of the most attractive research areas in logic programming. Due to [JL87] the theoretical…

1991

Model-based diagnosis is the activity of locating malfunctioning components of a system solely on the basis of its structure and…

1991

Generation of eecient code for constraint logic programming (CLP) languages poses new problems. It is not yet clear which…