Research Catalog

Title

Principles and practice of constraint programming : second international workshop, PPCP '94, Rosario, Orcas Island, WA, USA, May 2-4, 1994 : proceedings / Alan Borning (ed.).

Author

Workshop on the Principles and Practice of Constraint Programming (2nd : 1994 : Rosario, Wash.)

Publication

Berlin ; New York : Springer-Verlag, ©1994.

Items in the Library & Off-site

Details

Additional Authors

Borning, Alan (Alan H.), 1950-

Description

ix, 360 pages : illustrations; 24 cm

Summary

"This volume is the proceedings of the Second International Workshop on the Principles and Practice of Constraint Programming, held at Rosario, Orcas Island, Washington, USA in May 1994 in cooperation with AAAI and ALP. The volume contains 27 full revised papers selected from 87 submissions as well as a summary of a panel session on commercial applications of constraint programming. The contributions cover a broad range of topics including constraint programming languages, algorithms for constraint satisfaction and entailment, and constraints and their relation to fields such as artificial intelligence, databases, operations research, problem solving, and user interfaces."--PUBLISHER'S WEBSITE.

Series Statement

Lecture notes in computer science ; 874

Uniform Title

Lecture notes in computer science ; 874.

Alternative Title

PPCP '94

Subject

• Constraint programming (Computer science) > Congresses
• Constraints (Artificial intelligence) > Congresses
• Constraints (Artificial intelligence)
• Constraint programming (Computer science)
• Constraint Künstliche Intelligenz
• Constraint-Programmierung
• Programmierung
• Programmatuurtechniek
• Programacao De Computadores
• Ordinateurs > Programmation
• Rosario <Wash., 1994>

Genre/Form

• Conference papers and proceedings
• Rosario (Wash., 1994)

Bibliography (note)

• Includes bibliographical references and index.

Contents

Keynote address: experiences on the road to object Utopia / Dave Thomas -- The Cartesian product algorithm / Ole Agesen -- PolyTOIL: a type-safe polymorphic object-oriented language / Kim B. Bruce, Robert van Gent, Angela Schuett -- Object imaging / Satish R. Thatte -- Optimization of object-oriented programs using static class hierarchy analysis / Jeffrey Dean, David Grove, Craig Chambers -- Objects with multiple most specific classes / Elisa Bertino, Giovanna Guerrini -- A marriage of class- and object-based inheritance without unwanted children / Patrick Steyaert, Wolfgang De Meuter -- On subtyping and matching / Martin Abadi, Luca Cardelli -- Using metaobject protocols to implement atomic data types / R.J. Stroud, Z. Wu -- Meta-level programming with CodA / Jeff McAffer -- An object-oriented framework for the formal verification of processors / Laurent Arditi, Helene Collavizza -- Incremental mature garbage collection using the train algorithm / Jacob Seligmann, Steffen Grarup -- Message dispatch on pipelined processors / Karel Driesen, Urs Holzle, Jan Vitek -- Do object-oriented languages need special hardware support? / Urs Holzle, David Ungar -- Programming as an experience: the inspiration for self / Randall B. Smith, David Ungar -- Time and asynchrony in interactions among distributed real-time objects / Ichiro Satoh, Mario Tokoro -- Object protocols as functional parsers / Gert Florijn -- Interface-based protocol specification of open systems using PSL / Doug Lea, Jos Marlowe -- Experience using design patterns to evolve communication software across diverse OS platforms / Doug Schmidt, Paul Stephenson -- Sharing properties in a uniform object space / Heiko Kiessling, Uwe Kruger -- ChyPro: a hypermedia programming environment for smalltalk-80 / Maurice Amsellem.

ISBN

• 0387586016
• 9780387586014
• 3540586016
• 9783540586012

LCCN

94025166

OCLC

• ocm31239312
• 31239312
• SCSB-2035249

Owning Institutions

Princeton University Library