Theory of linear and integer programming
Theory of linear and integer programming
REDUCE: Software for algebraic computation
REDUCE: Software for algebraic computation
The concurrent logic programming language CP: Definition and operational semantics
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
CAL: A theoretical background of constraint logic programming and its applications
Journal of Symbolic Computation
Mockingbird: a logical methodology for testing
Journal of Logic Programming - Logic programming applications
Communications of the ACM
The Programming Language Aspects of ThingLab, a Constraint-Oriented Simulation Laboratory
ACM Transactions on Programming Languages and Systems (TOPLAS)
APL '79 Proceedings of the international conference on APL: part 1
The Definition and Implementation of a Computer Programming Language Based on Constraints
The Definition and Implementation of a Computer Programming Language Based on Constraints
An abstract machine for CLP(R)
PLDI '92 Proceedings of the ACM SIGPLAN 1992 conference on Programming language design and implementation
An approach to symbolic timing verification
DAC '92 Proceedings of the 29th ACM/IEEE Design Automation Conference
The 3 R's of optimizing constraint logic programs: refinement, removal and reordering
POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Queries, constraints, updates and transactions within a logic-based language
CIKM '93 Proceedings of the second international conference on Information and knowledge management
A multi-theory constraint satisfaction system
CSC '93 Proceedings of the 1993 ACM conference on Computer science
Semantics of constraint logic programs with optimization
ACM Letters on Programming Languages and Systems (LOPLAS)
Backtracking without trailing in CLP (RLin)
PLDI '94 Proceedings of the ACM SIGPLAN 1994 conference on Programming language design and implementation
Integrating pointer variables into one-way constraint models
ACM Transactions on Computer-Human Interaction (TOCHI)
Implementing constraint imperative programming languages: the Kaleidoscope'93 virtual machine
OOPSLA '94 Proceedings of the ninth annual conference on Object-oriented programming systems, language, and applications
Backtracking without trailing in CLP ( RLin )
ACM Transactions on Programming Languages and Systems (TOPLAS)
PODS '95 Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
The replacement operation for CLP modules
PEPM '95 Proceedings of the 1995 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
An incremental algorithm for satisfying hierarchies of multiway dataflow constraints
ACM Transactions on Programming Languages and Systems (TOPLAS)
Foundations of multimedia database systems
Journal of the ACM (JACM)
Strategic directions in constraint programming
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
Constraint solving and programming: what's next?
ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
A transformation system for CLP with dynamic scheduling and CCP
PEPM '97 Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Solving linear arithmetic constraints for user interface applications
Proceedings of the 10th annual ACM symposium on User interface software and technology
Interactive beautification: a technique for rapid geometric design
Proceedings of the 10th annual ACM symposium on User interface software and technology
Proving concurrent constraint programs correct
ACM Transactions on Programming Languages and Systems (TOPLAS)
Expressive Applications of Constraint Logic Programming
Artificial Intelligence Review
Optimizing compilation of CLP( R )
ACM Transactions on Programming Languages and Systems (TOPLAS)
An algorithm for goal-driven simulation
Proceedings of the 31st conference on Winter simulation: Simulation---a bridge to the future - Volume 1
SAC '94 Proceedings of the 1994 ACM symposium on Applied computing
ACM Transactions on Computational Logic (TOCL)
Functional and constraint logic programming
Constraints in computational logics
Symbolic-interval cooperation in constraint programming
Proceedings of the 2001 international symposium on Symbolic and algebraic computation
Using model dataflow graphs to reduce the storage requirements of constraints
ACM Transactions on Computer-Human Interaction (TOCHI)
The Cassowary linear arithmetic constraint solving algorithm
ACM Transactions on Computer-Human Interaction (TOCHI)
A perspective on symbolic mathematical computing and artificial intelligence
Annals of Mathematics and Artificial Intelligence
Constraint Programming: Strategic Directions
Constraints
Constraint Solving and Programming: What Next?
Constraints
Refining Restriction Enzyme Genome Maps
Constraints
Parametric Sequence Alignment with Constraints
Constraints
Reasoning about Solids Using Constraint Logic Programming
Journal of Automated Reasoning
IEEE Computer Graphics and Applications
IEEE Transactions on Knowledge and Data Engineering
IEEE Transactions on Knowledge and Data Engineering
Distributed Constraint Processing for Production Logistics
IEEE Intelligent Systems
On proving left termination of constraint logic programs
ACM Transactions on Computational Logic (TOCL)
Propagation Completeness of Reactive Constraints
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
Fuzzy Prolog: A Simple General Implementation Using CLP(R)
LPAR '02 Proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
CORAL - Control, Relations and Logic
VLDB '92 Proceedings of the 18th International Conference on Very Large Data Bases
Toward Practical Constraint Databases
VLDB '93 Proceedings of the 19th International Conference on Very Large Data Bases
The Alma Project, or How First-Order Logic Can Help Us in Imperative Programming
Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel)
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
MuTACLP: A Language for Temporal Reasoning with Multiple Theories
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Combining Constraints and Consistency Techniques in Knowledge-Based Expert Systems
ADVIS '00 Proceedings of the First International Conference on Advances in Information Systems
Solving Mixed Quantified Constraints over a Domain Based on Real Numbers and Herbrand Terms
FLOPS '02 Proceedings of the 6th International Symposium on Functional and Logic Programming
Constraint (Logic) Programming: A Survey on Research and Applications
Selected papers from the Joint ERCIM/Compulog Net Workshop on New Trends in Contraints
Solving Nonlinear Equations by Abstraction, Gaussian Elimination, and Interval Methods
FroCoS '02 Proceedings of the 4th International Workshop on Frontiers of Combining Systems
A Comparison of Spatio-temporal Interpolation Methods
GIScience '02 Proceedings of the Second International Conference on Geographic Information Science
Constraint Representation for Propagation
CP '98 Proceedings of the 4th International Conference on Principles and Practice of Constraint Programming
The Phase Transition of the Linear Inequalities Problem
CP '01 Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming
Indexical-Based Solver Learning
CP '02 Proceedings of the 8th International Conference on Principles and Practice of Constraint Programming
A Denotational Semantics for First-Order Logic
CL '00 Proceedings of the First International Conference on Computational Logic
Model Checking for Timed Logic Processes
CL '00 Proceedings of the First International Conference on Computational Logic
Constraint-Based Termination Analysis for Cyclic Active Database Rules
CL '00 Proceedings of the First International Conference on Computational Logic
To the Gates of HAL: A HAL Tutorial
FLOPS '02 Proceedings of the 6th International Symposium on Functional and Logic Programming
CP '98 Proceedings of the 4th International Conference on Principles and Practice of Constraint Programming
Interactive authoring of multimedia documents in a constraint-based authoring system
Multimedia Systems - Special section on video libraries
Automated testing using executable formal specifications
SEEP '96 Proceedings of the 1996 International Conference on Software Engineering: Education and Practice (SE:EP '96)
Computer algebra handbook
Flexible access control policy specification with constraint logic programming
ACM Transactions on Information and System Security (TISSEC)
An interval constraint system for lattice domains
ACM Transactions on Programming Languages and Systems (TOPLAS)
Combining linear programming and satisfiability solving for resource planning
The Knowledge Engineering Review
Constraint Logic Programming with Hereditary Harrop formulas
Theory and Practice of Logic Programming
A lazy narrowing calculus for declarative constraint programming
PPDP '04 Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming
An expressive aspect language for system applications with Arachne
Proceedings of the 4th international conference on Aspect-oriented software development
MathSAT: Tight Integration of SAT and Mathematical Decision Procedures
Journal of Automated Reasoning
Interactive beautification: a technique for rapid geometric design
ACM SIGGRAPH 2006 Courses
A constraint solver for model-based engineering
AI Communications
Control Generation by Program Transformation
Fundamenta Informaticae - Program Transformation: Theoretical Foundations and Basic Techniques. Part 2
A new generic scheme for functional logic programming with constraints
Higher-Order and Symbolic Computation
Interactive beautification: a technique for rapid geometric design
ACM SIGGRAPH 2007 courses
Inferring non-suspension conditions for logic programs with dynamic scheduling
ACM Transactions on Computational Logic (TOCL)
Dynamic variable elimination during propagation solving
Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming
On the verification of high-order constraint compliance in IC design
Proceedings of the conference on Design, automation and test in Europe
Typing Linear Constraints for Moding CLP(${\cal R}$) Programs
SAS '08 Proceedings of the 15th international symposium on Static Analysis
Efficient Algorithms for Functional Constraints
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Constraint-driven design: the next step towards analog design automation
Proceedings of the 2009 international symposium on Physical design
Integrating answer set programming and constraint logic programming
Annals of Mathematics and Artificial Intelligence
Efficient memoization for dynamic programming with ad-hoc constraints
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
The LPSAT engine & its application to resource planning
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
On the algebraic structure of declarative programming languages
Theoretical Computer Science
Local consistency for extended CSPs
Theoretical Computer Science
On the cooperation of the constraint domains ℋ, ℛ, and ℱ in cflp
Theory and Practice of Logic Programming
Constraint Functional Logic Programming Revisited
Electronic Notes in Theoretical Computer Science (ENTCS)
ACM Transactions on Programming Languages and Systems (TOPLAS)
Efficient structural information analysis for real CLP languages
LPAR'00 Proceedings of the 7th international conference on Logic for programming and automated reasoning
CDB-PV: a constraint database-based program verifier
SARA'07 Proceedings of the 7th International conference on Abstraction, reformulation, and approximation
Quantitative logic programming revisited
FLOPS'08 Proceedings of the 9th international conference on Functional and logic programming
An interpolation method for CLP traversal
CP'09 Proceedings of the 15th international conference on Principles and practice of constraint programming
Autonomous dynamic reconfiguration in multi-agent systems: improving the quality and efficiency of collaborative problem solving
A declarative semantics for clp with qualification and proximity*
Theory and Practice of Logic Programming
Logic–based decision support for strategic environmental assessment
Theory and Practice of Logic Programming
A 25-year perspective on logic programming
Solving functional constraints by variable substitution
Theory and Practice of Logic Programming
Logical formalization of multimedia interpretation
Knowledge-driven multimedia information extraction and ontology evolution
Symbolic simulation on complicated loops for WCET path analysis
EMSOFT '11 Proceedings of the ninth ACM international conference on Embedded software
CLP(QS): a declarative spatial reasoning framework
COSIT'11 Proceedings of the 10th international conference on Spatial information theory
ICLP'05 Proceedings of the 21st international conference on Logic Programming
A reasoning method for timed CSP based on constraint solving
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
Verifying the incorrectness of programs and automata
SARA'05 Proceedings of the 6th international conference on Abstraction, Reformulation and Approximation
SWDB'04 Proceedings of the Second international conference on Semantic Web and Databases
A CLP method for compositional and intermittent predicate abstraction
VMCAI'06 Proceedings of the 7th international conference on Verification, Model Checking, and Abstract Interpretation
VMCAI'06 Proceedings of the 7th international conference on Verification, Model Checking, and Abstract Interpretation
CADE' 20 Proceedings of the 20th international conference on Automated Deduction
Quantifier elimination for constraint logic programming
CASC'05 Proceedings of the 8th international conference on Computer Algebra in Scientific Computing
Solving collaborative fuzzy agents problems with CLP(FD)
PADL'05 Proceedings of the 7th international conference on Practical Aspects of Declarative Languages
Implementation and experimentation of the logic language NP Datalog
DEXA'06 Proceedings of the 17th international conference on Database and Expert Systems Applications
Finding relations among linear constraints
AISC'06 Proceedings of the 8th international conference on Artificial Intelligence and Symbolic Computation
An expressive aspect language for system applications with arachne
Transactions on Aspect-Oriented Software Development I
Formal reasoning about software object translations
Monterey'08 Proceedings of the 15th Monterey conference on Foundations of Computer Software: future Trends and Techniques for Development
Specification and verification of agent interaction using abductive reasoning
CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems
Size-Change termination analysis in k-bits
ESOP'06 Proceedings of the 15th European conference on Programming Languages and Systems
A pearl on SAT and SMT solving in Prolog
Theoretical Computer Science
Paper: A constraint logic programming framework for constructing DNA restriction maps
Artificial Intelligence in Medicine
Unbounded symbolic execution for program verification
RV'11 Proceedings of the Second international conference on Runtime verification
Control Generation by Program Transformation
Fundamenta Informaticae - Program Transformation: Theoretical Foundations and Basic Techniques. Part 2
An Open Automated Framework for Constraint Solver Extension: the SoleX Approach
Fundamenta Informaticae
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Inference for a new probabilistic constraint logic
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Path-sensitive resource analysis compliant with assertions
Proceedings of the Eleventh ACM International Conference on Embedded Software
| Hi-index | 0.00 |
The CLPR programming language is defined, its underlyingphilosophy and programming methodology are discussed, importantimplementation issues are explored in detail, and finally, a prototypeinterpreter is described.CLPRis designed to be an instance of the Constraint LogicProgramming Scheme, a family of rule-based constraint programminglanguages defined by Jaffar and Lassez. The domain of computationRof this particular instance is the algebraic structureconsisting of uninterpreted functors over real numbers. An importantproperty of CLPRis that the constraints are treated uniformly in thesense that they are used to specify the input parameters to a program,they are the only primitives used in the execution of a program, andthey are used to describe the output of a program.Implementation of a CLP language, and of CLPRin particular, raises new problems in the design of aconstraint-solver. For example, the constraint solver must beincremental in the sensethat solving additional constraints must not entail the resolving of oldconstraints. In our system, constraints are filtered through aninference engine, an engine/solver interface, an equation solver and aninequality solver. This sequence of modules reflects a classificationand prioritization of the classes of constraints. Modules solving higherpriority constraints are isolated from the complexities of modulessolving lower priority constraints. This multiple-phase solving ofconstraints, together with a set of associated algorithms, gives rise toa practical system.