Research Catalog

Title

Principles and practice of constraint programming : the Newport papers / edited by Vijay Saraswat and Pascal Van Hentenryck ; advising editors, Paris Kanellakis, Jean-Louis Lassez, Ralph Wachter.

Publication

Cambridge, Mass. : MIT Press, [1995], ©1995.

Items in the Library & Off-site

Holdings

Details

Additional Authors

• Saraswat, Vijay.
• Van Hentenryck, Pascal.

Description

xvi, 475 pages : illustrations; 24 cm

Summary

• This collection of twenty-three original papers represents the first effort to bring together the work of constraint programming researchers scattered across multiple disciplines and across the world. The collection contributes to the understanding of the common principles of this emerging general paradigm, the investigation of its theoretical foundations as well as applications to real-world computing problems.
• It is organized around themes of concurrency and reactive systems, languages and environments, algorithms, computer graphics, and artificial intelligence.
• Constraint programming aims at supporting a wide range of complex applications, which are often modeled naturally in terms of constraints. Early work, in the 1960s and 1970s, made use of constraints in computer graphics, user interfaces, and artificial intelligence. Such work introduced a declarative component in otherwise-procedural systems to reduce the development effort.
• The mid-1980s have witnessed the emergence of general-purpose programming languages based on constraints, such as constraint logic programming and concurrent constraint programming, with significant applications in academia and industry. Today, an increasing number of researchers from all over the map of computing are looking at different aspects of this new computational paradigm.

Subject

• Constraint programming (Computer science) > Congresses

Bibliography (note)

• Includes bibliographical references.

Contents

• 1. A Concurrent Semantics for Concurrent Constraint Programs via Contextual Nets / Ugo Montanari and Francesca Rossi -- 2. Object-Oriented Concurrent Constraint Programming in Oz / Martin Henz, Gert Smolka and Jorg Wurtz -- 3. Constraint Programming in Constraint Nets / Ying Zhang and Alan K. Mackworth -- 4. Robot Programming and Constraints / Dinesh K. Pai -- 5. Constraint Logic Programming: Hybrid Control, Logic as Linear Programming / Wolf Kohn, Anil Nerode and V. S. Subrahmanian -- 6. 2LP: Linear Programming and Logic Programming / Ken McAloon and Carol Tretkoff -- 7. A Constraint-Based Scientific Programming Language / Richard Zippel -- 8. Designing Constraint Logic Programming Languages Using Computational Systems / Claude Kirchner, Helene Kirchner and Marian Vittek -- 9. Aggregation in Constraint Databases / Gabriel M. Kuper -- 10. Synthesis of Constraint Algorithms / Douglas R. Smith and Stephen J. Westfold --
• 11. Exploiting Constraint Dependency Information for Debugging and Explanation / Walid T. Keirouz, Glenn A. Kramer and Jahir Pabon -- 12. Constraining the Structure and Style of Object-Oriented Programs / Scott Meyers, Carolyn K. Duby and Steven P. Reiss -- 13. An Approach for Solving Systems of Parametric Polynomial Equations / Deepak Kapur -- 14. Fourier's Elimination: Which to Choose? / Jean-Louis Imbert -- 15. Verifying Logic Circuits by Benders Decomposition / J. N. Hooker and H. Yan -- 16. An Incremental Hierarchical Constraint Solver / Francisco Menezes and Pedro Barahona -- 17. A Disjunctive Decomposition Control Schema for Constraint Satisfaction / Eugene C. Freuder and Paul D. Hubbe -- 18. Local Consistency in Parallel Constraint-Satisfaction Networks / Simon Kasif and Arthur L. Delcher -- 19. Terminological Reasoning with Constraint Handling Rules / Thom Fruhwirth and Philipp Hanschke -- 20. The SkyBlue Constraint Solver and Its Applications / Michael Sannella --
• 21. Practical Issues in Graphical Constraints / Michael Gleicher -- 22. Constraint Management in a Declarative Design Method for 3D Scene Sketch Modeling / Stephane Donikian and Gerard Hegron -- 23. Expressing Constraints for Data Display Specification: A Visual Approach / Isabel F. Cruz.

ISBN

0262193612

LCCN

94044871

OCLC

ocm31607246

Owning Institutions

Columbia University Libraries