@string{dfki = {German Research Center for Artificial Intelligence (DFKI)}} @string{dfkiort = {Stuhlsatzenhausweg 3, D-66123 Saarbr{\"u}cken, Germany}} @string{unisb = {Universit\"at des Saarlandes, Fachbereich 14 Informatik}} @string{unisbaddr = {Postfach 1150, D-66041 Saarbr\"ucken, Germany}} @string{unikl = {Universit{\"a}t Kaiserslautern, Fachbereich Informatik}} @string{unikladdr = {Postfach 3049, D-67653 Kaiserslautern, Germany}} @string{ozdoc = {{DFKI} {O}z Documentation Series}} @STRING{prentice = "Prentice Hall"} @STRING{prenticeort = "Englewood Cliffs, NJ"} @STRING{wil = "John Wiley \& Sons"} @STRING{wilort = "New York"} @STRING{acm = "The ACM Press"} @STRING{acmort = "New York"} @STRING{add = "Addison-Wesley"} @STRING{addort = "Reading, MA"} @STRING{mit = "The MIT Press"} @STRING{mitort = "Cambridge, MA"} @STRING{mit2 = "Massachusetts Institute of Technology"} @STRING{mk = "Morgan Kaufmann Publishers"} @STRING{mkort = "San Mateo, CA"} @STRING{nh = "North-Holland"} @STRING{nhort = "Amsterdam"} @STRING{else = "Elsevier"} @STRING{elseort = "Amsterdam"} @string{ozdoc = {{DFKI} {O}z Documentation Series}} @string{fbps = {{Programming Systems Lab}}} @STRING{spring = "Springer-Verlag"} @STRING{springort= "Berlin"} @STRING{kluwer ="Kluwer Academic Publishers"} @STRING{kluwerort= "Dordrecht / Boston / London"} @STRING{idiap = "Institut Dalle Molle d'Intelligence Artificielle Perceptive"} @STRING{idiaport = "Martigny, Switzerland"}, @string{cp96 = "Principles and Practice of Constraint Programming---CP96, Proceedings of the Second International Conference"} @string{cp97 = "Principles and Practice of Constraint Programming---CP97, Proceedings of the Third International Conference"} @string{cp97ort = "Schloss Hagenberg, Linz, Austria"} @string{cp = "Principles and Practice of Constraint Programming"} @string{cp2000 = "Principles and Practice of Constraint Programming---CP 2000, Proceedings of the Sixth International Conference"} @string{AAAI = "Proceedings of the AAAI National Conference on Artificial Intelligence"} @string{CACM = "Communications of the ACM"} @string{ECAI = "Proceedings of the European Conference on Artificial Intelligence"} @string{ECOOP = "Proceeedings of the European Conference on Object-Oriented Programming"} @string{FGCS = "Proceedings of the International Conference on Fifth Generation Computer Systems"} @string{GMD = "Gesellschaft f{\"u}r Mathematik und Datenverarbeitung mbH"} @string{ICALP = "Proceedings of the International Conference on Automata, Languages, and Programming"} @string{ICANN = "Proceedings of the International Conference on Artificial Neural Networks"} @string{ICLP = "Proceedings of the International Conference on Logic Programming"} @string{ICLP/SLP = "Proceedings of the International Conference and Symposium on Logic Programming"} @string{ISLP = "Proceedings of the International Symposium on Logic Programming"} @string{ICSI = "International Computer Science Institute, Berkeley, CA"} @string{IFB = "Informatik Fachberichte, Springer"} @string{IFIP = "Proceedings of the World Computer Congress of the IFIP"} @string{IJCAI = "Proceedings of the International Joint Conference on Artificial Intelligence"} @string{IJCNN = "Proceedings of the International Joint Conference on Neural Networks"} @string{IS = "Informatik-Spektrum"} @string{ISAI = "Proceedings of the International Symposium on Artificial Intelligence"} @string{JACM = "Journal of the ACM"} @string{JAR = "Journal of Automated Reasoning"} @string{JCSS = "Journal of Computer and System Sciences"} @string{JLP = "Journal of Logic Programming"} @string{AI = "Artificial Intelligence"} @string{JAI = "Journal of Artificial Intelligence"} @string{JSC = "Journal of Symbolic Computation"} @string{JSL = "Journal of Symbolic Logic"} @string{KR = "Proceedings of the International Conference on Principles of Knowlege Representation and Reasoning"} @string{LEA = "Lawrence Erlbaum Associates"} @string{LICS = "Proceedings of the Annual IEEE Symposium on Logic in Computer Science"} @string{LNCS = "Lecture Notes in Computer Science"} @string{LNAI = "Lecture Notes in Artificial Intelligence"} @string{MCC = "Microelectronics and Computer Technology Corporation, Austin"} @string{MFCS = "Mathematical Foundations of Computer Science"} @string{NACLP = "Proceedings of the North American Conference on Logic Programming"} @string{NGC = "New Generation Computing"} @string{OGAI = "{\"O}sterreichische AI Tagung"} @string{OOPSLA = "Proceedings of the Conference on Object-Oriented Programming: Systems, Languages and Applications"} @string{POPL = "Proceedings of the ACM Symposium on Principles of Programming Languages"} @string{RTA = "Proceedings of the Conference on Rewriting Techniques and Applications"} @string{SBM = "Systemtechnik Berner \& Mattner"} @string{SLP = "Proceedings of the Symposium on Logic Programming"} @string{SLCS = "Proceedings of the Symposium on Logic in Computer Science"} @string{SRI = "Stanford Research Institute (SRI)"} @string{SRI-ADR = "333 Ravenswood Ave., Menlo Parc, CA 94025"} @string{TCS = "Journal of Theoretical Computer Science"} @string{THD = "Technische Hochschule Darmstadt, Fachbereich Informatik"} @string{TUM = "Technische Universit{\"a}t M{\"u}nchen, Institut f{\"u}r Informatik"} @string{UBC = "Department of Computer Science, University of British Columbia"} @string{UNIF = "Proceedings of the International Workshop on Unification"} @string{UniBwM = "Universit{\"a}t der Bundeswehr M{\"u}nchen"} @InProceedings{Dony_92, author = {Christophe Dony and Jacques Malenfant and Pierre Cointe}, title = {Prototype-Based Languages: From a New Taxonomy to Constructive Proposals and Their Validation}, editor = {Andreas Paepcke}, booktitle = OOPSLA, address = {Vancouver, Canada}, year = 1992, pages = {201--217}, publisher = acm#{,~}#acmort, } @InProceedings{Horn_92, author = {Bruce Horn}, title = {Constraint Patterns As a Basis For Object Oriented Programming}, booktitle = OOPSLA, editor = {Andreas Paepcke}, address = {Vancouver, Canada}, year = 1992, pages = {218--233}, publisher = acm#{,~}#acmort, } @InProceedings{Jategaonkar_93, AUTHOR = {Lalita Jategaonka and Albert Meyer}, TITLE = {Self-Synchronization of Concurrent Processes}, booktitle = LICS, EDITOR = {Robert Constable}, PUBLISHER = {IEEE Computer Society Press}, ADDRESS = {Montreal, Canada}, MONTH = {June}, PAGES = {409--417}, YEAR = 1993, } @book{Kiczales91, AUTHOR = {Gregor Kiczales and Jim des Rivi{\`e}res and Daniel Bobrow}, TITLE = {The Art of the Metaobject Protocol}, YEAR = 1991, PUBLISHER = mit, ADDRESS = mitort, } @InProceedings{Myers_92, author = {Myers, Brad and Giuse, Dario and Vander Zanden, Brad}, title = {Declarative Programming in a Prototype-Instance System: Object-Oriented Programming Without Writing Methods}, booktitle = OOPSLA, editor = {Andreas Paepcke}, address = {Vancouver, Canada}, year = 1992, pages = {184--200}, publisher = acm#{,~}#acmort, } @inproceedings{Yonezawa_86, AUTHOR = {Akinori Yonezawa and Jean-Pierre Briot and Etsuya Shibayama}, TITLE = {Object-Oriented Concurrent Programming in {ABCL/1}}, YEAR = 1986, PAGES = {258--268}, BOOKTITLE = OOPSLA, EDITOR = {Norman Meyrowitz}, address = {Portland, Oregon}, publisher = {ACM SIGPLAN Notices 21(11)}, } @inproceedings{Driesen_93, AUTHOR = {Karel Driesen}, TITLE = {Selector Table Indexing and Sparse Arrays}, YEAR = 1993, PAGES = {259--270}, BOOKTITLE = OOPSLA, EDITOR = {Andreas Paepcke}, address = {Washington, D.C.}, publisher = {ACM SIGPLAN Notices 28(10)}, } @inproceedings{Watanabe_90, AUTHOR = {Takuo Watanabe and Akinori Yonezawa}, TITLE = {An Actor-Based Metalevel Architecture for Group-Wide Reflection}, YEAR = 1991, PAGES = {405--425}, BOOKTITLE = {Foundations of Object-Oriented Languages: REX School/Workshop}, EDITOR = {de Bakker, Jacobus and de Roever, Willem and Rozenberg, Grzegorz}, address = {Noordwijkerhout, Netherlands}, series = LNCS # {~489}, publisher = spring#{,~}#springort, optnote = {1608} } @inproceedings{Cook_90, AUTHOR = {William Cook}, TITLE = {Object-Oriented Programming versus Abstract Data Types}, YEAR = 1991, PAGES = {151--178}, BOOKTITLE = {Foundations of Object-Oriented Languages: REX School/Workshop}, EDITOR = {de Bakker, Jacobus and de Roever, Willem and Rozenberg, Grzegorz}, address = {Noordwijkerhout, Netherlands}, series = LNCS # {~489}, publisher = spring#{,~}#springort, } @incollection{AKL:Ports:93, author = {Sverker Janson and Johan Montelius and Seif Haridi}, title = {Ports for Objects}, year = {1993}, editors = {Gul Agha and Peter Wegner and Akinori Yonezawa}, BOOKTITLE = {Research Directions in Concurrent Object-Oriented Programming}, publisher = mit, address = mitort, } @book{Agha_93, AUTHOR = {Gul Agha and Peter Wegner and Akinori Yonezawa}, TITLE = {Research Directions in Concurrent Object-Oriented Programming}, YEAR = 1993, PUBLISHER = mit, ADDRESS = mitort, } @InCollection{VanHentenryck:95, editor = {Andreas Podelski}, booktitle = {Constraints: Basics and Trends}, author = {Pascal {Van Hentenryck} and Vijay Saraswat and Yves Deville}, title = {Design, Implementation and Evaluation of the Constraint Language cc({FD})}, series = LNCS # {~910}, publisher = spring, address = springort, year = 1995, } @InProceedings{Meseguer:93, author = {Jos{\'e} Meseguer}, editor = {Oscar Nierstrasz}, booktitle = ECOOP, address = {Kaiserslautern, Germany}, series = LNCS # {~707}, publisher = spring#{,~}#springort, pages = {220--246}, title = {Solving the Inheritance Anomaly in Concurrent Object-Oriented Programming}, year = 1993 } @InProceedings{Fischer:95, author = {Klaus Fischer and J{\"o}rg M{\"u}ller and Markus Pischel}, booktitle = {Proceedings of the International Conference on Multiagent Systems (ICMAS)}, address = {San Francisco}, publisher = mit#{,~}#mitort, title = {A Model for Cooperative Transportation Scheduling}, year = 1995 } @InProceedings{Vitek:94, author = {Jan Vitek and Nigel Horspool}, title = {Taming Message Passing: Efficient Method Look-Up for Dynamically Typed Languages}, booktitle = ECOOP, EDITOR = {Paolo Ciancarini and Oscar Nierstrasz and Akinori Yonezawa}, address = {Bologna, Italy}, year = {1994}, series = LNCS # {~821}, publisher = spring#{,~}#springort, pages = {432--449}, } @InProceedings{Lopez:94, author = {Cristina Videira Lopez and Karl Lieberherr}, title = {Abstracting Process-to-Function Relations in Concurrent Object-Oriented Applications}, booktitle = ECOOP, EDITOR = {Paolo Ciancarini and Oscar Nierstrasz and Akinori Yonezawa}, address = {Bologna, Italy}, year = {1994}, series = LNCS # {~821}, publisher = spring#{,~}#springort, pages = {81--99}, } @InCollection{Ungar:83, crossref = {Krassner:83}, editor = {Glenn Krassner}, booktitle = {{Smalltalk-80}: Bits of History and Words of Advice}, author = {David Ungar and David Patterson}, title = {{Berkeley Smalltalk}: Who Knows Where the Time Goes?}, publisher = add, address = addort, pages = {189--206}, year = 1983, } @InCollection{Conroy:83, crossref = {Krassner:83}, editor = {Glenn Krassner}, booktitle = {{Smalltalk-80}: Bits of History and Words of Advice}, author = {Thomas Conroy and Eduardo Pelegri-Llopart}, title = {An Assessment of Method-Lookup Caches for {Smalltalk-80} at {Hewlett-Packard}}, publisher = add, address = addort, pages = {239--248}, year = 1983, } @book{Krassner:83, editor = {Glenn Krassner}, title = {{Smalltalk-80}: Bits of History and Words of Advice}, publisher = add, address = addort, year = 1983, } @book{Kim:89, AUTHOR = {Won Kim and Frederick Lochovsky}, TITLE = {Object-Oriented Concepts, Databases, and Applications}, YEAR = 1989, PUBLISHER = add, ADDRESS = addort } @incollection{Tomlinson:89, AUTHOR = {Christine Tomlinson and Mark Scheevel}, TITLE = {Concurrent Object-Oriented Programming Languages}, YEAR = 1989, BOOKTITLE = {Object-Oriented Concepts, Databases, and Applications}, EDITOR = {Won Kim and Federick Lochovsky}, PUBLISHER = add, ADDRESS = addort, PAGES = {79--124}, } @incollection{Nierstrasz:89, AUTHOR = {Oscar Nierstrasz}, TITLE = {A Survey of Object-Oriented Concepts}, YEAR = 1989, BOOKTITLE = {Object-Oriented Concepts, Databases, and Applications}, EDITOR = {Won Kim and Frederick Lochovsky}, PUBLISHER = add, ADDRESS = addort, PAGES = {3--21}, } @article{Cardelli:POPL:95, AUTHOR = {Luca Cardelli}, TITLE = {A Language with Distributed Scope}, JOURNAL = {Computing Systems}, YEAR = 1995, MONTH = jan, VOLUME = 8, NUMBER = 1, PAGES = {27--59}, } @techreport{Obliq:Report:94, author = {Cardelli, Luca}, institution = {Digital Equipment Corporation, Systems Research Center}, address = {Palo Alto, CA}, number = {122}, month = jun, title = {{Obliq}: A Language with Distributed Scope}, year = {1994}, } @Article{Bal+:92, author = {Henri Bal and Frans Kaashoek and Andrew Tanenbaum}, title = {Orca: A Language for Parallel Programming of Distributed Systems}, journal = {IEEE Transactions on Software Engineering}, year = 1992, volume = 18, number = 3, month = mar, pages = {190--205}, } @Article{Foster:92, author = {Ian Foster and Robert Olson and Steven Tuecke}, title = {Productive Parallel Programming: The {PCN} Approach}, journal = {Scientific Programming}, year = 1992, volume = 1, number = 1, pages = {55--66}, } @InProceedings{Kaashoek:89, AUTHOR = {Frans Kaashoek and Henri Bal and Andrew Tanenbaum}, TITLE = {Experience with the distributed data structure paradigm in {L}inda}, BOOKTITLE = {Proceedings of the Workshop on Experiences with Building Distributed and Multiprocessor Systems}, ADDRESS = {Ft. Lauderdale, FL}, PAGES = {175--191}, YEAR = {1989} } @Article{BrinchHansen:75, author = {Brinch Hansen, Per}, journal = {{IEEE Transactions of Software Engineering}}, pages = {199--207}, title = {{The Progamming Language Concurrent Pascal}}, number = {2}, volume = {1}, year = {1975} } @book{baum, AUTHOR = {Frank Baum}, TITLE = {The Wonderful Wizard of Oz}, YEAR = 1900, PUBLISHER = {Reilly and Lee}, ADDRESS = {Chicago}, } @Article{Lucco:87, author = {Steven Lucco}, title = {Parallel Programming in a Virtual Object Space}, journal = {SIGPLAN Notices}, year = 1987, volume = 22, number = 12, month = dec, pages = {26--34} } @Article{Rentsch:82, author = {Tim Rentsch}, title = {Object-Oriented Programming}, journal = {SIGPLAN Notices}, year = 1982, volume = 17, number = 12, pages = {51}, } @INPROCEEDINGS{ingalls:78, BOOKTITLE = POPL, address = {Tuscon, AZ}, AUTHOR = {Dan Ingalls}, TITLE = {The {Smalltalk-76} Programming System Design and Implementation}, PUBLISHER = acm#{,~}#acmort, YEAR = {1978}, } @book{booch:94, AUTHOR = {Grady Booch}, TITLE = {Object-Oriented Analysis and Design with Applications}, EDITION = {Second}, YEAR = 1994, PUBLISHER = {Benjamin/Cummings Publishing}, ADDRESS = {Redwood City, CA}, } @TechReport{ozdoc:kernel, author = {Gert Smolka}, title = {The Definition of {K}ernel {Oz}}, institution = dfki, address = dfkiort, type = ozdoc, year = 1994, month = nov, } @TechReport{smalltalk72, author = {Adele Goldberg and Alan Kay{, editors}}, key = {Goldberg}, title = {{Smalltalk-72} Instructional Manual}, institution = {Xerox PARC}, address = {Palo Alto, CA}, type = {Technical Report}, number = {SSL-76-6}, year = 1976, month = mar, } @book{AbelsonSussman:96, author = {Harold Abelson and Gerald Sussman}, edition = {Second}, address = mitort, publisher = mit, title = {Structure and Interpretation of Computer Programs}, year = {1996} } @Misc{NiehrenDiss, author = {Joachim Niehren}, title = {{\it Funktionale Berechnung in einem Uniform Nebenl\"aufigen Kalk\"ul mit Logischen Variablen}}, month = dec, year = 1994, howpublished = {Doctoral Dissertation, Universit{\"a}t des Saarlandes, Fachbereich Informatik, Im Stadtwald, 66041 Saarbr{\"u}cken, Germany}, } @Misc{PopovDiss, author = {Konstantin Popov}, title = {{\it Exploiting Thread-Level Concurrency for Parallelism in a Constraint Language}}, year = 1997, howpublished = {Doctoral Dissertation, Universit{\"a}t des Saarlandes, Fachbereich Informatik, Im Stadtwald, 66041 Saarbr{\"u}cken, Germany}, note = {In preparation} } @article{Shapiro:89, author = {Ehud Shapiro}, title = {The Family of Concurrent Logic Programming Languages}, journal = {ACM Computing Surveys}, year = {1989}, month = sep, volume = {21}, number = {3}, pages = {413--511}, } @InCollection{Vol1000, author = {Gert Smolka}, title = {The {Oz} Programming Model}, booktitle = {Computer Science Today}, editor = {Jan van Leeuwen}, year = 1995, series = LNCS # {~1000}, publisher = spring, address = springort, pages = {324--343} } @book{Stroustrup:96, author = {Gregory Wilson and Paul Lu}, title = {Parallel Programming Using {C++}}, year = 1996, publisher = mit, address = mitort, note = {Foreword {``A Perspective on Concurrency and C++''} by Bjarne Stroustrup} } @book{Yonezawa:OOCP:87, YEAR = 1987, TITLE = {Object-Oriented Concurrent Programming}, EDITOR = {Akinori Yonezawa and Mario Tokoro}, PUBLISHER = mit, ADDRESS = mitort, } @incollection{yonezawa:tokoro:intro:87, AUTHOR = {Akinori Yonezawa and Mario Tokoro}, TITLE = {Object-Oriented Concurrent Programming: An Introduction}, YEAR = 1987, PAGES = {1--7}, BOOKTITLE = {Object-Oriented Concurrent Programming}, EDITOR = {Akinori Yonezawa and Mario Tokoro}, PUBLISHER = mit, ADDRESS = mitort, } @incollection{yokote:87, AUTHOR = {Yasuhiko Yokote and Mario Tokoro}, TITLE = {Concurrent Programming in {ConcurrentSmalltalk}}, YEAR = 1987, PAGES = {129--158}, BOOKTITLE = {Object-Oriented Concurrent Programming}, EDITOR = {Akinori Yonezawa and Mario Tokoro}, PUBLISHER = mit, ADDRESS = mitort, } @InCollection{America:87, AUTHOR = {Pierre America}, TITLE = {{POOL-T}: A Parallel Object-Oriented Language}, YEAR = 1987, PAGES = {199--220}, BOOKTITLE = {Object-Oriented Concurrent Programming}, EDITOR = {Akinori Yonezawa and Mario Tokoro}, PUBLISHER = mit, ADDRESS = mitort, } @article{CardelliWegner:85, author = {Luca Cardelli and Peter Wegner}, title = {On Understanding Types, Data Abstraction, and Polymorphism}, journal = {ACM Computing Surveys}, year = {1985}, month = dec, volume = {17}, number = {4}, pages = {471--522}, } @InProceedings{LispHistory, AUTHOR = {Guy Steele and Richard Gabriel}, TITLE = {The Evolution of Lisp}, BOOKTITLE = {Proceedings of the ACM SIGPLAN History of Programming Languages Conference}, EDITOR = {Richard Wexelblat}, address = {Cambridge, MA}, PUBLISHER = {ACM SIGPLAN Notices 28(3)}, PAGES = {231--270}, YEAR = {1993} } @article{Shapiro83, AUTHOR = {Ehud Shapiro and Akikazu Takeuchi}, TITLE = {Object Oriented Programming in {C}oncurrent {P}rolog}, YEAR = 1983, JOURNAL = {New Generation Computing}, Volume = 1, PAGES = {24--48}, } @article{Huntbach95, AUTHOR = {Matthew Huntbach}, TITLE = {An Introduction to {RGDC} as a Concurrent Object-Oriented Language}, YEAR = 1995, JOURNAL = {Journal of Object-Oriented Programming}, PAGES = {29--37}, } @article{Clark77, AUTHOR = {Keith Clark and Sten-{\AA}ke T{\"a}rnlund}, TITLE = {A first order theory of data and programs}, YEAR = 1977, JOURNAL = {Information Processing}, number = {77}, PAGES = {894--909}, } @Article{Landin63, author = {Peter Landin}, title = {The Mechanical Evaluation of Expressions}, journal = {Computer Journal}, year = 1963, volume = 6, number = 4, pages = {308--320}, } @article{Landin65, AUTHOR = {Peter Landin}, TITLE = {A Correspondence between {ALGOL 60} and {Church}'s Lambda-Notation: Part {I}}, YEAR = 1965, JOURNAL = CACM, volume = {8}, number = {2}, PAGES = {89--101}, } @article{Landin66, AUTHOR = {Peter Landin}, TITLE = {The Next 700 Programming Languages}, YEAR = 1966, JOURNAL = CACM, volume = {9}, number = {3}, PAGES = {157--166}, } @article{Naur63, AUTHOR = {Peter Naur and others}, TITLE = {Revised Report on the Algorithmic Language {ALGOL 60}}, YEAR = 1963, JOURNAL = CACM, volume = {6}, number = {1}, PAGES = {1--20}, } @InProceedings{Ida83, AUTHOR = {Tetsuo Ida and Jiro Tanaka}, TITLE = {Functional Programming with Streams}, BOOKTITLE = IFIP, EDITOR = {R. E. A. Mason}, address = {Paris}, PUBLISHER = nh#{,~}#nhort, PAGES = {265--270}, YEAR = {1983} } @book{booch:91, AUTHOR = {Grady Booch}, TITLE = {Object-Oriented Design with Applications}, YEAR = 1991, PUBLISHER = {Benjamin/Cummings Publishing}, ADDRESS = {Redwood City, CA}, } @article{Ghan:94, AUTHOR = {Ghan Bir Singh}, TITLE = {Single Versus Multiple Inheritance in Object Oriented Programming}, YEAR = 1994, JOURNAL = {ACM SIGPLAN OOPS Messenger: Object-Oriented Programming Systems}, volume = {5}, number = {1}, PAGES = {34--43}, } @article{Baker93, AUTHOR = {Henry Baker}, TITLE = {Equal Rights for Functional Objects or, The More Things Change, The More They Are the Same}, YEAR = 1993, JOURNAL = {ACM SIGPLAN OOPS Messenger: Object-Oriented Programming Systems}, volume = {4}, number = {4}, PAGES = {2--27}, } @article{Hoelzle:96, AUTHOR = {Urs H{\"o}lzle and David Ungar}, TITLE = {Reconciling Responsiveness with Performance in Pure Object-Oriented Languages}, YEAR = 1996, JOURNAL = {ACM Transactions on Programming Languages and Systems}, volume = {18}, number = {4}, PAGES = {355--400}, } @InProceedings{Hoelzle:91, AUTHOR = {Urs H{\"o}lzle and Craig Chambers and David Ungar}, TITLE = {Optimizing Dynamically-Typed Object-Oriented Languages With Polymorphic Inline Caches}, booktitle = ECOOP, EDITOR = {Pierre America}, address = {Geneva, Switzerland}, series = LNCS # {~512}, publisher = spring#{,~}#springort, PAGES = {21--38}, year = {1991}, } @InProceedings{Deutsch:83, AUTHOR = {Peter Deutsch and Allan Schiffman}, TITLE = {Efficient Implementation of the {Smalltalk-80} System}, publisher = acm#{,~}#acmort, BOOKTITLE = POPL, EDITOR = {Alan Demers}, address = {Austin, TX}, PAGES = {297--302}, YEAR = {1983} } @article{Hoare72, AUTHOR = {Charles A. R. Hoare}, TITLE = {Monitors: An Operating System Structuring Concept}, YEAR = 1972, JOURNAL = CACM, month = oct, volume = {17}, number = {10}, PAGES = {549--557}, } @article{Courtois:71, AUTHOR = {Pierre-Jacques Courtois and F. Heymans and David Parnas}, TITLE = {Concurrent Control with Readers and Writers}, YEAR = 1971, JOURNAL = CACM, month = oct, volume = {14}, number = {10}, PAGES = {667--668}, } @InProceedings{Reppy:91, AUTHOR = {John Reppy}, TITLE = {{CML}: A Higher-Order Concurrent Language}, publisher = acm#{,~}#acmort, BOOKTITLE = {Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation}, address = {Toronto, Canada}, PAGES = {293--303}, YEAR = {1991} } @article{simula:66, AUTHOR = {Ole-Johan Dahl and Kristen Nygaard}, TITLE = {{Simula}, an {Algol}-based Simulation Language}, YEAR = 1966, JOURNAL = CACM, volume = {9}, number = {9}, PAGES = {671--678}, } @TechReport{simula:65, author = {Ole-Johan Dahl and Kristen Nygaard}, title = {{SIMULA}---A Language for Programming and Description of Discrete Event Systems, Introduction and User's Manual}, institution = {Norwegian Computing Center}, address = {Forskningsveien 1 B, Oslo 3, Norway}, year = 1965, month = may, } @article{Hoare:66, AUTHOR = {Charles A. R. Hoare and Nikolaus Wirth}, TITLE = {Contribution to the Development of {ALGOL 60}}, YEAR = 1966, JOURNAL = CACM, volume = {9}, number = {6}, PAGES = {413--432}, } @inproceedings{Deutsch89, AUTHOR = {Peter Deutsch}, TITLE = {The Past, Present, and Future of Smalltalk}, YEAR = 1989, EDITOR = {Cook, Stephen}, BOOKTITLE = ECOOP, address = {Nottingham, UK}, publisher = {Cambridge University Press}#{,~}#{Cambridge, MA}, PAGES = {73--87}, } @Book{GoldbergRobson:83, AUTHOR = {Adele Goldberg and David Robson}, TITLE = {{Smalltalk-80}: The Language and its Implementation}, YEAR = 1983, PUBLISHER = add, ADDRESS = addort } @Book{Ungar:86, AUTHOR = {David Ungar}, TITLE = {The Design and Evaluation of a High Performance {Smalltalk} System}, YEAR = 1986, PUBLISHER = mit, ADDRESS = mitort } @Article{Dijkstra71, author = {Edsger Dijkstra}, title = {Hierarchical Ordering of Sequential Processes}, journal = {Acta Informatica}, volume = 1, year = 1971, pages = {115--138} } @incollection{Dijkstra68, AUTHOR = {Edsger Dijkstra}, TITLE = {Cooperating Sequential Processes}, YEAR = 1968, BOOKTITLE = {Programming Languages}, EDITOR = {F. Genuys}, PUBLISHER = {Academic Press}, ADDRESS = {London}, } @InProceedings{Kahn74, AUTHOR = {Gilles Kahn}, TITLE = {The Semantics of a Simple Language for Parallel Processes}, BOOKTITLE = IFIP, address = {Stockholm, Sweden}, PUBLISHER = nh#{,~}#nhort, PAGES = {471--475}, YEAR = 1974 } @INPROCEEDINGS{Kahn77, BOOKTITLE = IFIP, AUTHOR = {Gilles Kahn and David MacQueen}, TITLE = {Coroutines and Networks of Parallel Processes}, EDITOR = {Bruce Gilchrist}, PUBLISHER = nh#{,~}#nhort, ADDRESS = {Toronto, Canada}, YEAR = {1977}, PAGES = {993--998}, MONTH = aug, } @INPROCEEDINGS{HewittBaker77, BOOKTITLE = IFIP, AUTHOR = {Carl Hewitt and Henry Baker}, TITLE = {Laws for Communicating Parallel Processes}, EDITOR = {Bruce Gilchrist}, PUBLISHER = nh#{,~}#nhort, ADDRESS = {Toronto, Canada}, YEAR = {1977}, PAGES = {987--992}, MONTH = aug, } @Article{Hewitt77, author = {Carl Hewitt}, title = {Viewing Control Structures as Patterns of Message Passing}, journal = jai, volume = 8, number = 3, year = 1977, pages = {323--364} } @Article{RecordsLogProg-jlp, author = {Gert Smolka and Ralf Treinen}, title = {Records for Logic Programming}, journal = jlp, volume = 18, number = 3, year = 1994, month = apr, pages = {229--258} } @Book{WamTutorialBook, author = {Hassan A{\"\i}t-Kaci}, key = {Ait-Kaci}, title = {Warren's Abstract Machine: A Tutorial Reconstruction}, publisher = mit, address = mitort, year = {1991}, series = {Logic Programming}, } @inproceedings{RelationalLanguage, author = {Keith Clark and Steve Gregory}, title = {A Relational Language for Parallel Programming}, booktitle = {Symposium on Functional Languages and Computer Architecture}, address = {Aspen{\"a}s, Sweden}, PUBLISHER = {University of G{\"o}teborg}, year = 1981, pages = {171--178} } @inproceedings{ALPS, AUTHOR = {Michael Maher}, TITLE = {Logic Semantics for a Class of Committed-Choice Programs}, YEAR = 1987, editor = {Jean-Louis Lassez}, booktitle = ICLP, ADDRESS = {Melbourne, Australia}, PUBLISHER = mit#{,~}#mitort, pages = {858--876}, } @PhdThesis{Janson:PhD:94, Author = {Sverker Janson}, Title = {{AKL}---A Multiparadigm Programming Language}, Year = 1994, Address = {SICS Box 1263, S-164 28 Kista, Sweden}, School = {SICS Swedish Institute of Computer Science}, Series = {SICS Dissertation Series}, Number = 14 } @Article{jaffar:94, author = {Joxan Jaffar and Michael Maher}, title = {Constraint Logic Programming---A Survey}, journal = JLP, year = 1994, volume = {19/20}, pages = {503--582}, } @book{Benhamou:93, editor = {Fr\'{e}d\'{e}ric Benhamou and Alain Comerauer}, note = {Selected Research}, publisher = mit, address = mitort, title = {Constraint Logic Programming}, year = {1993} } @article{PrologII, author = {Alain Colmerauer and Henri Kanoui and Michel Van Caneghem}, title = {Prolog, Theoretical Principles and Current Trends}, journal = {Technology and Science of Informatics}, volume = 2, number = 4, year = 1983, pages = {255--292} } @InProceedings{MSS:PLILP95, Author = {Michael Mehl and Ralf Scheidhauer and Christian Schulte}, Title = {An Abstract Machine for {Oz}}, Editor = {Manuel Hermenegildo and Doaitse Swierstra}, Booktitle = {International Symposium on Programming Languages: Implementations, Logics and Programs}, address = {Utrecht, The Netherlands}, Year = 1995, Publisher = spring#{,~}#springort, Series = LNCS # {~982}, Pages = {151--168}, } @InProceedings{IJCAI93, author = {Martin Henz and Gert Smolka and J{\"o}rg W{\"u}rtz}, title = {{Oz}---A Programming Language for Multi-Agent Systems}, booktitle = IJCAI, address = {Chamb{\'e}ry, France}, editor = {Ruzena Bajcsy}, publisher = mk#{,~}#mkort, volume = 1, pages = {404--409}, year = 1993, } @TechReport{RR-93-16, author = {Gert Smolka and Martin Henz and J\"org W\"urtz}, title = {Object-Oriented Concurrent Constraint Programming in {Oz}}, institution = dfki, address = dfkiort, type = {Research Report}, number = {RR-93-16}, year = 1993, month = apr, } @TechReport{FR-97-02, author = {Gert Smolka and Martin Henz and Michael Mehl and Ralf Scheidhauer and Christian Schulte and Ralf Treinen and J\"org W\"urtz}, title = {Hydra: {Hybride} {Werkbank} zur {Konstruktion} von deduktiven {Probleml{\"o}sern} in wissensbasierten {Systemen}: {Berechnung} und {Deduktion} mit {Constraints}}, institution = dfki, address = dfkiort, type = {Research Report}, number = {FR-97-02}, year = 1997, } @article{Broy:86, author = {Manfred Broy}, journal = {Theoretical Computer Science}, pages = {1--61}, title = {A Theory for Nondeterminism, Parallelism, Communication and Concurrency}, volume = {45}, year = {1986} } @TechReport{ozdoc:crash, author = {Gert Smolka}, title = {An {Oz} Primer}, institution = dfki, address = dfkiort, type = ozdoc, year = 1997, } @inproceedings{Kahn89, author = {Kenneth Kahn}, title = {Objects: A fresh look}, booktitle = ECOOP, editor = {Stephen Cook}, address = {Nottingham, UK}, year = {1989}, pages = {207--223}, publisher = {Cambridge University Press}#{,~}#{Cambridge, MA}, } @InProceedings{yoshida:88, author = {Kaoru Yoshida and Takashi Chikayama}, title = {{A'UM}---A Stream-Based Concurrent Object-Oriented Language}, PUBLISHER = spring#{,~}#springort, ADDRESS = {Tokyo, Japan}, booktitle = FGCS, year = {1988}, pages = {638--649}, } @InCollection{kahn:87, author = {Kenneth Kahn and Eric Tribble and Mark Miller and Daniel Bobrow}, title = {{Vulcan}: Logical Concurrent Objects}, booktitle = {{Concurrent Prolog}}, publisher = mit, address = mitort, series = {Series in Logic Programming}, year = {1987}, editor = {Ehud Shapiro}, pages = {275--303}, } @InProceedings{Kahn:86, author = {Kenneth Kahn and Eric Tribble and Mark Miller and Daniel Bobrow}, title = {Objects in Concurrent Logic Programming Languages}, booktitle = OOPSLA, EDITOR = {Norman Meyrowitz}, address = {Portland, Oregon}, publisher = {ACM SIGPLAN Notices 21(11)}, year = 1986, pages = {242--257}, } @INPROCEEDINGS{Pedersen:89, AUTHOR = {Claus Pedersen}, TITLE = {Extending Ordinary Inheritance Schemes to Include Generalization}, BOOKTITLE = OOPSLA, EDITOR = {Norman Meyrowitz}, PUBLISHER = acm#{,~}#acmort, YEAR = {1989}, PAGES = {407--418}, } @book{Lippman89, author = {Stanley Lippman}, title = {{C++} Primer}, year = {1989}, publisher = add, address = addort, } @book{Stroustrup87, AUTHOR = {Bjarne Stroustrup}, TITLE = {The {C++} Programming Language}, YEAR = 1987, PUBLISHER = add, ADDRESS = addort, } @InProceedings{Browser:WOz:95, Author = {Konstantin Popov}, Title = {An Exercise in Concurrent Object-Oriented Programming: {O}z {B}rowser}, Booktitle = {WOz'95, International Workshop on Oz Programming}, Year = 1995, Address = idiap#{,~}#idiaport, } @incollection{Backus:77, author = {John Backus}, title = {Can Programming be Liberated from the von {Neumann} Style? {A} Functional Style and Its Algebra of Programs}, crossref = {AshenhurstGraham87}, booktitle = {ACM Turing Award Lectures : The First 20 Years (1966-1985)}, editor = {Robert Ashenhurst and Susan Graham}, publisher = acm, address = acmort, year = {1987}, note = {1977 Turing Award Lecture} } @incollection{Wirth:80, author = {Niklaus Wirth}, title = {bla}, crossref = {AshenhurstGraham87}, booktitle = {ACM Turing Award Lectures : The First 20 Years (1966-1985)}, editor = {Robert Ashenhurst and Susan Graham}, publisher = acm, address = acmort, year = {1987}, note = {1980 Turing Award Lecture} } @BOOK{AshenhurstGraham87, TITLE = {ACM Turing Award Lectures : The First 20 Years (1966-1985)}, EDITOR = {Robert Ashenhurst and Susan Graham}, PUBLISHER = acm, ADDRESS = acmort, YEAR = {1987}, SERIES = {Anthology series}, } @book{ada, author = {{US Department of Defense}}, key = {ada}, title = {The {Ada} Programming Language}, year = {1983}, publisher = {US Government Printing Office}, address = {Washington, DC} } @book{occam, author = {{Inmos Limited}}, key = {occam}, title = {occam 2 Reference Manual}, year = {1988}, publisher = prentice, address = prenticeort, } @Book{Agha:86, AUTHOR = {Gul Agha}, TITLE = {{Actors}: A Model of Concurrent Computation in Distributed Systems}, YEAR = {1986}, PUBLISHER = mit, ADDRESS = mitort } @PHDTHESIS{davison:89, AUTHOR = {Andrew Davison}, TITLE = {{Polka}: A {Parlog} Object-Oriented Language}, SCHOOL = {Imperial College, London}, YEAR = {1989}, } @book{SaraswatDiss, author = {Vijay Saraswat}, title = {Concurrent Constraint Programming}, year = {1993}, publisher = mit, address = mitort, } @InProceedings{SS:ilps94, author = {Christian Schulte and Gert Smolka}, title = {Encapsulated Search in Higher-Order Concurrent Constraint Programming}, booktitle = ISLP, address = {Ithaca, NY}, editor = {Maurice Bruynooghe}, year = 1994, publisher = mit#{,~}#mitort, pages = {505--520}, } @InProceedings{VMS:PLILP96, Author = {Peter Van Roy and Michael Mehl and Ralf Scheidhauer}, Title = {Integrating Efficient Records into Concurrent Constraint Programming}, Booktitle = {International Symposium on Programming Languages, Implementations, Logics, and Programs}, address = {Aachen, Germany}, year = 1996, Publisher = spring#{,~}#springort, } @InProceedings{SSW:ppcp94, author = {Christian Schulte and Gert Smolka and J\"org W\"urtz}, title = {Encapsulated Search and Constraint Programming in {O}z}, booktitle = {Second Workshop on Principles and Practice of Constraint Programming}, address = {Rosario, Orcas Island, WA}, editor = {Alan Borning}, pages = {134--150}, year = 1994, publisher = spring#{,~}#springort, series = LNCS # {~874}, } @InProceedings{Milner:91, AUTHOR = {Robin Milner}, TITLE = {The Polyadic {$\pi$}-Calculus: A Tutorial}, BOOKTITLE = {Proceedings of the Summer School on Logic and Algebra of Specification}, ADDRESS = {Marktoberndorf, Germany}, EDITOR = {Friedrich Bauer and Wilfried Brauer and Helmut Schwichtenberg}, PUBLISHER = spring#{,~}#{NATO ASI Series}#{,~}#springort, YEAR = {1993}, } @book{Steele:90, author = {Guy Steele}, title = {{Common LISP}: The Language}, publisher = {Digital Press}, edition = {Second}, year = 1990 } @incollection{MatsuokaYonezawa:93, author = {Satoshi Matsuoka and Akinori Yonezawa}, title = {Analysis of Inheritance Anomaly in Object-Oriented Concurrent Programming Languages}, booktitle = {Research Directions in Object-Based Concurrency}, editor = {Gul Agha and Peter Wegner and Akinori Yonezawa}, publisher = mit, address = mitort, year = {1993}, } @BOOK{VW-Guide4.1, TITLE = {{VisualWorks}. {ObjectWorks} {Smalltalk} User's Guide, Release 4.1: {Smalltalk}---Programming Tools---Application Components}, PUBLISHER = {Parc\-Place Systems}, KEY = {VisualWorks}, ADDRESS = {Sunnyvale, CA}, YEAR = {1992}, } @BOOK{ArnoldGosling96, AUTHOR = {Ken Arnold and James Gosling}, TITLE = {The {Java} Programming Language}, PUBLISHER = add, ADDRESS = addort, SERIES = {The Java Series}, YEAR = {1996}, } @BOOK{Lea:96, AUTHOR = {Doug Lea}, TITLE = {Concurrent Programming in {Java}}, PUBLISHER = add, ADDRESS = addort, SERIES = {The Java Series}, YEAR = {1997}, } @INPROCEEDINGS{ppopp93*218, AUTHOR = {Kenjiro Taura and Satoshi Matsuoka and Akinori Yonezawa}, TITLE = {An Efficient Implementation Scheme of Concurrent Object-Oriented Languages on Stock Multicomputers}, BOOKTITLE = {Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming}, ADDRESS = {Charleston, SC}, EDITOR = {Marina Chen}, PUBLISHER = acm#{,~}#acmort, YEAR = 1993, PAGES = {218--228}, } @INPROCEEDINGS{popl95*311, AUTHOR = {John Plevyak and Xingbin Zhang and Andrew Chien}, TITLE = {Obtaining Sequential Efficiency for Concurrent Object-Oriented Languages}, BOOKTITLE = POPL, address = {San Francisco, CA}, PUBLISHER = acm#{,~}#acmort, YEAR = {1995}, PAGES = {311--321}, LOCATION = {MPI-ZB}, BIBTYPE = {INPROCEEDINGS}, } @INPROCEEDINGS{lncs221*168, AUTHOR = {Kazunori Ueda}, TITLE = {{G}uarded {H}orn {C}lauses}, ADDRESS = {Tokyo, Japan}, BOOKTITLE = ICLP, EDITOR = {Eiti Wada}, PUBLISHER = spring#{,~}#springort, YEAR = {1985}, SERIES = LNCS#{~221}, PAGES = {168--179}, } @INPROCEEDINGS{lncs206*347, AUTHOR = {Vijay Saraswat}, TITLE = {Partial Correctness Semantics for {CP}$[\downarrow,|,\&]$}, BOOKTITLE = {Proceedings of the Conference on Foundations of Software Technology and Theoretical Computer Science}, ADDRESS = {New Delhi, India}, EDITOR = {S.N. Meheshwari}, PUBLISHER = spring#{,~}#springort, YEAR = {1985}, SERIES = LNCS#{~206}, PAGES = {347--368}, } @Misc{hydra, author = "Gert Smolka", title = {Hydra: Constraint-Based Computation and Deduction}, howpublished = "Project Proposal, "# dfki # " " # dfkiort, year = 1991, month = apr, } @Misc{cathedral, author = {Eric S. Raymond}, title = {The Cathedral and the Bazaar}, howpublished = "somewhere on the web, search for title", year = 1997, month = sep, } @Misc{diss-programs, author = {Martin Henz}, title = {{Objects in Oz}---The Programs of the Thesis}, year = {1997}, howpublished = {{\tt http://www.com.nus.edu.sg/$\tilde{\ }$henz/ofccp/oz/}}, address = {Universit{\"a}t des Saarlandes, Forschungsbereich Programmiersysteme, Postfach 15 11 50, 66041 Saarbr{\"u}cken, Germany} } @InProceedings{Moon:86, author = {David Moon}, title = {Object-Oriented Programming with {Flavors}}, booktitle = OOPSLA, EDITOR = {Norman Meyrowitz}, address = {Portland, Oregon}, publisher = {ACM SIGPLAN Notices 21(11)}, year = 1986, pages = {1--8}, month = sep } @techreport{Steele:declarative, author = {Guy Steele}, title = {Lambda: The Ultimate Declarative}, institution = mit2, year = {1976}, month = nov, type = {A.I. Memo No.}, number = {379}, address = mitort, } @techreport{Steele:imperative, author = {Guy Steele and Gerald Sussman}, title = {Lambda: The Ultimate Imperative}, institution = mit2, address = mitort, year = {1976}, month = mar, type = {A.I. Memo No.}, number = {353}, } @techreport{scheme:75, author = {Gerald Sussman and Guy Steele}, title = {Scheme: An Interpreter for Extended Lambda Calculus}, institution = mit2, year = {1975}, month = dec, type = {A.I. Memo No.}, number = {349}, address = mitort } @book{McCarthy:65, AUTHOR = {John McCarthy}, TITLE = {{LISP} 1.5 Programmer's Manual}, YEAR = 1965, PUBLISHER = mit, ADDRESS = mitort } @INPROCEEDINGS{popl83*285, AUTHOR = {Kristensen, Bent Bruun and Madsen, Ole Lehrmann and Moller-Pedersen, Birger and Nygaard, Kristen}, TITLE = {Abstraction mechanisms in the {Beta} programming language}, BOOKTITLE = POPL, ADDRESS = {Austin, TX}, EDITOR = {Alan Demers}, PUBLISHER = acm#{,~}#acmort, YEAR = {1983}, PAGES = {285--298}, } @INPROCEEDINGS{OOPSLA87*227, AUTHOR = {Ungar, David and Smith, Randall B.}, TITLE = {{Self}: The Power of Simplicity}, BOOKTITLE = OOPSLA, EDITOR = {Norman Meyrowitz}, ADDRESS = {Orlando, FL}, PUBLISHER = acm#{,~}#acmort, YEAR = 1987, PAGES = {227--242}, } @InProceedings{Remy:POPL:97, AUTHOR = {Didier R{\'e}my and J{\'e}r{\^o}me Vouillon}, KEY = {Remy}, TITLE = {{Objective ML}: A Simple Object-Oriented Extension of {ML}}, PUBLISHER = acm#{,~}#acmort, ADDRESS = {Paris}, MONTH = jan, BOOKTITLE = POPL, YEAR = {1997}, PAGES = {40--53} } @article{Taivalsaari:96, author = {Antero Taivalsaari}, title = {On the Notion of Inheritance}, journal = {ACM Computing Surveys}, year = {1996}, month = sep, volume = {28}, number = {3}, pages = {438--479} } @TECHREPORT{BretthauerKopp91, AUTHOR = {Bretthauer, Harry and Kopp, Juergen}, TITLE = {The Meta Class System {MCS}. A Portable Object System for {Common Lisp}---Version 1.3}, ADDRESS = {Sankt Augustin, Germany}, YEAR = {1991}, NUMBER = {554}, INSTITUTION = {Gesellschaft f{\"u}r Mathematik und Datenverarbeitung}, } @INPROCEEDINGS{pldi94*326, AUTHOR = {Urs H{\"o}lzle and David Ungar}, TITLE = {Optimizing Dynamically-Dispatched Calls with Run-Time Type Feedback}, BOOKTITLE = {Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation}, ADDRESS = {Orlando, Florida}, PUBLISHER = acm#{,~}#acmort, YEAR = {1994}, PAGES = {326--336}, } @ARTICLE{Toontalk:96, JOURNAL = {Journal of Visual Languages and Computing}, AUTHOR = {Kenneth Kahn}, PUBLISHER = {Academic Press}, YEAR = {1996}, MONTH = jun, TITLE = {{ToonTalk}---An Animated Programming Environment for Children}, } @InProceedings{Bal:91, author = {Henri Bal}, title = {A Comparative Study of Five Parallel Programming Languages}, booktitle = {EurOpen Spring Conference on Open Distributed Systems in Perspective}, address = {Tromso, Norway}, year = 1991, pages = {209--228}, } @ARTICLE{JTOPLAS-07-4*501, AUTHOR = {Robert Halstead}, TITLE = {{Multilisp}: A Language for Concurrent Symbolic Computation}, YEAR = {1985}, JOURNAL = {ACM Transactions on Programming Languages and Systems}, VOLUME = {7}, NUMBER = {4}, PAGES = {501--538}, } @INPROCEEDINGS{isca89*262, AUTHOR = {Rishiyur Nikhil and Arvind}, TITLE = {Can Dataflow Subsume von Neumann Computing\?}, BOOKTITLE = {Proceedings of the Annual International Symposium on Computer Architecture}, EDITOR = {Michael Yoeli and Gabriel Silberman}, PUBLISHER = {IEEE Computer Society Press}, ADDRESS = {Jerusalem, Israel}, YEAR = {1989}, PAGES = {262--272}, } @INPROCEEDINGS{lncs259*1, AUTHOR = {Arvind and Nikhil, Rishiyur}, TITLE = {Executing a Program on the {MIT} Tagged-Token Dataflow Architecture}, BOOKTITLE = {Proceedings of the Conference on Parallel Architectures and Languages Europe (PARLE). Volume II: Parallel Languages}, EDITOR = {de Bakker, Jacobus and Nijman, A.J. and Treleaven, Philip}, PUBLISHER = spring#{,~}#springort, ADDRESS = {Eindhoven, Netherlands}, YEAR = {1987}, SERIES = LNCS#{~259}, PAGES = {1--29}, } @Article{Friedman:78, author = {Daniel Friedman and David Wise}, title = {Aspects of Applicative Programming for Parallel Processing}, journal = {IEEE Transactions on Computers}, year = 1978, volume = {C-27}, number = 4, month = apr, pages = {289--296}, } @Article{Smith:80, author = {Reid Smith}, title = {The Contract Net Protocol: High-Level Communication and Control in a Distributed Problem Solver}, journal = {IEEE Transactions on Computers}, year = 1980, volume = {C-29}, number = 12, month = dec, pages = {1104--1113}, } @INPROCEEDINGS{Kowalski74, AUTHOR = {Robert Kowalski}, BOOKTITLE = IFIP, EDITOR = {Jack Rosenfeld}, TITLE = {Predicate Logic as a Programming Language}, PUBLISHER = nh#{,~}#nhort, ADDRESS = {Stockholm, Sweden}, YEAR = {1974}, } @TECHREPORT{Colmerauer73, AUTHOR = {Alain Colmerauer and Henri Kanoui and R. Psero and Philippe Roussel}, TITLE = {Un Syst{\`e}me de Communication Homme-Machine en Fran{\c{c}}ais}, ADDRESS = {Marseille, France}, YEAR = {1973}, INSTITUTION = {Universit{\'e} Aix-Marseille II}, } @phdthesis{IannucciDiss, AUTHOR = {Robert Iannucci}, TITLE = {Dataflow/von {Neumann} Hybrid Architecture}, YEAR = 1988, SCHOOL = mit2, ADDRESS = mitort, } @INPROCEEDINGS{Dennis74, AUTHOR = {Jack Dennis}, TITLE = {First Version of a Data Flow Procedure Language}, BOOKTITLE = {Proceedings Colloque sur la Programmation}, EDITOR = {Bernhard Robinet}, ADDRESS = {Paris}, PUBLISHER = spring#{,~}#springort, YEAR = {1974}, SERIES = LNCS#{~19}, PAGES = {362--376} } @ARTICLE{Baker:93, TITLE = {Iterators: Signs of Weakness in Object-Oriented Languages}, AUTHOR = {Henry Baker}, JOURNAL = {ACM SIGPLAN OOPS Messenger: Object-Oriented Programming Systems}, volume = 4, number = 3, month = jul, year = 1993, pages = {289--296}, } @mastersthesis{Driesen:93, author = {Karel Driesen}, title = {Method Lookup Strategies in Dynamically Typed Object-Oriented Programming Languages}, school = {Vrije Universiteit Brussel}, year = 1993, } @BOOK{FriedmanWandHaynes92, AUTHOR = {Daniel Friedman and Mitchell Wand and Christopher Haynes}, TITLE = {Essentials of Programming Languages}, PUBLISHER = mit, ADDRESS = mitort, YEAR = {1992}, } @InProceedings{Bobrow:86, author = {Daniel Bobrow and Kenneth Kahn and Gregor Kiczales and Larry Masinter and Mark Stefik and Frank Zdybel}, title = {{CommonLoops}, Merging {Lisp} and Object-Oriented Programming}, booktitle = OOPSLA, EDITOR = {Norman Meyrowitz}, address = {Portland, Oregon}, publisher = {ACM SIGPLAN Notices 21(11)}, year = 1986, pages = {17--29}, } @BOOK{Meyer92, AUTHOR = {Bertrand Meyer}, TITLE = {Eiffel: The Language}, PUBLISHER = prentice, ADDRESS = prenticeort, YEAR = {1992}, SERIES = {Object-Oriented Series}, } @book{AbadiCardelli:96, author = {Mart{\'\i}n Abadi and Luca Cardelli}, series = {Monographs in Computer Science}, publisher = spring, address = springort, title = {A Theory of Objects}, year = {1996} } @Manual{sicstus-manual, key = {SICS}, title = {{SICStus Prolog User's Manual, Release 3 \#5}}, organization = {Intelligent Systems Laboratory, SICS}, address = {PO Box 1263, 164 28 Kista, Sweden}, month = oct, year = {1996} } @Manual{SicstusProlog:00, title = {{SICStus Prolog User's Manual}}, author = {{Intelligent Systems Laboratory}}, Organization = {SICS Research Report, Swedish Institute of Computer Science}, address = {URL \url{http://www.sics.se/isl/sicstus.html}}, year = {2000}, } @phdthesis{McHaleDiss, AUTHOR = {Ciaran McHale}, TITLE = {Synchronization in Concurrent Object-Oriented Languages: Expressive Power, Genericity and Inheritance}, YEAR = 1994, SCHOOL = {University of Dublin, Trinity College}, ADDRESS = {Dublin, Ireland} } @incollection{Kiczales:93, author = {Gregor Kiczales and Michael Ashley and Luis Rodriguez and Amin Vahdat and Daniel Bobrow}, title = {Metaobject Protocols: Why We Want Them and What Else They Can Do}, booktitle = {Object-Oriented Programming: The {CLOS} Perspective}, editor = {Andreas Paepcke}, publisher = mit, address = mitort, pages = {103--118}, year = {1993}, } @InCollection{Schmidt93, author = {Heinz Schmidt and Stephen Omohundro}, title = {{CLOS}, {Eiffel}, and {Sather}: A Comparison}, booktitle = {Object-Oriented Programming: The {CLOS} Perspective}, editor = {Andreas Paepcke}, publisher = mit, address = mitort, pages = {181--213}, year = {1993}, } @BOOK{RalstonReilly93, TITLE = {Encyclopedia of Computer Science}, EDITION = {Third}, EDITOR = {Anthony Ralston and Edwin Reilly}, PUBLISHER = {Van Nostrand Reinhold}, ADDRESS = {New York}, YEAR = {1993}, } @techreport{BakerHewitt:77, author = {Henry Baker and Carl Hewitt}, title = {The Incremental Garbage Collection of Processes}, institution = mit2, year = {1977}, month = dec, type = {A.I. Memo No.}, number = {454}, address = mitort, } @BOOK{Yonezawa90, TITLE = {{ABCL}: An Object-Oriented Concurrent System}, EDITOR = {Yonezawa, Akinori}, PUBLISHER = mit, ADDRESS = mitort, YEAR = {1990}, SERIES = {Series in Computer Systems}, } @incollection{Watanabe90, author = {Takuo Watanabe and Akinori Yonezawa}, title = {Reflection in an Object-Oriented Concurrent Language}, booktitle = {{ABCL}: An Object-Oriented Concurrent System}, editor = {Akinori Yonezawa}, publisher = mit, address = mitort, pages = {45--70}, year = {1990}, } @BOOK{Moss94, AUTHOR = {Chris Moss}, TITLE = {{Prolog++}. The Power of Object-Oriented and Logic Programming}, PUBLISHER = add, ADDRESS = addort, YEAR = {1994}, SERIES = {International Series in Logic Programming}, } @Book{PalsbergSchwartzbach:94, author = {Jens Palsberg and Michael Schwartzbach}, title = {Object-Oriented Type Systems}, publisher = wil, address = wilort, year = {1994} } @InProceedings{ECOOP94, author = {Martin Henz and Gert Smolka}, title = {Objects in Higher-Order Concurrent Constraint Programming with State}, booktitle = {Workshop on Coordination Models and Languages for Parallelism and Distribution (in connection with ECOOP 94)}, year = 1994, address = {Bologna, Italy}, } @book{Coleman_94, AUTHOR = {Derek Coleman}, TITLE = {Object-Oriented Development: The Fusion Method}, YEAR = 1993, PUBLISHER = prentice, ADDRESS = prenticeort, } @Article{Caromel:93, AUTHOR = {Denis Caromel}, TITLE = {Toward a Method of Object-Oriented Concurrent Programming}, CROSSREF= {cool_cacm_issue}, JOURNAL = cacm, NUMBER = {9}, VOLUME = {36}, PAGES = {90--102}, MONTH = sep, YEAR = {1993} } @Article{KaraormanBruno:93, AUTHOR = {Murat Karaorman and John Bruno}, TITLE = {Introducing Concurrency to a Sequential Language}, CROSSREF= {cool_cacm_issue}, JOURNAL = cacm, NUMBER = {9}, VOLUME = {36}, PAGES = {103--116}, MONTH = sep, YEAR = {1993} } @ARTICLE{CACM-36-09*81, AUTHOR = {Klaus-Peter L{\"o}hr}, TITLE = {Concurrency Annotations for Reusable Software}, CROSSREF= {cool_cacm_issue}, MONTH = sep, YEAR = {1993}, JOURNAL = cacm, VOLUME = {36}, NUMBER = {9}, PAGES = {81--89}, } @Misc{cool_cacm_issue, title = {{Concurrent Object-Oriented Programming}}, howpublished = {Special Issue of }#{{\it Communications of the ACM}}#{, 36(9)}, year = 1993, key = {Concurrent Object-Oriented Programming}, month = sep, } @inproceedings{Emerald_86, AUTHOR = {Andrew Black and Norman Hutchinson and Eric Jul and Henry Levy}, TITLE = {Object Structure in the {Emerald} System}, YEAR = 1986, PAGES = {78--86}, booktitle = OOPSLA, EDITOR = {Norman Meyrowitz}, address = {Portland, Oregon}, publisher = {ACM SIGPLAN Notices 21(11)}, } @article{Meyer:cacm:93, author = {Bertrand Meyer}, title = {Systematic Concurrent Object-Oriented Programming}, CROSSREF= {cool_cacm_issue}, journal = cacm, year = {1993}, volume = {36}, number = {9}, month = sep, pages = {56--80}, } @Article{Wadler:90, author = {Philip Wadler}, title = {Deforestation: Transforming Programs to Eliminate Trees}, journal = {Theoretical Computer Science}, year = 1990, volume = 73, pages = {231--248}, } @Article{Havender:1968:ADM, author = {J. W. Havender}, title = {Avoiding Deadlock in Multitasking Systems}, journal = {IBM Systems Journal}, volume = 7, number = 2, pages = {74--84}, year = 1968, } @Article{scheme, Key = {Clinger}, EDITOR = {William Clinger and Jonathan Rees}, ANNOTE = {Contributors: Abelson, H. and Adams IV, N.I. and Bartley, D.H. and Brooks, G. and Dybvig, R.K. and Friedman, D.P. and Halstead, R. and Hanson, C. and Haynes, C.T. and Kohlbecker, E. and Oxley, D. and Pitman, K.M. and Rozas, G.J. and Steele Jr., G.L. and Sussman, G.J. and Wand, M.}, TITLE = {The Revised Report on the Algorithmic Language Scheme}, JOURNAL = {LISP Pointers}, VOLUME = {IV}, NUMBER = 3, PAGES = {1-55}, MONTH = {July-September}, YEAR = {1991} } @TechReport{Warren:83, author = {David H. D. Warren}, title = {An Abstract {Prolog} Instruction Set}, year = {1983}, month = {October}, number = {309}, type = {Technical Note}, institution = {SRI International, Artificial Intelligence Center}, address = {Menlo Park, CA} } %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Oz Documentation %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @TechReport{ozdoc:crash, author = "Gert Smolka", title = "An {Oz} Primer", institution = dfki, address = dfkiort, type = ozdoc, year = 1997, } @TechReport{ozdoc:kernel, author = "Gert Smolka", title = "The Definition of {K}ernel {Oz}", institution = dfki, address = dfkiort, type = ozdoc, year = 1994, month = nov, } @TechReport{ozdoc:tips, author = "Martin Henz and Martin M{\"u}ller", title = "Tips on {Oz}", institution = dfki, address = dfkiort, type = ozdoc, year = 1997, } @TechReport{ozdoc:tk, author = "Michael Mehl and Christian Schulte", title = "Window Programming in {DFKI} {Oz}", institution = dfki, address = dfkiort, type = ozdoc, year = 1997, } @TechReport{ozdoc:open, author = "Christian Schulte", title = "Open Programming in {DFKI} {Oz}", institution = dfki, address = dfkiort, type = ozdoc, year = 1997, } @TechReport{ozdoc:constraints, author = "Tobias M{\"u}ller and J{\"o}rg W{\"u}rtz", title = "Constraint Programming in {Oz}", institution = dfki, address = dfkiort, type = ozdoc, year = 1994, } @TechReport{ozdoc:demos, author = "Martin M{\"u}ller and Tobias M{\"u}ller and Christian Schulte and Ralf Treinen and J{\"o}rg W{\"u}rtz", title = "{DFKI} {Oz} Demos", institution = dfki, address = dfkiort, type = ozdoc, year = 1996, } @TechReport{ozdoc:system, author = "Michael Mehl and Tobias M{\"u}ller and Konstantin Popov and Ralf Scheidhauer and Christian Schulte", title = "{DFKI} {Oz} User's Manual", institution = dfki, address = dfkiort, type = ozdoc, year = 1997, } @TechReport{ozdoc:modules, author = "Martin Henz and Martin M{\"u}ller and Christian Schulte and J{\"o}rg W{\"u}rtz", title = "The {Oz} Standard Modules", institution = dfki, address = dfkiort, type = ozdoc, year = 1997, } @TechReport{ozdoc:notation, author = "Martin Henz", title = "The {Oz} Notation", institution = dfki, address = dfkiort, type = ozdoc, year = 1997, } @TechReport{ozdoc:scheduling, author = "J{\"o}rg W{\"u}rtz", title = "Scheduling in {Oz}", institution = dfki, address = dfkiort, type = ozdoc, year = 1997, } @TechReport{ozdoc:fd, author = "Tobias M{\"u}ller and J{\"o}rg W{\"u}rtz", title = "The Constraint Propagator Interface of {DFKI Oz}", institution = dfki, address = dfkiort, type = ozdoc, year = 1997, } %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Reports - others %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @techreport{Mehl91, author = {Michael Mehl}, title = {Nichtmonotone {A}spekte des fallbasierten {S}chlie{\ss}ens und deren {F}undierung in {Default-Logik} mit {P}riorit{\"a}ten}, address = unikladdr, institution = unikl, type = {SEKI Report}, number = {SWP-91-04 (SFB)}, year = 1991, month = dec, note = "In German. A short version appeared in the 1991 {\em International Workshop on Nonmonotonic and Inductive Logic}, \cite{mehl93}", } @techreport{HS92, author = "Andreas V. Hense and Gert Smolka", title = "A Verification of Extensible Record Types", year = "1992", institution = unisb, address = unisbaddr, month = may, number = "A 03/92", type = "Technischer Bericht" } @TechReport{FT-PRLreport, author = "Hassan A{\"\i}t-Kaci and Andreas Podelski and Gert Smolka", title = "A Feature-based Constraint System for Logic Programming with Entailment", institution = "Digital Paris Research Laboratory", address = "92563 Rueil-Malmaison, France", type = "Research Report", number = 20, year = "1992", month = nov, note = "Appeared in the 1992 {\em Conference on Fifth Generation Computer Systems}, \cite{FT-FGC92}, and in in {\em Theoretical Computer Science}, \cite{FT-tcs}." } @techreport{HS93, author = "Andreas V. Hense and Gert Smolka", title = "Principal Types for Object-Oriented Languages", institution = unisb, address = unisbaddr, year = 1993, month = jun, type = "Technischer Bericht", number = "A 02/93" } @TechReport{ComonTreinen:lpo93lri, author = "Hubert Comon and Ralf Treinen", title = "The First-Order Theory of Lexicographic Path Orderings is Undecidable", institution = "Laboratoire de Recherche en Informatique", address = "Universit\'e de Paris Sud, 91405 Orsay, France", type = "Rapport de Recherche", number = "867", year = 1993, month = nov, note = "Also as DFKI Research Report RR-93-42, \cite{ComonTreinen:lpo93dfki}. To appear in {\em TCS}, \cite{ComonTreinen:lpo93tcs}" } %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % DFKI Reports %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @TechReport{RR-92-04, author = {J\"urgen M\"uller and J\"org M\"uller and Markus Pischel and Ralf Scheidhauer}, title = "On the Representation of Temporal Knowledge", institution = dfki, address = dfkiort, type = "Research Report", number = "RR-92-04", year = "1992", month = jun, } @TechReport{RR-92-17, author = "Hassan A{\"\i}t-Kaci and Andreas Podelski and Gert Smolka", title = "A Feature-based Constraint System for Logic Programming with Entailment", institution = dfki, address = dfkiort, type = "Research Report", number = "RR-92-17", year = "1992", month = mar, note = "Appeared in the 1992 {\em Conference on Fifth Generation Computer Systems}, \cite{FT-FGC92}, and in {\em Theoretical Computer Science}, \cite{FT-tcs}." } @TechReport{wuertz:92a, author = {J{\"o}rg W{\"u}rtz}, title = "Unifying Cycles", institution = dfki, address = dfkiort, type = "Research Report", number = "RR-92-22", year = 1992, month = mar, note = "Short version appeared in the 1992 {\em European Conference on Artificial Intelligence}, \cite{wuertz:92b}" } @TechReport{ST:RecordsLogProg92rep, author = "Gert Smolka and Ralf Treinen", title = "Records for Logic Programming", institution = dfki, address = dfkiort, type = "Research Report", number = "RR-92-23", month = aug, year = 1992, note = " Short version appeared in the 1992 Joint International Conference and Symposium on Logic Programming, \cite{ST:RecordsLogProg92}. Also in {\em Journal of Logic Programming}, \cite{ST:RecordsLogProg-jlp}." } @TechReport{BackofenSmolka91, author = {Rolf Backofen and Gert Smolka}, title = "A Complete and Recursive Feature Theory", institution = dfki, address = dfkiort, type = "Research Report", number = "RR-92-30", year = 1992, month = jul, note = "Short version appeared in the 1992 {\em Annual Meeting of the Association for Computational Linguistics}, \cite{BS:Compl:ACL93}. Extended version appeared in {\em Theoretical Computer Science\/}, \cite{BS:Compl-tcs}" } @TechReport{hanschke:93arep, author = "Philipp Hanschke and J{\"o}rg W{\"u}rtz", title = "Satisfiability of the smallest binary program", institution = dfki, address = dfkiort, type = "Research Report", number = "RR-93-09", year = 1993, month = feb, note = "Also published in {\em Information Processing Letters}, \cite{hanschke:93a}" } @TechReport{NPT:InfiniteMembership93rep, author = "Joachim Niehren and Andreas Podelski and Ralf Treinen", title = "Equational and Membership Constraints for Infinite Trees", institution = dfki, address = dfkiort, type = "Research Report", number = "RR-93-14", month = apr, year = 1993, note = "Short version appeared in the 1993 {\em Conference on Rewriting Techniques and Applications}, \cite{NiehrenRTA-93}" } @TechReport{SHW:OOCCprogrammingOz93, author = {Gert Smolka and Martin Henz and J\"org W\"urtz}, title = "Object-Oriented Concurrent Constraint Programming in {O}z", institution = dfki, address = dfkiort, type = "Research Report", number = "RR-93-16", year = 1993, month = apr, note = "appeared in {\em Principles and Practice of Constraint Programming}, see Section Books and Book Chapters", } @TechReport{ComonTreinen:lpo93dfki, author = "Hubert Comon and Ralf Treinen", title = "The First-Order Theory of Lexicographic Path Orderings is Undecidable", institution = dfki, address = dfkiort, type = "Research Report", number = "RR-93-42", year = 1993, month = sep, note = "Also as LRI Rapport de Recherche 867, \cite{ComonTreinen:lpo93lri}. To appear in {\em TCS\/}, \cite{ComonTreinen:lpo93tcs}." } @TechReport{Smolka:OzCalculus, author = "Gert Smolka", title = "A Calculus for Higher-Order Concurrent Constraint Programming with Deep Guards", institution = dfki, address = dfkiort, type = "Research Report", number = {RR-94-03}, year = 1994, month = feb } @TechReport{ComonTreinen:caap94rep, author = "Hubert Comon and Ralf Treinen", title = "Ordering Constraints on Trees", institution = dfki, address = dfkiort, type = "Research Report", number = {RR-94-12}, year = 1994, month = mar, note = "Also in {\em Colloquium on Trees in Algebra and Programming}, Edinburgh, Scotland, 11--14 April, 1994, \cite{ComonTreinen:caap94}" } @TechReport{Smolka:CCProg94rep, author = "Gert Smolka", title = "A Foundation for Higher-order Concurrent Constraint Programming", institution = dfki, address = dfkiort, type = "Research Report", number = {RR-94-16}, year = 1994, month = jun, note = "Also in {\em First International Conference on Constraints in Computational Logics}, M{\"u}nchen, Germany, 7--9 September 1994, \cite{Smolka:CCProg94ccl}" } @TechReport{BT:FeatureGames94rep, author = "Rolf Backofen and Ralf Treinen", title = "How to Win a Game with Features", institution = dfki, address = dfkiort, type = "Research Report", number = {RR-94-18}, year = 1994, month = jun, note = "Also in {\em 1st International Conference on Constraints in Computational Logics}, M{\"u}nchen, Germany, 7--9 September 1994, \cite{BT:CFTgames94ccl}." } @TechReport{SSW:RR-94-20, author = "Christian Schulte and Gert Smolka and J{\"o}rg W{\"u}rtz", title = "Encapsulated Search and Constraint Programming in {O}z", institution = dfki, address = dfkiort, type = "Research Report", number = "RR-94-20", year = 1994, month = aug, note = "Also in: {\em Proceedings of Second Workshop on Principles and Practice of Constraint Programming}, Springer-Verlag, LNCS 874, Orcas Island, Washington, USA, 1994, \cite{SSW:ppcp94}", } @TechReport{Smolka:OzKernel:DFKI, author = "Gert Smolka", title = "The Definition of {K}ernel {Oz}", institution = dfki, address = dfkiort, type = "Research Report", number = "RR-94-23", year = 1994, month = nov, note = "Appears also in the Oz Documentation Series, \cite{ozdoc:kernel}" } @TechReport{MSS:RR-95-08, Author = {Michael Mehl and Ralf Scheidhauer and Christian Schulte}, Title = {An {Abstract} {Machine} for {Oz}}, Institution= dfki, Address = dfkiort, Type = {Research Report}, Number = {RR-95-08}, Year = 1995, Month = jun, Note = {Also in: {\em Proceedings of PLILP'95\/}, Springer-Verlag, LNCS 982, Utrecht, The Netherlands, 1995,~\cite{MSS:PLILP95}}, } @TechReport{JN:RR-95-14, Author = {Joachim Niehren}, Title = {Functional Computation as Concurrent Computation}, Institution= "Deutsches Forschungszentrum f{\"u}r K{\"u}nstliche Intelligenz", Address = "Stuhlsatzenhausweg 3, D66123 Saarbr{\"u}cken, Germany", Type = {Research Report}, Number = {RR-95-14}, year = 1995, Month = nov, Note = {shorter version appeared in: {\em Proceedings of POPL'96\/}, The ACM Press}, filename = "RR-95-14.ps.Z, RR-95-14.ps.Z", directory = "ProgrammingSysLab", } %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Workshop Proceedings %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @inproceedings{mehl91, author = {Michael Mehl}, title = {Retrieval in Case-Based Reasoning using preferred subtheories}, booktitle = {2nd International Workshop on Nonmonotonic and Inductive Logic}, editor = {G. Brewka, K. P. Jantke and P. H. Schmitt}, series = {Lecture Notes in Artificial Intelligence, vol. 659}, publisher = spring, address = {Reinhardsbrunn Castle, Germany}, pages = "284--297", year = 1991, month = "2--6 " # dec } @InProceedings{HS91, author = "Andreas V. Hense and Gert Smolka", editor = "Zhongzhi Shi", title = "A Verification of Extensible Record Types", booktitle = "Proceedings of the IFIP TC12/WG12.3 International Workshop on Automated Reasoning", year = 1992, address = "Beijing, P.R. China", organization = "International Federation for Information Processing", publisher = "Elsevier, North-Holland, Excerpta Medica", month = "13--16 " # jul, pages = "137-164" } @inproceedings{ScheidhauerMehl92, author = {Ralf Scheidhauer and Michael Mehl}, booktitle = {Sprachen f{\"u}r KI-Anwendungen, Konzepte -- Methoden -- Implementierungen}, editor = {H. Boley, U. Furbach, W.-M. Lippe (Hrsg.)}, howpublished = {Proceedings des Workshops: Sprachen f{\"u}r KI-Anwendungen: Konzepte -- Methoden -- Implementierungen}, month = jul, number = {12/92-I}, pages = {102--110}, publisher = {Universit{\"a}t M{\"u}nster}, series = {Angewandte Mathematik und Informatik, Universit{\"a}t M{\"u}nster}, title = {{HAM} - {D}esign einer abstrakten {M}aschine f{\"u}r eine {CCP}-{S}prache}, year = {1992} } @InProceedings{Hydra-Statusseminar93, author = "Martin Henz and Michael Mehl and Ralf Scheidhauer and Gert Smolka and Ralf Treinen and J{\"o}rg W{\"u}rtz", title = "{N}ebenl{\"a}ufige objektorientierte {P}rogrammierung mit {C}onstraints", booktitle = "{S}tatusseminar des {BMFT}, {K\"u}nstliche {I}ntelligenz", editor = "Gottfried Wolf", publisher = "{D}eutsche {F}orschungsanstalt f{\"u}r {L}uft- und {R}aumfahrt e.{V}.", month = "27--28 " # apr, year = 1993, pages = "385--396" } @InProceedings{KT:TemporalLogic93ijcai, author = "Jana Koehler and Ralf Treinen", title = "Constraint Deduction in an Interval-Based Temporal Logic", editor = "Michael Fisher and Richard Owens", booktitle = "Executable Modal and Temporal Logics", pages = "103--117", publisher = spring, year = 1995, series = "Lecture Notes in Artificial Intelligence, vol. 897", } @InProceedings{KT:TemporalLogic93aaai, author = "Jana Koehler and Ralf Treinen", title = "Constraint Deduction in an Interval-Based Temporal Logic", booktitle = "Symposium on automated deduction in non-standard logics (working notes)", editor = "Peter Jackson and Richard Scherl and Donald Nute and Jeff Pelletier and Lincoln Wallen", address = "Raleigh, NC", publisher = "AAAI", number = "AAAI-TR FS-93-01", year = 1993, month = "22--24 " # oct, } @InProceedings{SSW:ppcp94, author = {Christian Schulte and Gert Smolka and J\"org W\"urtz}, title = "Encapsulated Search and Constraint Programming in {O}z", booktitle = "Second Workshop on Principles and Practice of Constraint Programming", editor = "A.H. Borning", pages = "134--150", year = 1994, month = "2-4 " # may, address = "Orcas Island, Washington, USA", publisher = spring, series = "Lecture Notes in Computer Science, vol. 874", } @InProceedings{Mueller:Unif94, AUTHOR = {Martin M{\"u}ller}, EDITOR = {Denis Lugiez}, TITLE = "A Constraint-Based Recast of {ML}-Polymorphism", BOOKTITLE = {8$^{th}$} # {International Workshop on Unification}, MONTH = jun # {23--25}, YEAR = 1994, NOTE = {Technical Report, Universit\'e de Nancy, to appear} } @InProceedings{MuellerMuellerVanroy:Visions:95, AUTHOR = {Martin M{\"u}ller and Tobias M{\"u}ller and Van Roy, Peter}, EDITOR = {Donald Smith and Olivier Ridoux and Van Roy, Peter}, TITLE = "Multi-Paradigm Programming in {Oz}", BOOKTITLE = {{Visions for the Future of Logic Programming: Laying the Foundations for a Modern successor of Prolog}}, NOTE = {A Workshop in Association with ILPS'95}, MONTH = "7 " # dec, ADDRESS = {Portland, Oregon}, YEAR = {1995} } @InProceedings{wuertz:94c, author = "J{\"o}rg W{\"u}rtz", title = "Towards the verification of concurrent constraint programs in the field of finite domain reasoning", booktitle = "Workshop at ICLP: Verification and analysis of (concurrent) logic languages", pages = "87--107", editor = "F.S. de Boer and M. Gabbrielli", month = "17 " # jun, year = 1994, address = "Santa Margherita Ligure, Italy", } @InProceedings{henzsmolka:eccop94, author = "Martin Henz and Gert Smolka", title = " Objects in Higher-order Concurrent Constraint Programming with State", booktitle = "Workshop on Coordination Models and Languages for Parallelism and Distribution (in connection with ECOOP 94)", month = "5 " # jul, year = 1994, address = "Bologna, Italy" } @InProceedings{ConstraintsFree:95, author = {Joachim Niehren and Martin M\"uller}, title = {Constraints for Free in Concurrent Computation}, booktitle = {International Workshop on Concurrent Constraints Programming}, address = {Venice, Italy}, month = may # {29--31}, year = {1995} } @InProceedings{NiehrenMueller:Free, author = {Niehren, Joachim and M\"uller, Martin}, title = {Constraints for Free in Concurrent Computation}, booktitle = {Asian Computing Science Conference}, year = {1995}, PUBLISHER = spring, pages = {171--186}, series = {Lecture Notes in Computer Science}, editor = {Kanchanasut, Kanchana and L\'{e}vy, Jean-Jaques}, note = "a preliminary version appeared in {\em First International Workshop on Concurrent Constraint Programming}, Venice, Italy, 29--31 May 1995, \cite{ConstraintsFree:95}", month = dec # {11--13}, address = {Pathumthani, Thailand} } @InProceedings{Mueller:CLNLP:95, AUTHOR = {Martin M{\"{u}}ller and Joachim Niehren}, TITLE = {A Type is a Type is a Type}, BOOKTITLE = {Joint COMPULOGNET/ELSNET/EAGLES Workshop on Computational Logic for Natural Language Processing}, note = {The orginal workshop version was titled: Weak Subsumption Constraints for Type Diagnosis: An Incremental Algorithm.}, MONTH = apr # { 3--5}, ADDRESS = {Edinburgh, Scotland}, YEAR = {1995} } @InProceedings{MuellerWuertz:95a, Author = {Tobias M{\"u}ller and J{\"o}rg W{\"u}rtz}, Title = {{Constructive} {Disjunction} in {Oz}}, Booktitle = {11. Workshop Logische Programmierung}, Year = 1995, Month = {27--29} # sep, Address = {Technische Universit{\"a}t Wien}, Publisher = {GMD--Forschungszentrum Informationstechnik GmbH, D-53754 Sankt Augustin}, Editor = {Andreas Krall and Ulrich Geske}, Series = {GMD-Studien}, } @InProceedings{Munchkins:WOz:95, Author = {Martin Henz and Martin M{\"u}ller and Markus Wolf}, Title = {Munchkins: A Shell for Distributed Multi-User Games}, Booktitle = {WOz'95, International Workshop on Oz Programming}, Year = 1995, Month = "29 November--1 December", Address = {Institut Dalle Molle d'Intelligence Artificielle Perceptive, Martigny, Switzerland}, } @InProceedings{Glinda:WOz:95, Author = {Martin Henz and Michael Mehl}, Title = {Glinda: A Meta-circular Interpreter for {O}z}, Booktitle = {WOz'95, International Workshop on Oz Programming}, Year = 1995, Month = "29 November--1 December", Address = {Institut Dalle Molle d'Intelligence Artificielle Perceptive, Martigny, Switzerland}, } @InProceedings{OzFun:WOz:95, Author = {Kai Ibach}, Title = {{O}z{F}un: A Functional Language for Mixed Eager and Lazy Programming}, Booktitle = {WOz'95, International Workshop on Oz Programming}, Year = 1995, Month = "29 November--1 December", Address = {Institut Dalle Molle d'Intelligence Artificielle Perceptive, Martigny, Switzerland}, } @InProceedings{NewConstraintSystems:WOz:95, Author = {Tobias M{\"u}ller}, Title = {Adding Constraint Systems to {DFKI} {O}z}, Booktitle = {WOz'95, International Workshop on Oz Programming}, Year = 1995, Month = "29 November--1 December", Address = {Institut Dalle Molle d'Intelligence Artificielle Perceptive, Martigny, Switzerland}, } @InProceedings{Browser:WOz:95, Author = {Konstantin Popov}, Title = {An Exercise in Concurrent Object-Oriented Programming: {O}z {B}rowser}, Booktitle = {WOz'95, International Workshop on Oz Programming}, Year = 1995, Month = "29 November--1 December", Address = {Institut Dalle Molle d'Intelligence Artificielle Perceptive, Martigny, Switzerland}, } @InProceedings{Toto:WOz:95, Author = {Martin Henz and Stephan Reiter}, Title = {{TOTO}: {TO}ol for {T}racing {O}bjects in {O}z}, Booktitle = {WOz'95, International Workshop on Oz Programming}, Year = 1995, Month = "29 November--1 December", Address = {Institut Dalle Molle d'Intelligence Artificielle Perceptive, Martigny, Switzerland}, } @InProceedings{Solver:WOz:95, Author = {Christian Schulte}, Title = {{S}olver---A Search Debugger for {O}z}, Booktitle = {WOz'95, International Workshop on Oz Programming}, Year = 1995, Month = "29 November--1 December", Address = {Institut Dalle Molle d'Intelligence Artificielle Perceptive, Martigny, Switzerland}, } @InProceedings{Spreadsheets:WOz:95, Author = {Frank Essig}, Title = {Extending the Functionality of Spreadsheets using {O}z-{FD}-variables}, Booktitle = {WOz'95, International Workshop on Oz Programming}, Year = 1995, Month = "29 November--1 December", Address = {Institut Dalle Molle d'Intelligence Artificielle Perceptive, Martigny, Switzerland}, } @InProceedings{puzzle96, author = {Martin Henz}, title = {Don't Be Puzzled!}, year = {1996}, month = aug, address = {Cambridge, Massachusetts, USA}, booktitle = {Workshop on Constraint Programming Applications, in conjunction with the Second International Conference on Principles and Practice of Constraint Programming (CP96)}, filename = {puzzle96.ps.Z}, directory = {ProgrammingSysLab} } @InProceedings{dagstuhl:92, author = {Martin Henz}, title = {Refining Completion Modulo {AC1}}, year = {1992}, month = jul, address = {Dagstuhl, Germany}, booktitle = {{3$^{rd}$} International Workshop on Conditional Term Rewriting Systems}, pages = {196--201} } @InProceedings{fa96, author = {Joachim Walser}, title = {Feasible Cellular Frequency Assignment Using Constraint Programming Abstractions}, year = {1996}, month = aug, address = {Cambridge, Massachusetts, USA}, booktitle = {Proceedings of the Workshop on Constraint Programming Applications, in conjunction with the Second International Conference on Principles and Practice of Constraint Programming (CP96)}, note = {To appear}, filename = {fa96.ps.Z}, directory = {ProgrammingSysLab} } %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Conference Proceedings %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @InProceedings{Treinen:tacs91, title = "First Order Data Types and First Order Logic", author = "Ralf Treinen", pages = "594--614", booktitle = "Theoretical Aspects of Computer Software", editor = "Takayasu Ito and Albert R. Meyer", series = "Lecture Notes in Computer Science, vol. 526", year = 1991, month = "24--27 " # sep, address = "Sendai, Japan", publisher = spring } @inproceedings{FT-FGC92, author = "Hassan A{\"\i}t-Kaci and Andreas Podelski and Gert Smolka", title = "A Feature-based Constraint System for Logic Programming with Entailment", pages = "1012--1021", booktitle = {Proceedings of the International Conference on Fifth Generation Computer Systems}, volume = 2, year = 1992, month = "1--5 " # jun, address = "Tokyo, Japan", publisher = "Institute for New Generation Computer Technology", note = "Final version in {\em Theoretical Computer Science}, \cite{FT-tcs}" } @InProceedings{bibel:92, author = "Wolfgang Bibel and Steffen H{\"o}lldobler and J{\"o}rg W{\"u}rtz", title = "Cycle Unification", booktitle = "11th International Conference on Automated Deduction", editor = "Deepak Kapur", address = "Saratoga Springs, NY, USA", publisher = spring, series = "Lecture Notes in Artificial Intelligence, vol. 607", pages = "94--108", year = 1992, month = "15--18 " # jun, } @InProceedings{wuertz:92b, author = "J{\"o}rg W{\"u}rtz", title = "Unifying Cycles", booktitle = "10th European Conference on Artificial Intelligence", editor = "Bernd Neumann", pages = "60--64", publisher = "John Wiley \& Sons", address = "Vienna, Austria", year = "1992", month = "3--7 " # aug } @InProceedings{ST:RecordsLogProg92, author = "Gert Smolka and Ralf Treinen", title = "Records for Logic Programming", pages = "240--254", booktitle = {Proceedings of the Joint International Conference and Symposium on Logic Programming}, year = 1992, month = "9--12 " # nov, editor = {Apt, Krzysztof}, publisher = mit, address = {Washington D.C., USA}, note = "Extended version in {\em Journal of Logic Programming}, \cite{ST:RecordsLogProg-jlp}." } @inproceedings{FeatureAutomata, author = {Joachim Niehren and Andreas Podelski}, title = {Feature Automata and Recognizable Sets of Feature Trees}, booktitle = {{TAPSOFT 93}: Theory and Practice of Software Development}, editor = "Marie-Claude Gaudel and Jean-Pierre Jouannaud", publisher = spring, series = "Lecture Notes in Computer Science, vol. 668", month = "13--16 " # apr, year = 1993, pages = "356--375", address = "Orsay, France" } @InProceedings{NiehrenRTA-93, author= {Joachim Niehren and Andreas Podelski and Ralf Treinen}, title= {Equational and Membership Constraints for Infinite Trees}, pages= {106-120}, booktitle= {5th International Conference on Rewriting Techniques and Applications}, year= 1993, month= "16--18 " # jun, editor = {Kirchner, Claude}, publisher = spring, address = {Montreal, Canada}, series= {Lecture Notes in Computer Science, vol. 690} } @InProceedings{Trei:FirstClassFeatures93, author = "Ralf Treinen", title = "Feature Constraints with First-Class Features", booktitle = "Mathematical Foundations of Computer Science", editor = "Andrzej M. Borzyszkowski and Stefan Soko{\l}owski", year = 1993, month = "30 August--3 September", address = "Gda\'nsk, Poland", publisher = spring, pages = "734--743", series = "Lecture Notes in Computer Science, vol. 711" } @InProceedings{smolka:93c, author = "Gert Smolka and Martin Henz and J{\"o}rg W{\"u}rtz", title = "Object-Oriented Concurrent Constraint Programming in {O}z", booktitle = "Grundlagen und Anwendungen der K{\"u}nstlichen Intelligenz, 17. Fachtagung f{\"u}r K{\"u}nstliche Intelligenz", year = "1993", editor = {Otthein Herzog and Thomas Christaller and Dieter Sch{\"u}tt}, pages = "44--60", address = "Humboldt-Universit{\"a}t zu Berlin, Germany", publisher = spring, month = "13--16 " # sep, note = "appeared in {\em Principles and Practice of Constraint Programming}, see Section Books and Book Chapters", } @InProceedings{HSW:Oz4MultiAgents93, author = {Martin Henz and Gert Smolka and J\"org W\"urtz}, title = "{Oz}---A Programming Language for Multi-Agent Systems", booktitle = "Proceedings of the 13$^{th}$ International Joint Conference on Artificial Intelligence", editor = "Ruzena Bajcsy", publisher = "Morgan Kaufmann Publishers", volume = 1, pages = "404--409", address = "Chamb\'ery, France", year = 1993, month = "30 August--3 September", } @InProceedings{BS:Compl:ACL93, author = "Rolf Backofen and Gert Smolka", title = "A Complete and Recursive Feature Theory", booktitle = "31$^{~th}$ Annual Meeting of the Association for Computational Linguistics", year = 1993, month = "22--26 " # jun, pages = "193--200", address = "Columbus, Ohio", publisher = "Association for Computational Linguistics", note = "Extended version appeared in {\em Theoretical Computer Science\/}, \cite{BS:Compl-tcs}" } @InProceedings{SHW:Oz93ProDe, author = "Gert Smolka and Martin Henz and J{\"o}rg W{\"u}rtz", title = "Object-Oriented Concurrent Constraint Programming in {O}z", booktitle = "Programaci\'on Declarativa", editor = "Jaume August{\'\i} and Pere Garcia", year = 1993, month = "30 September--1 October", address = "Blanes, Spain", pages = "5--20", note = "appeared in {\em Principles and Practice of Constraint Programming}, see Section Books and Book Chapters", } @InProceedings{Wuertz:stacs94, author = "P. Devienne and P. Lebegue and J.C. Routier and J. W{\"u}rtz", title = "One binary {H}orn clause is enough", booktitle = "11th Symposium on Theoretical Aspects of Computer Science", editor = "P. Enjalbert, E.W. Mayr, K.W. Wagner", pages = "21--32", year = "1994", month = "24--26 " # feb, address = "Caen, France", series = {Lecture Notes in Computer Science, vol. 775}, publisher = spring, } @InProceedings{ComonTreinen:caap94, author = "Hubert Comon and Ralf Treinen", title = "Ordering Constraints on Trees", booktitle = "Colloquium on Trees in Algebra and Programming", editor = "Sophie Tison", pages = "1--14", year = 1994, month = "11-13 " # apr, address = "Edinburgh, Scotland", series = {Lecture Notes in Computer Science, vol. 787}, publisher = spring, } @InProceedings{MMueller:ICLP94, author = "J{\"u}rgen Dix and Martin M{\"u}ller", title = "An Axiomatic Approach to Semantics of Disjunctive Programs", booktitle = "Proceedings of the 1994 International Conference on Logic Programming", editor = {Pascal {Van Hentenryck}}, publisher = mit, address = "Santa Margherita Ligure, Italy", month = "13--18 " # jun, year = 1994, pages = "303--320" } @InProceedings{BT:CFTgames94ccl, author = "Rolf Backofen and Ralf Treinen", title = "How to Win a Game with Features", booktitle = "1st International Conference on Constraints in Computational Logics", editor = "Jean-Pierre Jouannaud", address = "M{\"u}nchen, Germany", month = "7--9 " # sep, year = 1994, series = {Lecture Notes in Computer Science, vol. 845}, pages = "320--335", publisher = spring, } @InProceedings{HS:RecordsPrincTypes94ccl, author = "Andreas Hense and Gert Smolka", title = "A Record Calculus with Principal Types", booktitle = "1st International Conference on Constraints in Computational Logics", editor = "Jean-Pierre Jouannaud", address = "M{\"u}nchen, Germany", month = "7--9 " # sep, year = 1994, series = {Lecture Notes in Computer Science, vol. 845}, pages = "219--236", publisher = spring, } @InProceedings{RhoCalc:94, author = {Joachim Niehren and Gert Smolka}, title = {A Confluent Relational Calculus for Higher-Order Programming with Constraints}, booktitle = {1$^{st}$ International Conference on Constraints in Computational Logics}, address = {M\"unchen, Germany}, editor = "Jean-Pierre Jouannaud", month = sep, series = LNCS # {~845}, publisher = spring#{,~}#springort, pages = {89--104}, year = {1994} } @InProceedings{Smolka:CCProg94ccl, author = "Gert Smolka", title = "A Foundation for Higher-order Concurrent Constraint Programming", booktitle = "First International Conference on Constraints in Computational Logics", editor = "Jean-Pierre Jouannaud", address = "M{\"u}nchen, Germany", month = "7--9 " # sep, year = 1994, series = {Lecture Notes in Computer Science, vol. 845}, pages = "50--72", publisher = spring, } @InProceedings{MMueller:KI94, author = "J{\"u}rgen Dix and Martin M{\"u}ller", title = "The Stable Semantics and its Variants: A Comparison of Recent Approaches", booktitle = " KI-94: Advances in Artificial Intelligence", editor = "Bernhard Nebel and Leonie Dreschler-Fischer", address = "Saarbr{\"u}cken, Germany", month = sep, year = 1994, publisher = spring, series = "Lecture Notes in Artificial Intelligence, vol. 861", pages = "82--93" } @InProceedings{DixMue:Stable-PPE:94, author = "J{\"u}rgen Dix and Martin M{\"u}ller", booktitle = "Proceedings of the 8th International Symposium on Methodologies for Intelligent Systems", title = "Partial Evaluation and Relevance for Approximations of the Stable Semantics", editor = "Ras, Z. W. and Zemankova, M.", publisher = spring, series = "Lecture Notes in Artificial Intelligence, vol. 869", address = "Charlotte, North Carolina", month = "16--19 " # oct, year = "1994", pages = "511-520", } @InProceedings{SS:ilps94, author = "Christian Schulte and Gert Smolka", title = "Encapsulated Search in Higher-order Concurrent Constraint Programming", booktitle = "Logic Programming: Proceedings of the 1994 International Symposium", editor = "Maurice Bruynooghe", year = 1994, month = "13--17 " # nov, publisher = mit, address = "Ithaca, New York, USA", pages = "505--520", } @InProceedings{CP:95, author = {Andreas Podelski and Gert Smolka}, title = {Situated Simplification}, booktitle = {Proceedings of the First International Conference on Principles and Practice of Constraint Programming}, year = 1995, series = LNCS # {~976}, publisher = spring#{,~}#springort, pages = {328--344}, month = "19--22 " # sep, address = {Cassis, France}, } @InProceedings{MSS:PLILP95, Author = {Michael Mehl and Ralf Scheidhauer and Christian Schulte}, Title = {An {Abstract} {Machine} for {Oz}}, Editor = {Manuel Hermenegildo and S. Doaitse Swierstra}, Booktitle = {Programming Languages: Implementations, Logics and Programs, {7th} International Symposium, PLILP'95}, Year = 1995, Month = sep, Address = {Utrecht, The Netherlands}, Publisher = spring, Series = {Lecture Notes in Computer Science, vol.~982}, Pages = {151--168}, } @InProceedings{CLP:ICLP:95, author = {Andreas Podelski and Gert Smolka}, title = "Operational Semantics of Constraint Logic Programming with Coroutining", booktitle = "Proceedings of the 1995 International Conference on Logic Programming", address = "Kanagawa, Japan", month = "13--18 " # jun, year = 1995, publisher = mit, editor = "Leon Sterling", pages = "449--463", } @inproceedings{NiehrenPopl:96, author = {Niehren, Joachim}, title = {Functional Computation as Concurrent Computation}, booktitle = {$23^{th}$ Proceedings of the {ACM} Symposium on Principles of Programming Languages}, annote = {St. Petersburg Beach, Florida}, publisher = {{The ACM Press}}, year = {1996}, pages = {333--343}, month = {21--24}#jan, note = {longer version appeared as DFKI Research Report RR-95-14}, filename = "POPL96.dvi.Z, POPL96.ps.Z", directory = "ProgrammingSysLab" } @InProceedings{COMPOzE96, author = {Martin Henz and Stefan Lauer and Detlev Zimmermann}, title = {{COMPOzE} --- Intention-based Music Composition through Constraint Programming}, editor = {Mark Radle}, booktitle = {Proceedings of the 8$^{th}$ IEEE International Conference on Tools with Artificial Intelligence}, address = {Toulouse, France}, month = nov, year = 1996, pages = {118--121}, Publisher = "IEEE Computer Society Press", filename = {COMPOzE96.ps.Z}, directory = {ProgrammingSysLab} } %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Journals & Books %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @article{ACDS88, author = {Manfred Schmidt-Schau{\ss} and Gert Smolka}, title = {Attributive Concept Descriptions with Complements}, journal = "Artificial Intelligence", volume = 48, pages = "1--26", year = 1991 } @incollection{NebelSmolka91, author = {Bernhard Nebel and Gert Smolka}, title = "Attributive Description Formalisms ... and the Rest of the World", year = 1991, editor = "O. Herzog and C.-R. Rollinger", booktitle = "Text Understanding in LILOG: Integrating Computational Linguistics and Artificial Intelligence", publisher = spring, series = "Lectures Notes in Artificial Intelligence, vol. 546", pages = "439--452" } @Article{Trei:undecidability-jsc, author = "Ralf Treinen", title = "A New Method for Undecidability Proofs of First Order Theories", journal = "Journal of Symbolic Computation", year = 1992, month = nov, volume = 14, number = 5, pages = "437--457", note = "Previous Version as Report A 09/90, CS Department, Universit{\"a}t des Saarlandes. Short Version in 1990 {\em Foundations of Software Technology and Theoretical Computer Science}, LNCS 472" } @article{FL89, author = {Gert Smolka}, title = "Feature Constraint Logics for Unification Grammars", volume = 12, year = 1992, pages = "51--87", journal = "Journal of Logic Programming" } @article{baader:et:al:jlli-92, author = {Baader, Franz and Hans-J{\"u}rgen B{\"u}rckert and Bernhard Nebel and Werner Nutt and Gert Smolka}, title = {On the Expressivity of Feature Logics with Negation, Functional Uncertainty, and Sort Equations}, journal = {Journal of Logic, Language and Information}, year = 1993, pages = "1--18", volume = 2 } @incollection{ResiduationBook, booktitle = "Constraint Logic Programming: Selected Research", editor = "Fr\'ed\'eric Benhamou and Alain Colmerauer", chapter = 22, publisher = mit, address = "Cambridge, Mass.", year = "1993", author = {Gert Smolka}, title = "Residuation and Guarded Rules for Constraint Logic Programming", pages = "405--419" } @Article{hanschke:93a, author = "Philipp Hanschke and J{\"o}rg W{\"u}rtz", title = "Satisfiability of the smallest binary program", journal = "Information Processing Letters", year = "1993", volume = "45", number = "5", pages = "237--241", month = apr, } @Article{FT-tcs, author = "Hassan A{\"\i}t-Kaci and Andreas Podelski and Gert Smolka", title = "A Feature-based Constraint System for Logic Programming with Entailment", journal = tcs, year = 1994, month = jan, volume = 122, number = "1--2", pages = "263--283" } @Article{ST:RecordsLogProg-jlp, author = "Gert Smolka and Ralf Treinen", title = "Records for Logic Programming", journal = jlp, volume = 18, number = 3, year = 1994, month = apr, pages = "229--258" } @Article{VanRoy:SequentialPrologImp, author = "Peter Van Roy", title = "1983-1993: The Wonder Years of Sequential Prolog Implementation", journal = jlp, year = 1994, } @InCollection{Smolka:OzKernel:Springer, editor = {Andreas Podelski}, booktitle = {Constraints: Basics and Trends}, author = "Gert Smolka", title = "The Definition of {K}ernel {Oz}", publisher = spring, pages = {251--292}, year = 1995, series = {Lecture Notes in Computer Science, vol. 910} } @InCollection{Treinen:FTX95, author = "Ralf Treinen", title = "Feature Trees over Arbitrary Structures", booktitle = "Logic, Structures and Syntax", editor = "Patrick Blackburn and Maarten de Rijke", series = "Studies in Logic, Language and Information", year = 1995, note = {to appear} } @Book{Podelski95, title = "Constraint Programming: Basics and Trends", publisher = spring, address = springort, volume = 910, series = lncs, month = mar, year = 1995, editor = "Andreas Podelski", } @InCollection{SHW:OOCC94Book, author = {Martin Henz and Gert Smolka and J{\"o}rg W{\"u}rtz}, title = {Object-oriented Concurrent Constraint Programming in {Oz}}, booktitle = {Principles and Practice of Constraint Programming}, editor = {Vijay Saraswat and Pascal {Van Hentenryck}}, chapter = 2, publisher = mit, address = mitort, year = 1995, pages = {29--48} } @Article{BS:Compl-tcs, author = {Rolf Backofen and Gert Smolka}, title = "A Complete and Recursive Feature Theory", journal = tcs, volume = 146, number = "1--2", month = jul, year = 1995, pages = "243--268" } @Article{ComonTreinen:lpo93tcs, author = "Hubert Comon and Ralf Treinen", title = "The First-Order Theory of Lexicographic Path Orderings is Undecidable", journal = tcs, note = {to appear} } @Article{comon95tcs, author = "Hubert Comon and Ralf Treinen", title = "The First-Order Theory of Lexicographic Path Orderings is Undecidable", journal = tcs, note = "To Appear", year = 1995, ftp = "ftp://lri.lri.fr/LRI/articles/treinen/lpo-tcs.ps.gz", abstract = "ftp://lri.lri.fr/LRI/articles/treinen/lpo-tcs.abstract", } @Article{AAI96, author = "Martin Henz and J{\"o}rg W{\"u}rtz", title = {Constraint-based Time Tabling---A Case Study}, journal = {Applied Artificial Intelligence}, volume = 10, number = 5, year = 1996, pages = {439--453} } %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Theses %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @Misc{phd-treinen, author = "Ralf Treinen", title = {{Modulare Datentypdefinitionen und Ihre Beziehungen zur Logik erster Stufe}}, year = 1991, month = dec, howpublished = "Doctoral Dissertation", publisher = "Universit{\"a}t des Saarlandes, D 66041 Saarbr{\"u}cken, Germany", institution = unisb, address = unisbaddr, note = "In German" } @book{NiehrenDiss, AUTHOR = {Niehren, Joachim}, TITLE = {{Funktionale Berechnung in einem uniform nebenl\"aufigen Kalk\"ul mit logischen Variablen}}, Month = dec, YEAR = 1994, publisher = {Doctoral Dissertation. Universit\"at des Saarlandes, Technische Fakult\"at, 66041 Saarbr\"ucken, Germany}, note ={In German}, } @book{HenzDiss, AUTHOR = {Henz, Martin}, TITLE = {Objects in {Oz}}, Month = jun, YEAR = 1997, publisher = {Doctoral Dissertation, Technische Fakult\"at, Universit\"at des Saarlandes, Saarbr\"ucken, Germany}, } @book{HenzMaster, author = {Martin Henz}, title = {Term Rewriting in Associative Commutative Theories with Identities}, Publisher = {Master's thesis, State University of New York at Stony Brook}, year = 1991, month = dec } @book{HenzOFCCP:98, AUTHOR = {Henz, Martin}, TITLE = {Objects for Concurrent Constraint Programming}, YEAR = 1998, publisher = kluwer, address = kluwerort, series = {The Kluwer International Series in Engineering and Computer Science, Volume 426}, optnote = {ISBN 0-7923-8038-X, 200 pages}, } %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @Article{wallace:96b, author = {Mark Wallace}, title = {Practical Applications of Constraint Programming}, journal = {Constraints}, year = {1996}, publisher = kluwer, volume = {1}, number = {1\&2}, pages = {139--168}, OPTnote = {xv} } @InCollection{ConstraintScheduling97, author = {J{\"o}rg W{\"u}rtz}, title = {Constraint-Based Scheduling in {Oz}}, booktitle = {Operations Research Proceedings 1996}, editor = {U. Zimmermann and U. Derigs and W. Gaul and R. M{\"o}hrig and K.-P. Schuster}, year = {1997}, publisher = {Springer-Verlag}, address = {Berlin, Heidelberg, New York}, pages = {218--223}, note = {Selected Papers of the Symposium on Operations Research (SOR 96), Braunschweig, Germany, September 3--6, 1996} } @InProceedings{ICPTAT95, author = "Martin Henz and J{\"o}rg W{\"u}rtz", title = {Using {O}z for College Time Tabling}, booktitle = {The Selected Proceedings of the 1st International Conference on the Practice and Theory of Automated Time Tabling, Edinburgh 1995}, editor = {E.K.Burke and P.Ross}, year = 1996, pages = {162--177}, publisher = spring#{,~}#springort, series = LNCS # {~1153}, } @InProceedings{Explorer:97, author = {Christian Schulte}, title = {{Oz Explorer}: A Visual Constraint Programming Tool}, editor = {Lee Naish}, booktitle = iclp, year = 1997, month = jul, pages = {286--300}, address = {Leuven, Belgium}, publisher = mit#{,~}#mitort, } @InProceedings{scheduler96, author = {J{\"o}rg W{\"u}rtz}, title = {{O}z {S}cheduler: {A} Workbench for Scheduling Problems}, booktitle = {Proceedings of the 8th IEEE International Conference on Tools with Artificial Intelligence}, address = {Toulouse, France}, month = nov # {16--19}, year = 1996, pages = {132--139}, Publisher = "IEEE Computer Society Press", filename = {scheduler96.ps.Z}, directory = {ProgrammingSysLab} } @InProceedings{interfacing96, author = {Tobias M{\"u}ller and J{\"o}rg W{\"u}rtz}, title = {Interfacing Propagators with a Concurrent Constraint Language}, booktitle = {JICSLP96 Post-conference workshop and Compulog Net Meeting on Parallelism and Implementation Technology for (Constraint) Logic Programming Languages}, year = 1996, pages = {195--206}, filename = {interfacing96.ps.Z}, directory = {ProgrammingSysLab} } @InProceedings{MuellerWuertz:97a, editor = {Jan Ma{\l}uszy{\'n}ski}, booktitle = {Logic Programming: Proceedings of the 1997 International Symposium}, year = 1997, publisher = mit, address = {Long Island, NY, USA}, author = {Tobias M{\"u}ller and J{\"o}rg W{\"u}rtz}, title = {Extending a Concurrent Constraint Language by Propagators}, pages = {149--163}, } @techreport{BrazmaGilbert, AUTHOR = {Alvis Brazma and David Gilbert}, TITLE = {A Pattern Language for Molecular Biology}, YEAR = 1995, month = may, number = {TCU/CS/1995/11}, institution = {City University, London}, optnote = {very limited pattern language, no use in practice, no wonder they found an efficient decision algorithm} } @techreport{ExtensibleSyntax, AUTHOR = {Luca Cardelli and Florian Matthes and Mart{\"\i}n Abadi}, TITLE = {Extensible Syntax with Lexical Scoping}, YEAR = 1994, month = feb, number = {121}, institution = {digital, Systems Research Center}, } @techreport{Boye_92, AUTHOR = {J. Boye and J. Paakki and J. Maluszynski}, TITLE = {Dependency-based Groundness Analysis of Functional Logic Programs}, YEAR = 1993, number = "LiTH-IDA-R-93-20", institution = {Link\"oping University}, note = "Short version will appear in PLILP'93", optnote = {1608} } @inproceedings{Khoo_91, AUTHOR = {S. Khoo and R. Sundaresh}, TITLE = {Compiling inheritance using partial evaluation}, YEAR = 1991, PAGES = {211-222}, BOOKTITLE = {Partial Evaluation and Semantics-based Program Manipulation}, publisher = acm#{,~}#acmort, note = "SIGPLAN Notices, vol. 26, no. 9, September 1991", optnote = {1608} } @techreport{CousotCousot_92, AUTHOR = {P. Cousot and R. Cousot}, TITLE = {Abstract Interpretation and Application to Logic Programs}, YEAR = 1992, number = "LIENS-92-12", institution = {D\'epartement de Math\'ematiques et d'Informatique, Ecole Normale Sup\'erieure}, address = {Paris, France}, optnote = {1608} } @inproceedings{Brock_81, AUTHOR = {J. Brock and W. Ackerman}, TITLE = {Scenarios: A Model of Non-determinate Computation}, YEAR = 1981, PAGES = {252-259}, BOOKTITLE = {Formalization of Programming Concepts (Proceedings)}, editor = {J. Diaz and I. Ramos}, publisher = spring#{,~}#springort, series = LNCS # {~107}, } @book{Austern98, AUTHOR = {M. Austern}, TITLE = {Generic Programming and the {STL}}, YEAR = 1998, PUBLISHER = add, ADDRESS = addort } @book{GoF94, AUTHOR = {E. Gamma and R. Helm and R. Johnson and J. Vlissides}, TITLE = {Design Patterns}, YEAR = 1994, PUBLISHER = add, ADDRESS = addort } @book{Jones_93, AUTHOR = {N. Jones and C. Gomard and P Sestoft}, TITLE = {Partial Evaluation and Automatic Program Generation}, YEAR = 1993, PUBLISHER = prentice, ADDRESS = prenticeort, KEYWORDS = {}, OPTNOTE = {1608} } @inproceedings{CousotCousot_77, AUTHOR = {P. Cousot and R. Cousot}, TITLE = {Abstract Interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints}, YEAR = 1977, PAGES = {238-252}, BOOKTITLE = {$4^{th}$ Annual ACM SIGPLAN-SIGACT Symposium on Artificial Intelligence \& Programming Languages}, publisher = {ACM SIGPLAN}, address = {Los Angeles, California}, optnote = {1608} } @phdthesis{Nielson_84, AUTHOR = {F. Nielson}, TITLE = {Abstract Interpretation using domain theory}, YEAR = 1984, SCHOOL = {Edinburgh University}, note = "Available as computer science report CST-31-84", optnote = {1608} } @inproceedings{Jones_85, AUTHOR = {N. Jones and P. Sestoft and Harald S{\o}ndergaard}, TITLE = {An Experiment in Partial Evaluation: The Generation of a Compiler Generator}, YEAR = 1985, PAGES = {124-140}, BOOKTITLE = {RTA}, editor = {J.-P. Jouannaud}, series = LNCS # {~202}, publisher = spring#{,~}#springort, optnote = {1608} } @InProceedings{Nierstrasz:83, author = {O. M. Nierstrasz and J. Mooney and K.J. Twaites}, booktitle = {Proceedings of the {CIPS} Conference}, title = {Using Objects to Implement Office Procedures}, pages = {65-73}, year = {1983} } @book{Herschel:83, AUTHOR = {Rudolf Herschel and Friedrich Pieper}, TITLE = {{PASCAL} und {PASCAL}-{S}ysteme}, YEAR = 1983, PUBLISHER = {R. Oldenbourg Verlag}, ADDRESS = {M\"unchen, Wien} } @phdthesis{SaraswatThesis, AUTHOR = {Vijay A. Saraswat}, TITLE = {Concurrent Constraint Programming Languages}, YEAR = 1989, SCHOOL = {School of Computer Science, Carnegie-Mellon University}, ADDRESS = {Pittsburgh}, } @Misc{poly-type, author = {Michael Schwartzbach}, title = {Polymorphic Type Inference}, howpublished = {Lecture Notes}, year = 1995, month = mar, } @InProceedings{NT97, author = {George L. Nemhauser and Michael A. Trick}, booktitle = {Second International Conference on the Practice and Theory of Automated Timetabling}, address = {Toronto}, title = {Scheduling a Major College Basketball Conference}, year = {1997}, } @Article{NT98, author = {George L. Nemhauser and Michael A. Trick}, title = {Scheduling a Major College Basketball Conference}, journal = {Operations Research}, volume = 46, number = 1, year = 1998, pages = {1--8}, } @Article{Russell94, author = {Robert A. Russell and Janny M. Y. Leung}, title = {Devising a Cost Effective Schedule for a Baseball League}, journal = {Operations Research}, year = 1994, volume = 42, number = 4, pages = {614--625}, optnote = {league divided in divisions. travel cost and various other constraints are considered.} } @Article{Schreuder92, author = {Jan A. M. Schreuder}, title = {Combinatorial Aspects of Construction of Competition Dutch Professional Football Leagues}, journal = {Discrete Applied Mathematics}, volume = 35, year = 1992, pages = {301--312}, optnote = {double round robin, HA pattern, team-to-pattern assignment, game assignment.} } @InCollection{Cain77, author = {Cain, Jr., William O.}, title = {The Computer-assisted Heuristic Approach Used to Schedule the Major League Baseball Clubs}, booktitle = {Optimal Strategies in Sports}, editor = {Shaul P. Ladany and Robert E. Machol}, year = {1977}, publisher = {North-Holland Publishing Co.}, address = {Amsterdam, New York, Oxford}, pages = {32--41}, series = {Studies in Management Science and Systems}, number = {5}, optnote = {nice report from a practicioner. He actually uses constraint programming without knowing it. HA pattern, team-to-pattern assignment, game assignment.} } @InCollection{Campbell76, author = {Robert T. Campbell and Der-San Chen}, title = {A Minimum Distance Basketball Scheduling Problem}, booktitle = {Management Science in Sports}, editor = "Robert E. Machol, Shaul P. Ladany; under the general supervision of Donald G.Morrison", year = {1976}, publisher = {North-Holland Publishing Co.}, address = {Amsterdam, New York, Oxford}, pages = {15--25}, series = {Studies in Management Sciences}, number = {4}, note = {Special issue of the journal Management Science}, optnote = {Double round robin scheduling. First compute minimum distance travel itinerary. Then assemble complete schedules from this. There seems to be a pairing scheme of teams that enables this approach.} } @BOOK{Tsang93, AUTHOR = {Edward P. K. Tsang}, TITLE = {Foundations of Constraint Satisfaction}, PUBLISHER = {Academic Press}, address = {London and San Diego}, YEAR = {1993}, } @INPROCEEDINGS{Ilog94, AUTHOR = {Jean-Fran{\c{c}}ois Puget}, TITLE = {A {C}++ implementation of {CLP}}, BOOKTITLE = {Proceedings of the Second Singapore International Conference on Intelligent Systems (SPICIS)}, ADDRESS = {Singapore}, YEAR = {1994}, MONTH = nov, PAGES = {B256--B261} } @inproceedings{PL:95, author = {Jean-Fran{\c{c}}ois Puget and Michel Leconte}, title = {Beyond the Glass Box: Constraints as Objects}, booktitle = {Proceedings of the {I}nternational {S}ymposium on {L}ogic {P}rogramming}, address = {}, year = 1995, pages = {513--527}, } @INPROCEEDINGS{CHIP88, AUTHOR = {M. Dincbas and P. {Van Hentenryck} and H. Simonis and A. Aggoun and T. Graf}, TITLE = {The Constraint Logic Programming Language {CHIP}}, BOOKTITLE = {Proceedings International Conference on Fifth Generation Computer Systems}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Tokyo, Japan}, month = dec, YEAR = {1988}, PAGES = {693--702}, } @Misc{accsolutions, author = {Martin Henz}, title = {The {O}z program to the {ACC} 1997/98 basketball scheduling problem and the Timetables that it found}, year = {1998}, howpublished = {{\tt http://www.comp.nus.edu.sg/$\tilde{\ }$henz/projects/acc/}} } @Article{Blest88, author = {D.C. Blest and D.G. Fitzgerald}, title = {Scheduling Sports Competitions with a Given Distribution of Times}, journal = {Discrete Applied Mathematics}, volume = 22, year = 1988, pages = {9--19}, optnote = {Scheduling tournaments with limited number of facilities 1 or 2 games per ``round'' per team.} } @Article{Hooker95, author = {J. N. Hooker and V. Vinay}, title = {Branching rules for satisfiability}, journal = {Journal of Automated Reasoning}, volume = 15, year = 1995, pages = {359-383}, optnote = {High emphasis on methodology for designing computational experiments. Looks at Jeroslow-Wang rule, shows that an alternative motivation leads to ways to improve the rule.} } @Misc{Apt97, author = {Krzysztof R. Apt}, title = {A Proof Theoretic View of Constraint Programming}, howpublished = {Draft}, year = 1997, month = nov, optnote = {Constraint propagation and enumeration are seen from a proof-theoretic point of view. Quite interesting.} } @Misc{Apt97, author = {Krzysztof R. Apt}, title = {The Essence of Constraint Propagation}, howpublished = {Draft}, year = 1997, month = nov, optnote = {finite domain constraint propagation is seen as the result of chaotic iteration. Quite interesting.} } @Article{Roucairol, author = {Catherine Roucairol}, title = {A Parallel Branch and Bound Algorithm for the Quadratic Assignment Problem}, journal = {Discrete Applied Mathematics}, volume = 18, year = 1987, pages = {211--225} } @Article{deWerra80, author = {D. de Werra}, title = {Geography, Games and Graphs}, journal = {Discrete Applied Mathematics}, volume = 2, year = 1980, pages = {327--337}, optnote = {A graph-theoretic perspective on round robin scheduling. Particular attention to travel distance.} } @incollection{deWerra80b, author = {de Werra, D.}, title = {Scheduling in Sports}, booktitle = {Studies on Graphs and Discrete Programming}, editor = {P. Hansen}, year = 1980, publisher = {North-Holland}, address = {Amsterdam}, pages = {381--395}, } @Article{deWerra88, author = {D. de Werra}, title = {Some Models of Graphs for Scheduling Sports Competitions}, journal = {Discrete Applied Mathematics}, volume = 21, year = 1988, pages = {47--65}, optnote = {A graph-theoretic perspective on round robin scheduling.} } @Article{Tripathy, author = {Arabinda Tripathy}, title = {Computerised Decision Aid for Timetabling---A Case Analysis}, journal = {Discrete Applied Mathematics}, volume = 35, year = 1992, pages = {313--323}, optnote = {College timetabling. Assigning times to classes to minimize conflicts.} } @Article{Kumar, author = {Vipin Kumar}, title = {Algorithms for Constraint-Satisfaction Problems}, journal = {AI Magazine}, volume = 13, number = 1, year = 1992, pages = {32--44}, optnote = {nice survey of a broad range of CSP algorithms including many of the fundamental ideas of constraint programming} } @InProceedings{Codognet94, author = {Philippe Codognet and Daniel Diaz}, title = {{clp(B)}: Combining Simplicity and Efficiency in Boolean Constraint Solving}, editor = {Manuel V. Hermenegildo and Jaan Penjam}, booktitle = {Programming Language Implementation and Logic Programming, 6th International Symposium, PLILP'94}, year = 1994, month = sep, pages = {244-260}, address = {Madrid, Spain}, publisher = spring#{,~}#springort, series = LNCS#{~844} } @InProceedings{Fages94, author = {Fran{\c{c}}cois Fages and Julian Fowler and Thierry Sola}, title = {Handling Preferences in Constraint Logic Programming with Relational Optimization}, editor = {Manuel V. Hermenegildo and Jaan Penjam}, booktitle = {Programming Language Implementation and Logic Programming, 6th International Symposium, PLILP'94}, year = 1994, month = sep, pages = {261--276}, address = {Madrid, Spain}, publisher = spring#{,~}#springort, series = LNCS#{~844} } @Article{beldiceanu:94, author = "N. Beldiceanu and E. Contejean", title = "Introducing global constraints in {CHIP}", journal = "Mathematical computer modelling", year = "1994", volume = "20", number = "12", pages = "97--123", OPTnote = "xv" } @InProceedings{JaffarLassez:87, author = "Joxan Jaffar and Jean-Louis Lassez", title = "Constraint Logic Programming", booktitle = "Proceedings of the 14th ACM Symposium on Principles of Programming Languages, Munich, Germany", pages = "111-119", month = jan, year = "1987", publisher = "ACM" } @Manual{ilog:solver, title = {{\sc Ilog Solver} 3.2, User Manual, 1996}, organization = {{\sc Ilog}}, address = {URL: {\tt http://www.ilog.com}}, year = {1996}, OPTnote = {} } @Manual{ilog:solver4, key = {ILOG}, title = {{ILOG Solver} 4.0, Reference Manual}, organization = {{ILOG Inc.}}, address = {Mountain View, CA 94043, USA, {\tt http://www.ilog.com}}, year = {1997}, } @Manual{ilog:solver5, key = {ILOG}, title = {{ILOG Solver} 5.0, Reference Manual}, organization = {{ILOG Inc.}}, address = {Mountain View, CA 94043, USA, {\tt http://www.ilog.com}}, year = {2000}, } @Manual{ilog:solver4user, key = {ILOG}, title = {{ILOG Solver} 4.0, User Manual}, organization = {{ILOG Inc.}}, address = {Mountain View, CA 94043, USA, {\tt http://www.ilog.com}}, year = {1997}, } @Manual{ilog:solver44, key = {ILOG}, title = {{ILOG Solver} 4.4, Reference Manual}, organization = {{ILOG Inc.}}, address = {Mountain View, CA 94043, USA, {\tt http://www.ilog.com}}, year = {1999}, } @Manual{ILOG, key = {ILOG}, title = {{ILOG Solver} 4.4, Reference Manual}, organization = {{ILOG Inc.}}, address = {Mountain View, CA 94043, USA, {\tt http://www.ilog.com}}, year = {1999}, } @Manual{OPLStudio, title = {{OPL Studio} User Manual}, organization = {{ILOG Inc.}}, address = {Mountain View, CA 94043, USA, {\tt http://www.ilog.com}}, year = {1999}, } @Manual{cplex_6, title = {{ILOG CPLEX} Version 6.0, Reference Manual}, organization = {{ILOG Inc.}}, address = {Mountain View, CA 94043, USA, {\tt http://www.ilog.com}}, year = {1996}, } @techreport{CHIP:whitepaper, title = {The {CHIP} System}, institution = {{COSYTEC SA}}, year = {1997}, author = {Nicolas Beldiceanu and Helmut Simonis and Philip Kay and Peter Chan}, type = {White Paper}, note = {Ref: {COSY/WHITE/002}, Ver: 1.2, Rev: A} } @inproceedings{GNUProlog, title = {The {GNU} Prolog Systems and its Implementation}, booktitle = {ACM Symposium on Applied Computing}, author = {Daniel Diaz and Philippe Codognet}, address = {Como, Italy}, note = {Documentation and system available at \url{http://www.gnu.org/software/prolog}}, year = 2000 } @InProceedings{lepape:95, author = "C. Le Pape", title = "Three mechanisms for managing resource constraints in a library for constraint-based scheduling", booktitle = "Proceedings of the INRIA/IEEE Conference on Emerging Technologies and Factory Automation", year = "1995", OPTnote = "xv" } @book{Schrage97, AUTHOR = {L. Schrage}, TITLE = {Optimization Modeling with {LINDO}}, YEAR = 1997, EDITION = {fifth}, PUBLISHER = {Wadworth Publishing}, ADDRESS = {Belmont, CA}, } @Article{apple, author = {D. Applegate and W. Cook}, title = {A Computational Study of the Job-Shop Scheduling Problem}, journal = {ORSA Journal on Computing}, year = {1991}, volume = 3, number = 2, pages = {149-156}, } @InProceedings{caseau:94a, author = "Yves Caseau and Fran{\c{c}}ois Laburthe", title = "Improved {CLP} Scheduling with Task Intervals", booktitle = ICLP, year = {1994}, pages = {369--383}, address = {}, OPTNOTE = {xv} } @InProceedings{caseau:96, author = {Y. Caseau and F. Laburthe}, title = {Cumulative scheduling with task intervals}, booktitle = {Joint International Conference and Symposium on Logic Programming}, year = {1996}, OPTpages = {}, OPTnote = {xv} } @INPROCEEDINGS{AAAI97, AUTHOR = {Joachim P. Walser}, TITLE = {Solving Linear {pseudo-Boolean} Constraint Problems with Local Search}, BOOKTITLE = {Proceedings of the 14th National Conference on Artificial Intelligence and 9th Innovative Applications of Artificial Intelligence Conference (AAAI-97/IAAI-97)}, ADDRESS = {Providence, RI, USA}, PUBLISHER = {AAAI Press}, MONTH = {July}, YEAR = {1997}, PAGES = {269--274}, } @InProceedings{RodosekWallaceHaijan:96, author = {R. Rodosek and M.G. Wallace and M.T. Haijan}, title = {A new approach to integrate mixed integer programming with {CLP}}, booktitle = {Proceedings of the Workshop on Constraint Programming Applications, in conjunction with the Second International Conference on Principles and Practice of Constraint Programming (CP96)}, year = {1996}, } @InProceedings{Chabrier:96, author = {Jacqueline Chabrier and Jean-Michel Richer and Jean-Jacques Chabrier}, title = {Resolution of structured SAT problems with {SCORE(FD/B)}}, booktitle = {Proceedings of the Workshop on Constraint Programming Applications, in conjunction with the Second International Conference on Principles and Practice of Constraint Programming (CP96)}, year = {1996}, optnote = {symmetry breaking in combination with local search (complete variant?), weak experimental results} } @InProceedings{Teleki:96, author = {Laszlo Teleki}, title = {Embedding Qualitative Reasoning into Constraint Logic Programming}, booktitle = {Proceedings of the Workshop on Constraint Programming Applications, in conjunction with the Second International Conference on Principles and Practice of Constraint Programming (CP96)}, year = {1996}, optnote = {bridge between QR and CP} } @InProceedings{Solotorevsky:96, author = {Gadi Solotorevsky and Ehud Gudes}, title = {Solving a Real-life Nurses Time Tabling and Transportation Problem Using Distributed {CSP} Techniques}, booktitle = {Proceedings of the Workshop on Constraint Programming Applications, in conjunction with the Second International Conference on Principles and Practice of Constraint Programming (CP96)}, year = {1996}, optnote = {strange: why is distribution needed?} } @InProceedings{Sabin:96, author = {Mihaela Sabin and Robert D. Russell and Eugene C. Freuder}, title = {Constraint-Based Modeling: From Diagnosis and Configuration to Network Management}, booktitle = {Proceedings of the Workshop on Constraint Programming Applications, in conjunction with the Second International Conference on Principles and Practice of Constraint Programming (CP96)}, year = {1996}, optnote = {network management as a CSP} } @InProceedings{Simonis:96, author = {Helmut Simonis}, title = {A Problem Classification Scheme for Finite Domain Constraint Solving}, booktitle = {Invited Talk at the Workshop on Constraint Programming Applications, in conjunction with the Second International Conference on Principles and Practice of Constraint Programming (CP96)}, year = {1996}, optnote = {many applications references, especially on CHIP} } @InProceedings{selman:93, AUTHOR = {B. Selman and H. A. Kautz}, TITLE = {An Empirical Study of Greedy Local Search for Satisfiability Testing}, booktitle={Proceedings of the 11th National Conference on Artificial Intelligence}, address={Washington, DC}, month=jul, year=1993, publisher={AAAI Press}, } @InProceedings{SmithC93, title={Slack-Based Heuristics for Constraint Satisfaction Scheduling}, author={S. F. Smith and C.-C. Cheng}, booktitle={Proceedings of the 11th National Conference on Artificial Intelligence}, address={Washington, DC}, month=jul, year=1993, publisher={AAAI Press}, optnote = {very nice paper: looks like the origin of the idea of sequence (path) constraints in scheduling} } @Article{clpr, author = {J. Jaffar and S. Machaylov and P. Stuckey and R. Yap}, title = {The {CLP(R)} Language and System}, journal = {ACM Transactions on Programming Languages and Systems}, year = {1992}, volume = {14}, number = {3}, month = jul, } @techreport{Rodosek97, AUTHOR = {Robert Rodosek and Mark Wallace and Mozafian Hajian}, TITLE = {A new approach to integrating mixed integer programming with constraint logic programming}, YEAR = 1997, institution = {IC-Parc}, address = {London}, optnote = {two-store approach to mixing integer and constraint programming} } @techreport{Hajian96, AUTHOR = {Mozafian Hajian and Robert Rodosek and Barry Richards}, TITLE = {Introduction of a New Class of Variables to Discrete and Integer Programming Problems}, YEAR = 1996, institution = {IC-Parc}, address = {London}, optnote = {two-store approach to mixing integer and constraint programming} } @Article{Hentenryck97, author = {Pascal {Van Hentenryck} and Laurent Michel and Frederic Benhamou}, title = {{\tt Newton} Constraint Programming over Nonlinear Constraints}, journal = {Science of Computer Programming}, year = {1997}, } @Article{Benhamou97, author = {Frederic Benhamou and William Older}, title = {Applying Interval Arithmetic to Real, Integer, and Boolean Constraints}, journal = jlp, year = {1997}, volume = {32}, number = {1}, } @techreport{Richards96, AUTHOR = {Tom Richards and Barry Richards}, TITLE = {Nogood learning for constraint satisfaction}, YEAR = 1996, institution = {IC-Parc}, address = {London}, note = {appeared in Proceedings CP 96 Workshop on Constraint Programming Application}, } @Misc{CP96, AUTHOR = {Pascal {Van Hentenryck} and Vijay Saraswat{, editors}}, TITLE = {Constraint Programming}, YEAR = 1996, MONTH = oct, howpublished = {ACM Workshop on Strategic Directions in Computing Research, MIT Laboratory for Computer Science, Cambridge, Massachusetts, June 14-15, 1996, available at {\tt http://www.medg.lcs.mit.edu/sdcr/}}, optnote = {very well written by the experts of the field, broad scope, many references, early history etc, in the same folder are the position papers of various CP big shots.} } @InProceedings{fernadez97, author = {Antonio Fernandez and Pat Hill}, title = {Boolean and Finite Domain solvers compared using Self Referential Quizzes}, booktitle = {Proceedings of APPIA-GULP-PRODE 97 (AGP'97)}, year = 1997, optnote = {weak comparison of Oz, ECLiPSe, CHR, and clp(FD) using SRQ.} } @Misc{TUFF97, AUTHOR = {Per Kreuger}, TITLE = {The {TUFF} Train Scheduler}, YEAR = 1997, howpublished = {Presentation Slides}, optnote = {some good ideas on train scheduling} } @Misc{LePape97, AUTHOR = {Claude {Le Pape}}, TITLE = {Constraint-based Scheduling}, YEAR = 1996, howpublished = {Presentation Slides}, optnote = {excellent introduction, path finding etc, excellent bibliography} } @Article{helios97, author = {Laurent Michel and Pascal {Van Hentenryck}}, title = {{Helios}: A modeling language for global optimization and its implementation in {Newton}}, journal = tcs, year = {1997}, volume = {173}, number = {1}, month = feb, pages = {3--48}, } @Misc{LiuBing97, AUTHOR = {Bing Liu and Joxan Jaffar and Roland H.C. Yap}, TITLE = {Constraint Rule-Based Programming}, YEAR = 1997, howpublished = {Draft}, } @InProceedings{Gent96, author = {Ian P. Gent and Ewan MacIntyre and Patrick Prosser and Toby Walsh}, title = {The Constrainedness of Search}, year = {1996}, booktitle ={Proceedings of the thirteenth National Conference on Artificial Intelligence (AAAI '96)}, optnote = {Constant Kappa introduced, also look at CP'96 proceedings} } @InProceedings{CCD94, author={B.~Carlson and M.~Carlsson and D.~Diaz}, title={{Entailment of Finite Domain Constraints}}, booktitle = {{ICLP'94, International Conference on Logic Programming}}, year = {1994}, editor = {P.~Van Hentenryck}, publisher = {MIT Press}, address = {S.~Margherita Ligure, Italy}, series = {MIT Press Series in Logic Programming}, } @InProceedings{Carlsson97, author = {Mats Carlsson and Greger Ottosson and Björn Carlson}, title = {An Open-Ended Finite Domain Constraint Solver}, Booktitle = {PLILP'97, International Symposium on Programming Languages: Implementations, Logics, and Programming}, editor = {H. Glaser and P. Hartel and H. Kucken}, Publisher = spring, Series = LNCS#{~1292}#springort, Address = {Southampton, England}, Month = sep, Year = 1997, optnote = {FD in Prolog, indexicals, reified constraints} } @inproceedings{Harrison96, AUTHOR = {John Harrison}, TITLE = {{S}t{\aa}lmarck's Algorithm as a HOL Derived Rule}, YEAR = 1996, month = aug, PAGES = {221--234}, BOOKTITLE = {Theorem Proving in Higher Order Logics: 9th International Conference, TPHOLs'96}, editor = {Joakim von Wright and Jim Grundy and John Harrison}, address = {Turku, Finland}, publisher = spring#{,~}#springort, series = LNCS # {~1125}, } @InProceedings{Dincbas_88, author = {Mehmet Dincbas and Helmut Simonis and Pascal {Van Hentenryck}}, title = {Solving the Car-Sequencing Problem in Constraint Logic Programming}, editor = {Yves Kodratoff}, booktitle = ECAI, address = {Munich, Germany}, year = 1988, month = aug, pages = {290--295}, publisher = {Pitman Publishers, London}, optnote = {First hard FD problem solved by CLP (CHIP), introduces element constraint} } @Article{hooker90, author = {J. N. Hooker and C. Fedjki}, title = {Branch-and-cut Solution of Inference Problems in Propositional Logic}, journal = {Annals of Mathematics and Artificial Intelligence}, year = {1990}, volume = {1}, pages = {123--139}, } @Article{jeroslow90, author = {Robert G. Jeroslow and Jinchang Wang}, title = {Solving Propositional Satisfiability Problems}, journal = {Annals of Mathematics and Artificial Intelligence}, year = {1990}, volume = {1}, pages = {167--187}, } @InCollection{Davis83} author = {Martin Davis}, title = {The Prehistory and Early History of Automated Deduction}, booktitle = {Automation of Reasoning}, editor = {J{\"o}rg Siekmann and Graham Wrightson}, year = {1983}, publisher = spring, address = springort, pages = {1--28}, volume = {1}, note = {Classical papers on computational logic, 1957-1966}, optnote = {nice introduction to the history of logics} } @Article{loveland69, author = {D. W. Loveland}, title = {A Simplified Format for the Model Elimination Theorem-Proving Procedure}, journal = jacm, year = {1969}, volume = {16}, month = jul, number = {3} } @Article{loveland68, author = {D. W. Loveland}, title = {Mechanical Theorem-Proving by Model Elimination}, journal = jacm, year = {1968}, volume = {15}, month = apr, number = {2} } @book{loveland78, AUTHOR = {Donald W. Loveland}, TITLE = {Automated Theorem Proving: A Logical Basis}, YEAR = 1978, PUBLISHER = nh, ADDRESS = nhort, optnote = {chapter 2: basic resolution gives nice account of Davis-Putnam-Loveland procedure} } @Article{DPL62, author = {M. Davis and G. Logemann and D. Loveland}, title = {A Machine Program for Theorem Proving}, journal = cacm, year = {1962}, volume = 5, number = 7, pages = {394--397}, month = jul } @Article{Davis60, author = {M. Davis and H. Putnam}, title = {A Computing Procedure for Quantification Theory}, journal = jacm, year = {1960}, volume = {7}, month = jul, number = {3} } @InCollection{DavisPresburger} author = {Martin Davis}, title = {A Computer Program for Presburger's Algorithm}, booktitle = {Automation of Reasoning}, editor = {J{\"o}rg Siekmann and Graham Wrightson}, year = {1983}, publisher = spring, address = springort, pages = {41--48}, volume = {1}, note = {Classical papers on computational logic, 1957-1966}, optnote = {nice introduction to the history of logics} } @Article{Davis62, author = {M. Davis and G. Logemann and D. Loveland}, title = {A Machine Program for Theorem Proving}, journal = cacm, year = {1962}, volume = {5}, month = jul, number = {7} } @InProceedings{Davis63, author = {Martin Davis}, title = {Eliminating the Irrelevant from Mechanical Proofs}, booktitle = {Proceedings, Symposia of Applied Mathematics}, year = 1963, pages = {15--30}, publisher = {American Mathematical Society} } @Article{Robinson65, author = {J. A. Robinson}, title = {A Machine-Oriented Logic Based on the Resolution Principle}, journal = jacm, year = {1965}, volume = {12}, month = jan, number = {1} } @InProceedings{Beck:97, author = {J. Christopher Beck and Andrew J. Davenport and Mark S. Fox}, title = {Five Pitfalls of Empirical Scheduling Research}, booktitle = cp97, address = cp97ort, month = oct#{/}#nov, editor = {Gert Smolka}, year = 1997, series = LNCS # {~1330}, publisher = spring#{,~}#springort, pages = {390--404}, } @InProceedings{Engines:97, author = {Christian Schulte}, title = {Programming Constraint Inference Engines}, editor = {Gert Smolka}, booktitle = cp97, address = cp97ort, year = {1997}, series = LNCS # {~1330}, publisher = spring#{,~}#springort, month = oct#{/}#nov, pages = {519--533}, } @InProceedings{Caseau:97, author = {Yves Caseau and Fran{\c{c}}ois Laburthe}, title = {Solving Various Weighted Matching Problems with Constraints}, editor = {Gert Smolka}, booktitle = cp97, address = cp97ort, year = {1997}, series = LNCS # {~1330}, publisher = spring#{,~}#springort, month = oct#{/}#nov, pages = {17--31}, } @InProceedings{Regin:97, author = {Jean-Charles R{\'e}gin and Jean-Fran{\c{c}}ois Puget}, title = {A Filtering Algorithm for Global Sequencing Constraints}, editor = {Gert Smolka}, booktitle = cp97, address = cp97ort, year = {1997}, series = LNCS # {~1330}, publisher = spring#{,~}#springort, month = oct#{/}#nov, pages = {32--46}, } @article{Li:99, author = {Chu Min Li}, title = {A Constraint-Based Approach to Narrow Search Tree for Satisfiability}, booktitle = {Information Processing Letters}, year = {1999}, volume = 71, pages = {75--80} } @InProceedings{Chu:97, author = {Chu Min Li and Anbulagan}, title = {Look-Ahead Versus Look-Back for Satisfiability Problems}, editor = {Gert Smolka}, booktitle = cp97, address = cp97ort, year = {1997}, series = LNCS # {~1330}, publisher = spring#{,~}#springort, month = oct#{/}#nov, pages = {341--355}, } @InProceedings{ChuUP, author = {Chu Min Li and Anbulagan}, title = {Heuristics based on unit propagation for satisfiability problems}, booktitle = {Proceedings of 15th {I}nternational {J}oint {C}onference on {A}ritificail {I}ntelligence, {IJCAI'97} }, address = mkort, year = {1997}, publisher = mk, pages = {366--371}, } @Article{Zhang:93, author = {Zhang, Hantao}, title = {Sato: A Decision Procedure for Propositional Logic}, journal = {Association of Automated Resasoning Newsletters}, year = {1993}, volume = {22}, note = {updated version of November 29, 1997} } @InCollection{Hooker:97} author = {J. N. Hooker}, title = {Constraint satisfaction methods for generating valid cuts}, booktitle = {Advances in Computational and Stochastic Optimization, Logic Programming, and Heuristic Search}, editor = {D. L. Woodruff}, year = {1997}, publisher = kluwer, address = kluwerort, pages = {1--30}, } @Article{Hooker:96, author = {J. N. Hooker}, title = {Testing heuristics: We have it all wrong}, journal = {Journal of Heuristics}, year = {1996}, volume = {1}, pages = {33--42}, } @Article{Hooker:94, author = {J. N. Hooker}, title = {Needed: An empirical science of algorithms}, journal = {Operations Research}, volume = 42, year = 1994, pages = {201--212}, } @Article{Slaney:93, author = {J. Slaney and M. Fujita and M. Stickel}, title = {Automated reasoning and exhaustive search: Quasigroup existence problems}, journal = {Computers and Mathematics with Applications}, year = 1993, } @INPROCEEDINGS{HHS95, AUTHOR = {Reiner H{\"a}hnle and Ryuzo Hasegawa and Yasuyuki Shirai}, TITLE = {Model Generation Theorem Proving with Interval Constraints}, BOOKTITLE = {Proc.\ of {ILPS} Post-Conference Workshop on Interval Constraints, Portland/OR, USA}, EDITOR = {Fr\'{e}d\'{e}ric Benhamou and William J.~Older and Maarten van Emden and Pascal van Hentenryck}, MONTH = dec, YEAR = {1995} } @INPROCEEDINGS{McAloon97, AUTHOR = {Ken McAloon and Carol Tretkoff and Gerhard Wetzel}, TITLE = {Sports League Scheduling}, BOOKTITLE = {Proceedings of the 1997 ILOG Optimization Suite International Users' Conference}, MONTH = jul, ADDRESS = {Paris}, YEAR = {1997} } @INPROCEEDINGS{Smith96, AUTHOR = {Barbara Smith}, TITLE = {Succeed-first or fail-first: A case study in variable and value ordering}, BOOKTITLE = {Proceedings of the 1996 ILOG Solver and ILOG Scheduler International Users' Conference}, MONTH = jul, ADDRESS = {Paris}, YEAR = {1996} } @misc{Trick98, author = {Michael Trick}, year = 1998, title = {Modifications to the Problem Description of ``Scheduling a Major College Basketball Conference''}, howpublished = {WWW at \mbox{\tt http://mat.gsia.cmu.edu/acc$\underline{\ }$mod.html}} } @Article{ACC98, author = {Martin Henz}, title = {Scheduling a Major College Basketball Conference---Revisited}, journal = {Operations Research}, year = 2001, volume = 49, number = 1, note = {to appear} } @InProceedings{robin, author = {Martin Henz}, title = {Constraint-based Round Robin Tournament Planning}, editor = {De Schreye, Danny}, booktitle = ICLP, year = {1999}, publisher = mit#{,~}#mitort, address = {Las Cruces, New Mexico}, pages = {545--557} } @Article{Ball77, author = {B. C. Ball and D. B. Webster}, title = {Optimal Scheduling for even-numbered team athletic conferences}, journal = {{AIIE Transactions}}, year = {1977}, volume = {9}, pages = {161--169} } @book{marriott98, AUTHOR = {Kim Marriott and Peter J. Stuckey}, TITLE = {Programming with Constraints}, YEAR = 1998, PUBLISHER = mit, ADDRESS = mitort, } @Misc{ParametricSequence98, author = {Roland H.C. Yap}, title = {Parametric Sequence Alignment with Constraints}, howpublished = {draft}, year = 1998, } @article{ pfenning93proof, author = "Frank Pfenning", title = "A Proof of the {Church-Rosser} Theorem and its Representation in a Logical Framework", journal = "Journal of Automated Reasoning", year = "1993", url = "citeseer.nj.nec.com/pfenning92proof.html" } @InCollection{lambdaBarendregt, author = {H. P. Barendregt}, title = {Functional Programming and Lambda Calculus}, booktitle = {Handbook of Theoretical Computer Science}, editor = {J. van Leeuwen}, chapter = 7, publisher = else, address = elseort, year = 1990, pages = {323--363}, } @techreport{HarperML86, AUTHOR = {Robert Harper}, TITLE = {Introduction to {Standard ML}}, YEAR = 1986, number = "LFCS Report Series ECS-LFCS-86-14", institution = {Laboratory for Foundations of Computer Science}, address = {Department of Computer Science, University of Edinburgh}, note = {revised Jan. 1989 by Nick Rothwell and Kevin Mitchell}, } @Misc{MLSyntax91, author = {Jawahar Malhotra}, title = {An Introduction to the {Standard ML} Syntax}, howpublished = {Stony Brook, Lecture Note of CSE 526, Principles of Programming Languages, tought by Prateek Mishra}, year = 1991, } @Article{PountainFP, author = {Dick Pountain}, title = {Functional Programming Comes of Age}, journal = {BYTE}, year = {1994}, month = {aug}, pages = {183--184}, } @techreport{JavaIntermediate, AUTHOR = {Jonathan C. Hardwick and Jay Sipelstein}, TITLE = {Java as an Intermediate Language}, YEAR = 1966, number = "CMU-CS-96-161", institution = {School of Computer Science}, address = {Caregie Mellon University, Pittsburgh, PA 15213}, } @Misc{OusterhoutScripting, author = {John K. Outerhout}, title = {Scripting: Higher Level Programming for the 21st Century}, howpublished = {Draft somewhere on the web}, month = mar, year = 1997, } @techreport{CritiqueStandardML, AUTHOR = {Andrew W. Appel}, TITLE = {A Critique of Standard ML}, YEAR = 1992, number = "CS-TR-364-92", institution = {Princeton University}, address = {Princeton}, optnote = {nice hints and references for the language designer}, } @Misc{RealProgrammers, author = {John Ioannidis}, title = {Real Programmers Don't Use {PASCAL}}, howpublished = {Draft somewhere on the web}, } @techreport{GiloiPlankalkuel, AUTHOR = {Wolfgang K. Giloi}, TITLE = {Konrad Zuses Plankalk{\"u}l als Vorl{\"a}ufer moderner Programmiermodelle}, YEAR = 1990, number = "TR 90-13", institution = {Konrad-Zuse-Zentrum f{\"u}r Informationstechnik Berlin}, address = {Heilbronner Str. 10, D-1000 Berlin 31}, } @techreport{ExtensibleSyntax, AUTHOR = {Luca Cardelli and Florian Matthes and Mart{\'\i}n Abadi}, TITLE = {Extensible Syntax with Lexical Scoping}, YEAR = 1994, number = "SRC Research Report 121", institution = {digital Systems Research Center}, address = {130 Lytton Avenue, Palo Alto, California 94301}, } @Misc{ErrorCorrectingSourceCode, author = {Kazunori Ueda and Yasuhiro Ajiro and Kenta Cho}, title = {Error-correcting Source Code}, howpublished = {draft}, } @Misc{StrongModingSlides, author = {Kazunori Ueda}, title = {Strong Moding in Cuncurrent Logic/Constraint Programming}, howpublished = {slides}, } @InCollection{ghc, author = {Kazunori Ueda}, title = {Guarded Horn Clauses: A Parallel Logic Programming Language with the Concept of a Guard}, booktitle = {Programming of Future Generation Computers}, editor = {K. Fuchi and M. Nivat}, publisher = else, address = elseort, year = 1988, pages = {441--456}, } @InProceedings{UedaExperiences, editor = {Takayasu Ito and Robert H. Halstead and Christian Queinnec}, booktitle = {Parallel Symbolic Languages and Systems: International Workshop {PSLS}'95, {Beaune}, {France}}, title = {Experiences with Strong Moding in Concurrent Logic/Constraint Programming}, author = {Kazunori Ueda}, series = LNCS # {~1068}, publisher = spring#{,~}#springort, month = oct, year = 1995, pages = {341--355}, } @INPROCEEDINGS{sulzmann-odersky-wehr-97, author = {Martin Sulzmann and Martin Odersky and Martin Wehr}, title = {Type Inference with Constrained Types}, booktitle = {Proc.\ 4th Int'l Workshop on Foundations of Object-Oriented Languages (FOOL), Paris, France}, editor = {Benjamin Pierce}, year = {1997}, month = {January}, note = {URL: {\tt http://www.cs.indiana.edu/hyplan/pierce/fool/sulzmann.ps.gz}}, } @article{ModedFlat, author = {Kazunori Ueda and Masao Morita}, title = {Moded Flat GHC and Its Message-Oriented Implementation Technique}, journal = {New Generation Computing}, year = {1994}, volume = {13}, number = {1}, pages = {3--43}, } @Misc{CPLS, author = {Gilles Pesant and Michel Gendreau}, title = {A Constraint Programming Framework for Local Search Methods}, howpublished = {draft}, } @article{DorigoIEEE, author = {Marco Dorigo and Vittorio Maniezzo and Alberto Colorni}, title = {{The Ant System}: Optimization by a colony of cooperating agents}, journal = {IEEE Transactions on Systems, Man, and Cybernetics}, year = {1996}, volume = {26}, number = {1}, pages = {1--13}, } @techreport{AntTSP, AUTHOR = {Marco Dorigo and Luca Maria Gambardella}, TITLE = {Ant colonies for the traveling salesman problem}, YEAR = 1996, number = "TR/IRIDIA/1996-3", institution = {Universit{\'e} Libre de Bruxelles}, note = {accepted for publication in BioSystems, 1997} } @techreport{AntCoop, AUTHOR = {Marco Dorigo and Luca Maria Gambardella}, TITLE = {Ant colonies for the traveling salesman problem}, YEAR = 1996, number = "TR/IRIDIA/1996-5", institution = {Universit{\'e} Libre de Bruxelles}, note = {accepted for publication in the IEEE Transactions on Evolutionary Computation, Vol. 1, No. 1, 1997} } @Article{Toplas:97, Author = {Peter {Van Roy} and Seif Haridi and Per Brand and Gert Smolka and Michael Mehl and Ralf Scheidhauer}, Title = {Mobile Objects in Distributed Oz}, Journal = {ACM Transactions on Programming Languages and Systems}, Year = 1997, Month = sep, Volume = 19, Number = 5, pages = {804--851} } @Article{NGC:98, author = {Seif Haridi and Peter {Van Roy} and Per Brand and Christian Schulte}, title = {Programming Languages for Distributed Applications}, journal = {New Generation Computing}, publisher = {Omsha, Ltd. and Springer-Verlag}, address = {Tokyo, Japan}, year = {1998}, volume = 16, number = 3, pages = {223--261} } @InProceedings{Pasco:97, Author = {Seif Haridi and Peter {Van Roy} and Gert Smolka}, Title = {An Overview of the Design of {Distributed} {Oz}}, Booktitle = {Proceedings of the Second International Symposium on Parallel Symbolic Computation (PASCO '97)}, Year = 1997, Month = jul, Pages = {176-187}, Address = {Maui, Hawaii, USA}, Publisher = {ACM Press}, } @Article{KL1, author = {Kazunori Ueda and Takashi Chikayama}, title = {Design of the Kernel Language for the Parallel Inference Machine}, journal = {The Computer Journal}, year = {1990}, volume = 33, number = 6, pages = {494--500} } @InProceedings{schematic, editor = {Jean-Pierre Briot and Jean-Marc Geib and Akinori Yonezawa}, booktitle = {Object-based parallel and distributed computation: {France-Japan} Workshop, {OBPDC} '95, Tokyo, Japan, June 21--23, 1995: selected papers}, author = {Kenjiro Taura and Akinori Yonezawa}, title = {{Schematic}: a concurrent object-oriented extension to {Scheme}}, series = LNCS # {~1107}, publisher = spring#{,~}#springort, year = 1996, pages = {59--82}, } @Proceedings{kudlek, booktitle = {Foundations of Computer Science: Potential - Theory - Cognition}, author = {Manfred Kudlek}, title = {Calendars and Chronology}, series = LNCS # {~1337}, publisher = spring#{,~}#springort, year = 1997, pages = {209--218} } @Proceedings{schmidhuber, booktitle = {Foundations of Computer Science: Potential - Theory - Cognition}, author = {J{\"u}rgen Schmidhuber}, title = {A Computer Scientist's View of Life, the Universe, and Everything}, series = LNCS # {~1337}, publisher = spring#{,~}#springort, year = 1997, pages = {201--208} } @InProceedings{Smolka-Oz-SML-98, title = {Concurrent Constraint Programming Based on Functional Programming}, author = {Gert Smolka}, booktitle = {Programming Languages and Systems}, editor = {Chris Hankin}, series = LNCS # {~1381}, publisher = spring#{,~}#springort, year = 1998, pages = {1--11}, address = {Lisbon, Portugal}, } @Misc{promises, author = {Gert Smolka}, title = {Promises and Futures for {Oz} and {SML}}, howpublished = {draft}, } @phdthesis{TauraThesis, AUTHOR = {Kenjiro Taura}, TITLE = {Efficient and Reusable Implementation of Fine-Grain Multithreading and Garbage Collection on Distributed-Memory Parallel Computers}, YEAR = 1997, SCHOOL = {Department of Information Science, University of Tokyo}, ADDRESS = {Tokyo}, } @Article{kobayashi98, author = {Naoki Kobayashi}, title = {A Partially Deadlock-free Typed Process Calculus}, journal = {ACM Transactions on Programming Languages and Systems}, year = {1998}, volume = 20, number = 2, pages = {436--482}, } @InProceedings{endo97, title = {A Scalable Mark-Sweep Garbage Collector on Large-Scale Shared-Memory Machines}, author = {Toshio Endo and Kenjiro Taura and Akinori Yonezawa}, booktitle = {Proceedings of High Performance Networking and Computing (SC97)}, month = nov, year = 1997, } @Misc{yap98, author = {Roland H.C. Yap}, title = {Parametric Sequence Alignment with Constraints}, howpublished = {draft}, } @techreport{monfroy96, AUTHOR = {Eric Monfroy}, TITLE = {An Environment for Designing/Executing Constraint Solver Collaborations}, YEAR = 1996, month = feb, number = "Research Report 96-R-044", institution = {Centre de Recherche en Informatique de Nancy}, address = {Vandoeuvre-l{\'e}s-Nancy}, } @InProceedings{selman:98, AUTHOR = {C.P. Gomes and B. Selman and H. A. Kautz}, TITLE = {Boosting Combinatorial Search Through Randomization}, booktitle={Proceedings of the 16th National Conference on Artificial Intelligence}, address={Madison, WI}, year=1998, publisher={AAAI Press}, } @InProceedings{taura:gc:97, AUTHOR = {Kenjiro Taura and Akinori Yonezawa}, TITLE = {An Effective Garbage Collection Strategy for Parallel Programming Languages on Large Scale Distributed-Memory Machines}, booktitle={Proceedings of {PPoPP'97}}, year=1997, } @InProceedings{taura:mt:98, AUTHOR = {Kenjiro Taura and Akinori Yonezawa}, TITLE = {Fine-grain Multithreading with Minimal Compiler Support---A Cost Effective Approach to Implementing Efficient Multithreading}, booktitle={Proceedings of {PLDI'97}}, year=1997, } @InProceedings{MuellerMueller:97a, Author = {T. M{\"u}ller and M. M{\"u}ller}, Title = {Finite Set Constraints in {Oz}}, Editor = {Fran{\c{c}}ois Bry and Burkhard Freitag and Dietmar Seipel}, Booktitle = {13. Workshop Logische Programmierung}, Year = 1997, Month = {17--19 } # sep, Address = {Technische Universit{\"a}t M{\"u}nchen}, Pages = {104--115} } @InProceedings{yamamoto:98, Author = {Hirotaka Yamamoto and Kenjiro Taura and Akinori Yonezawa}, Title = {Comparing Reference Counting and Global Mark-and-Sweep on Parallel Computers}, Booktitle = {Proceedings of Fourth Workshop on Languages, Compilers, and Run-time Systems for Scalable Computers (LCR98)}, Year = 1998, note = {to be published by Springer-Verag in Lecture Notes in Computer Science series}, } @TechReport{plain-report-97, author = {Martin M\"uller and Joachim Niehren and Gert Smolka}, title = {{Typed Concurrent Programming with Logic Variables}}, INSTITUTION = {Programming Systems Lab, Universit{\"a}t des Saarlandes}, month = sep, year = {1997} } @Article{CP2000, author = {Joxan Jaffar and Roland H. C. Yap}, title = {Constraint Programming 2000: A Position Paper}, journal = {Constraints}, year = {1997}, volume = 2, number = 1, pages = {71--73}, } @incollection{Chikayama:94, AUTHOR = {T. Chikayama and T. Fujise and D. Sekita}, TITLE = {A Portable and Efficient Implementation of KL1}, editor = {Manuel V. Hermenegildo and Jaan Penjam}, booktitle = {Programming Language Implementation and Logic Programming, 6th International Symposium, PLILP'94}, year = 1994, month = sep, pages = {261--276}, address = {Madrid, Spain}, publisher = spring#{,~}#springort, series = LNCS#{~844} } @incollection{Franzen:92, AUTHOR = {T. Franzen and S. Haridi and S. Janson}, TITLE = {An Overview of the Andorra Kernel Language}, YEAR = 1992, BOOKTITLE = {Extensions of Logic Programming: Proceedings of the Second International Workshop {ELP'91}}, EDITOR = {L.-H. Eriksson and L. Halln\"as and P. Schroeder-Heister}, PUBLISHER = {Springer}, ADDRESS = {Berlin, Heidelberg}, PAGES = {163-179}, KEYWORDS = {}} @InProceedings{AKL, author={Janson, Sverker and Haridi, Seif}, title={Programming Paradigms of the {A}ndorra Kernel Language}, pages={167--186}, crossref={SLP91} } @Proceedings{SLP91, title = {Logic Programming, Proceedings of the 1991 International Symposium}, booktitle = {Logic Programming, Proceedings of the 1991 International Symposium}, year = {1991}, editor = {Saraswat, Vijay and Ueda, Kazunori}, publisher = {The MIT Press}, address = {San Diego, USA}, } @Article{boer91, author = {F.S. de Boer and J.N. Kok and C. Palamidessi and J.J.M.M. Rutten}, title = {Semantic models for concurrent logic languages}, journal = TCS, year = {1991}, volume = 86, number = 1, pages = {3--34}, } @article{Hilog, journal = "Journal of Logic Programming", author = {Chen, Weidong and Kifer, Michael and Warren, David S.}, title = {HiLog: A Foundation for Higher-Order Logic Programming}, year = 1993, pages = "187-230", volume = 15 } @article{Ait-Kaci:89b, AUTHOR = {Hassan A{\"\i}t-Kaci and Roger Nasr}, TITLE = {Integrating logic and functional programming}, YEAR = 1989, journal = "Lisp and Symbolic Computation", volume = 2, pages = "51--89", KEYWORDS = {}} @article{towardsLIFE, author = {Hassan A{\"\i}t-Kaci and Andreas Podelski}, Journal = jlp, pages = {195--234}, title = {Towards a Meaning of {LIFE}}, year = {1993}, volume = 16 } @InProceedings{CAM, author = "G\'erard Berry and G\'erard Boudol", title = "The Chemical Abstract Machine", pages = "81--94", crossref= "popl90", loc = RT } @proceedings{popl90, booktitle = "Proceedings of the 17th {ACM} Conference on Principles of Programming Languages", address = "San Francisco, CA", month = jan, year = 1990 } @incollection{Boer:90, AUTHOR = {F. S. de Boer and C. Palamidessi}, TITLE = {On the Asynchronous Nature of Communication in Concurrent Logic Languages: A Fully Abstract Model Based on Sequences}, YEAR = 1990, BOOKTITLE = {CONCUR'90: Theories of Concurrency - Unification and Extension (Proc.)}, EDITOR = {J. C. M. Baeten and J. W. Klop}, PUBLISHER = {Springer}, ADDRESS = {Berlin, Heidelberg}, PAGES = {99-114}, KEYWORDS = {}} @article{Cohen90, AUTHOR = {J. Cohen}, TITLE = {Constraint Logic Programming Languages}, YEAR = 1990, JOURNAL = CACM, MONTH = jul, PAGES = {52-68}, KEYWORDS = {CONSTRAINTS}} @incollection{Dincbas:91, AUTHOR = {M. Dincbas and H. Simonis and P. {Van Hentenryck}}, TITLE = {Solving a Cutting-Stock Problem in Constraint Logic Programming}, YEAR = 1991, BOOKTITLE = {Logic Programming: Proc.\ of the Fifth International Conference and Symposium (Volume 1)}, EDITOR = {R. A. Kowalski and K. A. Bowen}, PUBLISHER = {MIT Press}, ADDRESS = {Cambridge, MA}, PAGES = {42-58}, KEYWORDS = {}} @InProceedings{pim88, author = {Atsuhiro Goto and Masatoshi Sato and Katsuto Nakajima and Kazuo Taki and Akira Matsumoto}, title = {Overview of the Parallel Inference Machine Architecture {(PIM)}}, PUBLISHER = spring#{,~}#springort, ADDRESS = {Tokyo, Japan}, booktitle = FGCS, year = {1988}, pages = {208--229}, } @TechReport{VanHentenryck:90a, author = "P. {Van Hentenryck} and Y. Deville", title = "The Cardinality Operator: A New Logical Connective for Constraint Logic Programming", institution = "Brown University", year = "1990", type = "Report", number = "CS-90-24", month = "November" } @inproceedings{Kahn92-0:confs, author = {Kahn, Kenneth}, title = {Concurrent Constraint Programs to Parse and Animate Pictures of Concurrent Constraint Programs}, booktitle = fgcs, year = {1992}, publisher = acm, address = {ICOT, Japan}, pages = {943--950} } @PHDTHESIS{VanHentenryck87:lp, AUTHOR = {Van Hentenryck, P.}, MONTH = {July}, SCHOOL = {University of Namur (Belgium)}, TITLE = {{Consistency Techniques in Logic Programming}}, YEAR = {1987}, optnote = {only first 3 chapters}, } @article{Milner:93, author = {Milner, Robin}, journal = {Communications of the ACM}, month = jan, number = {1}, pages = {78-89}, title = {Elements of Interaction ({Turing Award Lecture})}, volume = {36}, year = {1993} } @article{Milner:93a, author = {Milner, Robin}, journal = {Communication of the ACM}, month = jan, optnote = {Nach Artikel - Elements of Interaction Turing Award Lecture}, number = {1}, pages = {90-97}, title = {An Interview with Robin Milner}, volume = {36}, year = {1993} } @TECHREPORT{DR88, AUTHOR = {Markus H{\"o}hfeld and Gert Smolka}, TITLE = {Definite Relations over Constraint Languages}, TYPE = {LILOG Report}, NUMBER = 53, YEAR = 1988, MONTH = Oct, ADDRESS = "Postfach 80 08 80, 7000 Stuttgart 80, Germany", INSTITUTION = "IWBS, IBM Deutschland", note = "Accepted for the Journal of Logic Programming" } @incollection{Thomsen:93, AUTHOR = {B. Thomsen and L. Leth and A. Giacalone}, TITLE = {Some Issues in the Semantics of Facile Distributed Programming}, YEAR = 1993, BOOKTITLE = {Semantics: Foundations and Applications - Proc.\ of the REX Workshop}, EDITOR = {J. W. de Bakker and W.-P. de Roever and G. Rozenberg}, PUBLISHER = {Springer}, ADDRESS = {Berlin, Heidelberg}, PAGES = {563-593}, KEYWORDS = {}} @Misc{voda98a, author = {Paul J. Voda}, title = {The constraint language trilogy: Semantics and computation}, howpublished = {unpublished}, } @article{Yang:87, AUTHOR = {R. Yang and H. Aiso}, TITLE = {P-Prolog: A Parallel Logic Language Based on Exclusive Relation}, YEAR = 1987, JOURNAL = {New Generation Computing}, VOLUME = {5}, PAGES = {79-95}, KEYWORDS = {}} @inproceedings{Kahn:90, AUTHOR = {K. M. Kahn and V. A. Saraswat}, TITLE = {Complete Visualizations of Concurrent Programs and Their Executions}, YEAR = 1990, BOOKTITLE = {Proc.\ of the IEEE Workshop 1990 on Visual Languages}, ADDRESS = {Skokie, IL}, PAGES = {7-15}, KEYWORDS = {}} @Misc{KahnPlay, author = {Kenneth M. Kahn}, title = {Towards Visual Concurrent Constraint Programming}, howpublished = {unpublished}, } @Misc{RossbergSmolka, author = {Andreas Rossberg and Gert Smolka}, title = {Objects for {DML}}, howpublished = {unpublished}, } @InProceedings{MuellerNishimura:98, author={Martin M{\"u}ller and Susumu Nishimura}, title={Type Inference for First-Class Messages with Feature Constraints}, booktitle = {Asian Computer Science Conference (ASIAN 98)}, address = {Manila, The Philippines}, month = {December}, editors = {Jieh Hsiang and Atsushi Ohori}, year=1998 } @InProceedings{CrawfordDalalWalser98, author = {James M. Crawford and Mukesh Dalal and Joachim P. Walser}, title = {Abstract Local Search}, booktitle = {Proceedings of the AIPS-98 Workshop on Planning as Combinatorial Search}, note = {In conjunction with The Fourth International Conference on Artificial Intelligence Planning Systems, AIPS-98}, year = 1998 } @Misc{typesafe, author = {Martin M{\"u}ller}, title = {Type-safe Programming with Constraints}, howpublished = {unpublished}, year = 1998 } @InProceedings{michel:97, author = {Laurent Michel and Pascal Van Hentenryck}, title = {{LOCALIZER}---A Modelling Language for Local Search}, booktitle = cp97, address = cp97ort, month = oct#{/}#nov, editor = {Gert Smolka}, year = 1997, series = LNCS # {~1330}, publisher = spring#{,~}#springort, pages = {237--251}, } @article{Scha99, AUTHOR = {Andrea Schaerf}, TITLE = {Scheduling Sport Tournaments using Constraint Logic Programming}, YEAR = 1999, JOURNAL = {Constraints}, VOLUME = {4}, NUMBER = {1}, PAGES = {43--65}, } @Conference{Scha96c, author = {Andrea Schaerf}, title = {Scheduling Sport Tournaments using Constraint Logic Programming}, booktitle = ECAI, address = {Budapest, Hungary}, year = 1996, pages = {634--639}, publisher = {John Wiley \& Sons}, } @book{Nemhauser88, AUTHOR = {G. Nemhauser and L. Wolsey}, TITLE = {Integer and Combinatorial Optimization}, YEAR = 1988, publisher = {John Wiley \& Sons}, address = wilort } @article{connolly92, AUTHOR = {D. Connolly}, TITLE = {General Purpose Simulated Annealing}, YEAR = 1992, JOURNAL = {Journal of the Operations Research Society}, VOLUME = {43}, PAGES = {495--505}, } @Booklet{ozdocBooklet, key = {Mozart}, title = {{Mozart Consortium}. {The Mozart Programming System}}, year = {1999}, howpublished = {Documentation and system available from \mbox{\tt http://www.mozart-oz.org}}, address = {Programming Systems Lab, Saarbr\"ucken, Swedish Institute of Computer Science, Stockholm, and Universit{\'e} catholique de Louvain} } @inproceedings{pecos, title = {{PECOS}: A High Level Constraint Programming Language}, author = {Jean-Fran{\c{c}}ois Puget}, booktitle = {Proceedings of the First Singapore International Conference on Intelligent Systems (SPICIS)}, year = 1992, address = {Singapore}, month = sep#{/}#oct, pages = {137--142} } @article{haynes86, AUTHOR = {Christopher T. Haynes and Daniel P. Friedman and Mitchell Wand}, TITLE = {Obtaining coroutines from continuations}, YEAR = 1986, JOURNAL = {Journal of Computer Languages}, VOLUME = {11}, PAGES = {143--153} } @article{borning92, AUTHOR = {Alan Borning and Bjorn Freeman-Benson and Molly Wilson}, TITLE = {Constraint Hierarchies}, YEAR = 1992, JOURNAL = {Lisp and Symbolic Computation}, VOLUME = {5}, PAGES = {223--270}, } @InProceedings{borning87, author = {Alan Borning and Robert Duisberg and Bjorn Freeman-Benson Axel Kramer and Michael Woolf}, title = {Constraint Hierarchies}, booktitle = {Proceedings of the 1987 ACM Conference on Object-Oriented Programming Systems, Languages, and Applications}, month = oct#{/}#nov, year = 1997, publisher = acm, pages = {48--60}, } @InProceedings{selman:94, author = {B.~Selman and H.~Kautz and B.~Cohen}, title = {Noise strategies for improving local search}, booktitle = {Proceedings of AAAI-94}, year = 1994, pages = {337--343}, } @InProceedings{selman:92, author = {B.~Selman and Hector Levesque and David Mitchell}, title = {A new method for solving hard satisfiability problems}, booktitle = {Proceedings of AAAI-92}, year = 1992, pages = {440--446}, } @PHDTHESIS{walser_phd:98, AUTHOR = {Joachim Paul Walser}, MONTH = aug, SCHOOL = {Universit{\"a}t des Saarlandes, D 66041 Saarbr{\"u}cken, Germany}, TITLE = {Domain-Independent Local Search for Linear Integer Optimization}, YEAR = {1998}, } @INPROCEEDINGS{flang, AUTHOR = {Andrei Mantsivoda and Vyacheslav Petukhin and Alexei Weimann}, TITLE = {Memory Management of Constraints in {Flang}}, BOOKTITLE = iclp, EDITOR = {David S. Warren}, PUBLISHER = mit#{,~}#mitort, ADDRESS = {Budapest, Hungary}, MONTH = jun, YEAR = {1993}, PAGES = {633--646}, } @phdthesis{steelephd, AUTHOR = {Steele, Jr., Guy Lewis}, TITLE = {The Definition and Implementation of a Computer Programming Language Based on Constraints}, YEAR = 1980, MONTH = aug, SCHOOL = mit, ADDRESS = mitort, } @Misc{rooms, author = {Martin Henz and Gert Smolka}, title = {An Experimental Implementation of a Finite Domain Constraint Programming Library in {SML}}, howpublished = {{SML} code available via {WWW} at \mbox{\tt http://www.comp.nus.edu.sg/$\tilde{\ }$henz/projects/rooms}}, year = 1999, } @Misc{stkcode, author = {Tee Yong Chew and Martin Henz}, title = {{SearchToolKit}: A Toolkit for Constraint-based Tree Search}, howpublished = {{Oz} code available via {WWW} at \mbox{\tt http://www.comp.nus.edu.sg/\homedir henz/projects/stk}}, year = 1999, } @InProceedings{aop:97, AUTHOR = {Gregor Kiczales and John Lamping and Anurag Mendhekar and Chris Maeda and Cristina Videira Lopes and Jean-Marc Loingtier and John Irwin}, TITLE = {Aspect-Oriented Programming}, booktitle = ECOOP, editor = {J. Bosch and S. Mitchell}, address = {Jyv{\"a}skyl{\"a}, Finland}, series = LNCS # {~1357}, publisher = spring#{,~}#springort, year = {1997}, } @InProceedings{hosobe96, AUTHOR = {Hiroshi Hosobe and Satoshi Matsuoka and Akoniro Yonezawa}, TITLE = {Generalized Local Propagation: A Framework for Solving COnstraint Hierarchies}, YEAR = 1996, booktitle = cp96, publisher = spring, PAGES = {235--251}, } @book{jampel:book, editor = {Michael Jampel and Eugene Freuder and Michael Maher}, TITLE = {Over-Constrained Systems}, YEAR = 1996, series = LNCS # {~1106}, PUBLISHER = spring, } @InProceedings{freuder96, crossref = {jampel:book}, AUTHOR = {Eugene Freuder and Richard Wallace}, TITLE = {Partial Constraint Satisfaction}, PAGES = {63--110}, } @InCollection{wolf96, crossref = {jampel:book}, AUTHOR = {Armin Wolf}, TITLE = {Transforming Ordered Constraint Hierarchies into Ordinary Constraint Systems}, pages = {171--187}, } @InCollection{menezes96, crossref = {jampel:book}, AUTHOR = {Francisco Menezes and Pedro Barahona}, TITLE = {Defeasible Constraint Solving}, PAGES = {151--187}, } @InCollection{bistarelli96, crossref = {jampel:book}, AUTHOR = {Stefano Bistarelli and H\'el\`ene Fargier and Ugo Montanari and Francesca Rossi and Thomas Schies and G\'erard Verfaille}, TITLE = {Semiring-based {CSPs} and Valued {CSPs}: Basic Properties and Comparison}, PAGES = {111--150}, } @article{freeman-benson90, AUTHOR = {Freeman-Benson, B. N. and J. Maloney and A. Borning}, TITLE = {An Incremental Constraint Solver}, YEAR = 1990, journal = CACM, VOLUME = {33}, number = {1}, PAGES = {54--63}, } @InProceedings{sannella94, AUTHOR = {Michael Sannella}, TITLE = {Skyblue: A Multi-Way Local Propagation Constraint Solver for User Interface Construction}, YEAR = 1996, booktitle = {Proceedings of the ACM Symposium on User Interface Software and Technology}, publisher = ACM, PAGES = {137--146}, } @article{wilson93, AUTHOR = {Molly Wilson and A. Borning}, TITLE = {Hierarchical Constraint Logic Programming}, YEAR = 1993, journal = JLP, VOLUME = {16}, number = {3/4}, PAGES = {277--319}, } @article{JDBC, author = {Carol Sliwa}, title = {Java Database Connectivity}, journal = {ComputerWorld}, year = {2000}, note = {Available at \verb#http://www.computerworld.com/home/features.nsf/all/991213qs#} } @INPROCEEDINGS{HS:98, author = {Warwick Harvey and Peter Stuckey}, title = {Constraint Representation for Propagation}, editor = {Jean-Fran{\c{c}}ois Puget and Michael Maher}, booktitle = {Proceedings of the Fourth International Conference on Principles and Practice of Constraint Programming(CP98)}, pages = {235--249}, month = OCT, year = {1998}, publisher = spring, address = {Pisa, Italy}, series =LNCS } @inproceedings{Beazley:96, author = {David M. Beazley}, title = {{SWIG: An Easy to Use Tool for Intergrating Scripting Languages with C and C++}}, booktitle = {4th {A}nnual {T}cl/{T}k {W}orkshop}, address = {Monterey}, month = jul, year = {1996} } @INPROCEEDINGS{lds, AUTHOR = {William D. Harvey and Matthew L. Ginsberg}, TITLE = {Limited Discrepancy Search}, BOOKTITLE = ijcai, ADDRESS = {Montr{\'e}al, Qu{\'e}bec, Canada}, EDITOR = {Chris S. Mellish}, PUBLISHER = mk#{,~}#mkort, YEAR = {1995}, MONTH = aug, PAGES = {607--615}, } @INPROCEEDINGS{idfs, AUTHOR = {Pedro Meseguer}, TITLE = {Interleaved Depth First Search}, BOOKTITLE = ijcai, ADDRESS = {Nagoya, Japan}, EDITOR = {Martha E. Pollack}, PUBLISHER = mk#{,~}#mkort, YEAR = {1997}, MONTH = aug, PAGES = {1382--1387}, } @INPROCEEDINGS{dds, AUTHOR = {Toby Walsh}, TITLE = {Depth-bounded Discrepancy Search}, BOOKTITLE = ijcai, ADDRESS = {Nagoya, Japan}, EDITOR = {Martha E. Pollack}, PUBLISHER = mk#{,~}#mkort, YEAR = {1997}, MONTH = aug, PAGES = {1388--1393}, } @INPROCEEDINGS{MeseguerWalsh98, AUTHOR = {Pedro Meseguer and Toby Walsh}, TITLE = {Interleaved and Discrepancy Based Search}, BOOKTITLE = ecai, ADDRESS = {Brighton, UK}, EDITOR = {Henri Prade}, PUBLISHER = wil, YEAR = {1998}, MONTH = aug, PAGES = {239--243} } @INPROCEEDINGS{ZhangZhang96, AUTHOR={Jian Zhang and Hantao Zhang}, TITLE = {Combining Local Seearch and Backtracking Techniques for Constraint Satisfaction}, BOOKTITLE = {Proceedings of the Thirteenth National Conference on Ariticial Intelligence and Eighth Innovative Applications of Artificial Intelligence Conference}, ADDRESS = {Portland, Oregon}, PUBLISHER = mit, VOLUME = 1, YEAR = 1996, MONTH = aug, PAGES = {369 -- 374} } @INPROCEEDINGS{PrcovicNeveu99, AUTHOR = {Nicolas Prcovic and Betrand Neveu}, TITLE = {Ensuring a Relevant Visiting Order of the Leaf Nodes During a Tree Search}, BOOKTITLE = cp, ADDRESS = {Alexandria, Virginia, USA}, EDITOR = {Joxan Jaffar}, PUBLISHER = spring#{,~}#springort, YEAR = {1999}, MONTH = oct, PAGES = {361--374} } @inproceedings{M_S98, AUTHOR = {J. P. Marques-Silva}, title = {An Overview of Backtrack Search Satisfiability Algorithms}, Booktitle = {Fifth International Symposium on Artificial Intelligence and Mathematics}, month = Jan, year = 1998, address = {Fort Lauderdale, Florida}, note = {Electronic proceedings available from http://rutcor.rutgers.edu/~amai/aimath98/Proceedings.html}} @Misc{scripting, AUTHOR = {Ng, Ka Boon Kevin}, TITLE = {A Scripting Approach to Finite Domain Constraint Programming}, YEAR = 1999, HOWPUBLISHED = {Honours Year Project Report, School of Computing, National University of Singapore} } @Misc{stkreport, AUTHOR = {Chew, Tee Yong}, TITLE = {A Toolkit for Constraint-based Tree Search}, YEAR = 1999, MONTH = mar, howpublished = {Honours Year Project Report, School of Computing, National University of Singapore, available at {\tt http://www.comp.nus.edu.sg/~henz/projects/toolkit/}}, } @article{korf:85, author = {Richard E. Korf}, title = {Depth-first Iterative Deepening}, journal = ai, volume = 27, number = 1, pages = {97--109}, year = 1985, } @InProceedings{meier:95, author = {Micha Meier}, title = {Debugging Constraint Programs}, booktitle = {Proceedings of the First International Conference on Principles and Practice of Constraint Programming}, year = 1995, series = LNCS # {~976}, publisher = spring#{,~}#springort, pages = {328--344}, month = sep, address = {Cassis, France}, } @article{kennedy:96, author = {Andrew J. Kennedy}, title = {Functional Pearls: Drawing Trees}, journal = {Journal of Functional Programming}, volume = 6, number = 3, pages = {527--534}, year = 1996, month = may } @InProceedings{AggounBeldiceanu:91, author = {Abderrahamane Aggoun and Nicolas Beldiceanu}, title = {Overview of the {CHIP} Compiler System}, editor = {Koichi Furukawa}, booktitle = {Logic Programming: Proceedings of the Eight International Conference}, year = {1991}, pages = {775--788}, address = {Paris, France}, publisher = mit, month = jun } @InProceedings{AggounBeldiceanu:90, author = {Abderrahamane Aggoun and Nicolas Beldiceanu}, title = {{Time Stamps Techniques for the Trailed Data in Constraint Logic Programming Systems}}, booktitle = {Actes du S{\'e}minaire 1990--Programmation en Logique}, publisher = {CNET}, year = {1990}, pages = {487--509}, address = {Tregastel, France}, month = may } @TechReport{SiskindMcAllester:93, author = {Jeffrey Mark Siskind and David Allen McAllester}, title = {{Screamer}: A portable efficient implementation of nondeterministic {Common} {Lisp}}, institution = {University of Pennsylvania, Institute fo Research in Cognitive Science}, year = {1993}, type = {Technical Report}, number = {IRCS-93-03} } @InCollection{glover93, AUTHOR = {F. Glover and M. Laguna}, TITLE = {Tabu Search}, YEAR = 1993, booktitle = {Modern Heuristic Techniques for Combinatorial Problems}, publisher = {Blackwell Scientific Publications}, } @article{mangoubi:85, AUTHOR = {R. S. Mangoubi and Dennis F. X. Mathaisel}, TITLE = {Optimizing Gate Assignments at Airport Terminals}, YEAR = 1985, journal = {Transportation Science}, VOLUME = {19}, number = {2}, month = may, PAGES = {173-188}, } @article{cheng:98, author = {Yu Cheng}, title = {Network-Based Simulation of Aircraft at Gates in Airport Terminals}, journal = {Journal of Transportation Engineering---{ASCE}}, volume = 124, number = 2, pages = {188--196}, year = 1998, month = mar } @article{cheng:98b, author = {Yu Cheng}, title = {A Rule-based Reactive Model for The Simulation of Aircraft on Airport Gates}, journal = {Knowledge-Based Systems}, volume = 10, number = 4, pages = {225--236}, year = 1998, } @article{haghani:98, author = {Ali Haghani and Min-Ching Chen}, title = {Optimizing Gate Assignments at Airport Terminals}, journal = {Transportation Research}, volume = 32, number = 6, pages = {437--454}, year = 1998, } @article{mangoubi85, AUTHOR = {R.S. Mangoubi and Dennis F.X. Mathaisel}, TITLE = {Optimizing Gate Assignments at Airport Terminals}, YEAR = 1985, MONTH = may, JOURNAL = {Transportation Science}, VOLUME = {19}, NUMBER = {2}, PAGES = {173--188}, KEYWORDS = {} } @Booklet{ozdocBooklet_small, key = {Mozart}, title = {{Mozart Consortium}. {The Mozart Programming System}}, year = {1999}, howpublished = {Documentation and system available via {WWW} from \mbox{\tt http://www.mozart-oz.org}} } @InProceedings{claire, author = {Yves Caseau and Fran{\c{c}}çois Laburthe}, title = {{\textsc{CLAIRE}}: Combining Objects and Rules for Problem Solving}, booktitle = {Proceedings of the JICSLP'96 workshop on multi-paradigm logic programming}, editors = {M.T. Chakravarty and Y. Guo and T. Ida}, publisher = {TU Berlin}, year = {1996}, } @INPROCEEDINGS{schulte99, AUTHOR = {Christian Schulte}, TITLE = {Comparing Trailing and Copying for Constraint Programming}, booktitle = ICLP, ADDRESS = {Las Cruces, New Mexico}, PUBLISHER = mit#{,~}#mitort, EDITOR = {Danny De Schreye}, YEAR = {1999}, MONTH = aug, PAGES = {275--289}, } @InProceedings{chailloux94, author = {Emmanuel Chailloux and Christian Codognet and Philippe Codognet}, title = {Finite Domain Constraints in the {ML} Functional Language}, booktitle = {Proceedings of the 6$^{th}$ IEEE International Conference on Tools with Artificial Intelligence}, address = {New Orleans, Louisiana}, month = nov, year = 1994, pages = {784--787}, Publisher = "IEEE Computer Society Press", } @Misc{schultedeep, author = {Christian Schulte}, title = {Programming Deep Concurrent Constraint Combinators}, howpublished = {Draft}, year = 1999, } @Misc{notesonhmx, author = {Martin M{\"u}ller}, title = {Notes on {HM(X)}}, howpublished = {Draft}, year = 1998, } @article{willcocks68, AUTHOR = {T. H. Willcocks}, TITLE = {The Construction of Magic Knight Tours}, YEAR = 1968, JOURNAL = {Journal of Recreational Mathematics}, NUMBER = {1}, PAGES = {225--233}, KEYWORDS = {} } @book{opl, AUTHOR = {Pascal Van Hentenryck}, TITLE = {The {OPL} Optimization Programming Language}, YEAR = 1999, PUBLISHER = mit, ADDRESS = mitort, } @manual{SL:1995, title = {The {S}tandard {T}emplate {L}ibrary}, author = {Alexander Stepanov and Meng Lee}, year = {1995}, organization = {Hewlett Packard}, note = {STL has since been incorporated into the C++ standard, ISO/IEC 14882-1998} } @Misc{roomsdraft, author = {Martin Henz and Gert Smolka}, title = {Design of a Finite Domain Constraint Programming Library for {ML}}, year = 1999, howpublished = {draft available at \url{http://www.comp.nus.edu.sg/~henz/drafts/room.ps}}, } @book{walser:book, author = {J. Paul Walser}, TITLE = {Integer Optimization by Local Search, A Domain-Independent Approach}, YEAR = 1999, series = LNAI # {~1637}, PUBLISHER = spring, } @Misc{lustig:99, author = {Irvin J. Lustig and Jean-Fran{\c{c}}ois Puget}, title = {Program {!=} Program: Constraint Programming and its Relationship to Mathematical Programming}, year = 1999, howpublished = {white paper of Ilog Inc., Mountain View, CA 94043, USA, available at \url{http://www.ilog.com}}, } @article{cook:71, AUTHOR = {Stephen A. Cook}, TITLE = {The Complexity of Theorem-proving procedures}, YEAR = 1971, JOURNAL = {Third Annual ACM Symposium on Theory of Computing}, PAGES = {151--158}, KEYWORDS = {} } @book{gareyjohnson79, AUTHOR = {Michael Garey and David Johnson}, TITLE = {Computers and Intractability: A Guide to the Theory of {NP-Completeness}}, YEAR = 1979, PUBLISHER = {W. H. Freeman and Company}, ADDRESS = {New York} } @InProceedings{satchallenge:97, author = {Bart Selman and Henry Kautz and David McAllester}, title = {Ten Challenges in Propositional Reasoning and Search}, booktitle = {Proceedings of the 15$^{th}$ International Joint Conference Artificial Intelligence}, address = {NAGOYA, Archi, Japan}, year = 1997 } @InProceedings{satplanning:92, author = {Henry Kautz and Bart Selman}, title = {Planning as Satisfiability}, booktitle = {Proceedings of the ECAI-92}, pages = {359--363}, address = {Vienna, Austria}, year = 1992 } @InProceedings{stk, author = {Tee Yong Chew and Martin Henz and Ka Boon Ng}, title = {A Toolkit for Constraint-based Inference Engines}, booktitle = {Practical Aspects of Declarative Languages, Second International Workshop, PADL 2000}, editor = {Enrico Pontelli and V{\'\i}tor Santos Costa}, year = 2000, series = LNCS # {~1753}, publisher = spring#{,~}#springort, address = {Boston, MA}, pages = {185--199} } @InProceedings{amai, author = {Martin Henz and Yun Fong Lim and Seet Chong Lua and Xiao Ping Shi and J. Paul Walser and Roland H. C. Yap}, title = {Solving Hierarchical Constraints over Finite Domains}, booktitle = {Sixth International Symposium on Artificial Intelligence and Mathematics}, year = 2000, address = {Fort Lauderdale, Florida}, note = {to appear} } @InProceedings{figaro, author = {Martin Henz and Tobias M{\"u}ller and Ka Boon Ng}, title = {Figaro: Yet Another Constraint Programming Library}, booktitle = {Proceedings of the Workshop on Parallelism and Implementation Technology for Constraint Logic Programming}, year = 1999, ADDRESS = {Las Cruces, New Mexico, USA}, note = {held in conjunction with ICLP'99} } @inproceedings{claire_iclp99, AUTHOR = {Yves Caseau and Fran{\c{c}}ois-Xavier Josset and Fran{\c{c}}ois Laburthe}, TITLE = {{CLAIRE}: Combining Sets, Search and Rules to Better Express Algorithms}, YEAR = 1999, editor = {Danny De Schreye}, booktitle = ICLP, ADDRESS = {Las Cruces, New Mexico, USA}, PUBLISHER = mit#{,~}#mitort, pages = {245--259} } @inproceedings{salsa_cp98, AUTHOR = {Fran{\c{c}}ois Laburthe and Yves Caseau}, TITLE = {{SALSA}: A Language for Search Algorithms}, YEAR = 1998, editor = {Michael Maher and Jean-Fran{\c{c}}ois Puget}, booktitle = cp, ADDRESS = {Pisa, Italy}, publisher = spring#{,~}#springort, pages = {310--324}, } @inproceedings{caseau_meta_cp99, AUTHOR = {Yves Caseau and Fran{\c{c}}ois Laburthe and Glenn Silverstein}, TITLE = {A Meta-Heuristic Factory for Vehicle Routing Problems}, YEAR = 1999, editor = {Joxan Jaffar}, booktitle = cp, ADDRESS = {Alexandria, VA, USA}, publisher = spring#{,~}#springort, pages = {144--158}, } @article{IEEEIS2000, AUTHOR = {Martin Henz}, TITLE = {{Friar Tuck} - A Constraint-Based Tournament-Scheduling Tool}, YEAR = 2000, month = jan#{-}#feb, JOURNAL = {IEEE Intelligent Systems}, VOLUME = 15, NUMBER = 1, PAGES = {5--7} } @phdthesis{bar83, AUTHOR = {M. Bartusch}, TITLE = {Optimierung von Netzpl{\"a}nen mit Anordnungsbeziehungen bei knappen Betriebsmitteln}, YEAR = 1983, SCHOOL = {Universit{\"a}t Passau, Fakult{\"a}t für Mathematik und Informatik}, ADDRESS = {Passau, Germany} } @Booklet{fdtutorial, author = {Christian Schulte and Gert Smolka}, title = {Finite Domain Constraint Programming in Oz. A Tutorial}, address = {Programming Systems Lab, Saarbr{\"u}cken, Swedish Institute of Computer Science, Stockholm, and Universit{\'e} catholique de Louvain}, howpublished = {available from \url{http://www.mozart-oz.org}}, year = {1999}, } @Booklet{cpitutorial, author = {Tobias M{\"u}ller}, title = {Constraint Extensions Tutorial}, address = {Programming Systems Lab, Saarbr{\"u}cken, Swedish Institute of Computer Science, Stockholm, and Universit{\'e} catholique de Louvain}, howpublished = {available from \url{http://www.mozart-oz.org}}, year = {1999}, } @Booklet{cpiref, author = {Tobias M{\"u}ller}, title = {The {Mozart} Constraint Extensions Reference}, address = {Programming Systems Lab, Saarbr{\"u}cken, Swedish Institute of Computer Science, Stockholm, and Universit{\'e} catholique de Louvain}, howpublished = {available from \url{http://www.mozart-oz.org}}, year = {2000}, } @Article{mackworth77, author = {Alan Mackworth}, title = {Consistency in Networks of Relations}, journal = {Artificial Intelligence}, year = {1977}, volume = 8, pages = {99--118} } @InProceedings{regin94, title={A Filtering Algorithm for Constraints of Difference in {CSPs}}, author={Jean-Charles R{\'e}gin}, booktitle={Proceedings of the AAAI $12^{th}$ National Conference on Artificial Intelligence}, year=1994, publisher={AAAI Press}, pages = {362--367} } @InProceedings{screamer, title={Nondeterministic {Lisp} as a Substrate for Constraint Logic Programming}, author={Jeffrey Mark Siskind and David Allen McAllester}, booktitle={Proceedings of the AAAI {11$^{th}$} National Conference on Artificial Intelligence}, year=1993, month=jul, address={Washington, DC}, publisher={AAAI Press}, pages = {133--138} } @InProceedings{baptiste95, title={Incorporating efficient operations research algorithms in constraint-based scheduling}, author={P. Baptiste and C. Le Pape and and W. Nuijten}, booktitle={Proceedings of the First International Joint Workshop on Artificial Intelligence and Operations Research}, year={1995} } @article{carlier89, AUTHOR = {J. Carlier and E. Pinson}, TITLE = {An algorithm for solving the job-shop problem}, YEAR = 1989, JOURNAL = {Management Science}, VOLUME = {35}, NUMBER = {2}, PAGES = {164--176}, KEYWORDS = {} } @InProceedings{caseau95, title={Improved CLP scheduling with task intervals}, author={Yves Caseau and Fran{\c{c}}ois Laburthe}, booktitle={Proceedings of the In International Conference on Logic Programming}, year={1994}, pages={369--383}, } @Article{Gervet:97a, author = {Carmen Gervet}, title = {Interval Propagation to Reason about Sets: Definition and Implementation of a Practical Language}, journal = {Constraints}, publisher = kluwer, pages = {191--244}, volume = 1, number = 3, year = 1997 } @article{Ferland:96, author = {J. A. Ferland and A. Hertz and A. Lavoie}, title = {An object-oriented methodology for solving assignment type problems with neighborhood search techniques}, journal = "Operations Research", volume = 44, pages = {347-359}, year = 1996 } @article{KIRK:83, author = {S. Kirkpatrick and C. Gelatt and M. Vecchi}, title = {Optimization by Simulated Annealing}, journal = "Science", volume = 220, pages = {671-680}, year = 1983 } @book{goldberg:book, author = {Goldberg, D. E.}, TITLE = {Genetic Algorithms in Search, Optimization and Machine Learning}, YEAR = 1989, PUBLISHER = {Addison-Wesley} } @ARTICLE{CASEAU:99, JOURNAL = {Journal of Heuristics}, AUTHOR = {Yves Caseau and Fran{\c{c}}ois Laburthe}, PUBLISHER = kluwer, YEAR = {1999}, pages = {281--303}, TITLE = {Heuristics for Large Constrained Vehicle Routing Problems}, } @ARTICLE{taillard:95, JOURNAL = {Journal of Heuristics}, AUTHOR = {Yves Rochat and Eric D. Taillard}, PUBLISHER = kluwer, YEAR = {1995}, pages = {147--167}, TITLE = {Probabilistic Diversification and Intensification in Local Search for Vehicle Routing}, } @ARTICLE{Gendreau:94, JOURNAL = {Management Science}, AUTHOR = {Michel Gendreau and Alan Hertz and Gilbert Laporte}, YEAR = {1994}, pages = {1276--1290}, TITLE = {A Tabu Search Heuristic for the Vehicle Routing Problem}, } @InProceedings{Trick2000, author = {Michael A. Trick}, booktitle = {Third International Conference on the Practice and Theory of Automated Timetabling}, address = {Konstanz, Germany}, title = {A Schedule-then-Break Approach to Sports Timetabling}, year = {2000}, } @Misc{tabletennis2000, author = {J{\"{o}}rn Sch{\"{o}}nberger and Dirk C. Mattfeld and Herbert Kopfer}, title = {Automated Timetable Generation for Rounds of a Table-Tennis League}, year = 2000, howpublished = {submitted}, } @InProceedings{ReginSymmetric99, AUTHOR = {Jean-Charles R{\'e}gin}, TITLE = {The Symmetric Alldiff Constraint}, booktitle= IJCAI, address={Stockholm, Sweden}, editor={Thomas Dean}, month=aug, year=1999, publisher = mk#{,~}#mkort, volume = 1, pages = {420--425}, } @Misc{logikkonsult, author = {Logikkonsult}, title = {{S}t{\aa}lmarck's Method}, year = 1997, howpublished = {older overview of the method}, } @BOOK{LEDA_book, AUTHOR = {Mehlhorn, Kurt and N{\"a}her, Stefan}, TITLE = {LEDA: a Platform for Combinatorial and Geometric Computing}, PUBLISHER = {Cambridge University Press}, YEAR = {1999}, PAGES = {1018}, ADDRESS = {Cambridge}, MONTH = {November}, ISBN = {0-521-56329-1}, } @BOOK{AMO:Network_Flows, AUTHOR = {Ahuja, Ravindra K. and Magnanti, Thomas L. and Orlin, James B.}, TITLE = {Network flows : theory, algorithms and applications}, PUBLISHER = {Prentice Hall}, ADDRESS = {Englewood Cliffs, NJ}, YEAR = {1993}, LOCATION = {MPI-AG1}, } @ARTICLE{Edmonds_a, AUTHOR = {Edmonds, J.}, TITLE = {Maximum matching and a ployhedron with 0,1-vertices}, YEAR = {1965}, JOURNAL = {Journal of Research of the National Bureau of Standards}, VOLUME = {69B}, PAGES = {125--130}, } @ARTICLE{Edmonds_b, AUTHOR = {Edmonds, J.}, TITLE = {Paths, trees, and flowers}, YEAR = {1965}, JOURNAL = {Canadian Journal on Mathematics}, PAGES = {449--467}, } @ARTICLE{TAR:union-find, AUTHOR = {Tarjan, R.E.}, TITLE = {Effeciency of a good but not linear set union algorithm}, YEAR = {1975}, JOURNAL = {Journal of the ACM}, VOLUME = {1}, PAGES = {215--225}, } @ARTICLE{Gabow:max_card_matching, AUTHOR = {Gabow, H. N.}, TITLE = {An {E}fficient {I}mplementation of {E}dmonds' {A}lgorithm for {M}aximum {M}atching on {G}raphs}, YEAR = {1976}, JOURNAL = {Journal of the ACM}, VOLUME = {23}, PAGES = {221--234}, } @Misc{one_factor_benchmarks, author = {Henz, Martin and M{\"u}ller, Tobias and Thiel, Sven and van Brandenburg, Marleen}, title = {Benchmarks and Results for Round Robin Tournaments}, year = {2000}, howpublished = {\url{http://www.comp.nus.edu.sg/~henz/projects/roundrobin}}} } @article{Clark77, AUTHOR = {H. Alt and N. Blum and K. Mehlhorn and M. Paul}, TITLE = {Computing a maximum cardinality matching in a bipartite graph in {$O(n^{1.5} \sqrt{m / \log{n}})$}}, YEAR = 1991, JOURNAL = {Information Processing Letters}, number = {37}, PAGES = {237--240}, } @inproceedings{biere99, AUTHOR = {Armin Biere and Alessandro Cimatti and Edmund Clarke and Yunshan Zhu}, TITLE = {Symbolic Model Checking without {BDDs}}, YEAR = 1999, PAGES = {193-207}, BOOKTITLE = {Tools and Algorithms for the Construction and Analysis of Systems, 5th International Conference, TACAS '99}, EDITOR = {W. Rance Cleaveland}, address = {Amsterdam, The Netherlands}, series = LNCS # {~1579}, publisher = spring#{,~}#springort, optnote = {} } @inproceedings{abdulla2000, AUTHOR = {Parosh Aziz Abdulla and Per Bjesse and Niklas E{\'{e}}n}, TITLE = {Symbolic Reachability Analysis based on {SAT} Solvers}, YEAR = 2000, BOOKTITLE = {Tools and Algorithms for the Construction and Analysis of Systems, 6th International Conference, TACAS '00}, EDITOR = {Susanne Graf and Michael Schwartzbach}, address = {Amsterdam, The Netherlands}, series = LNCS, publisher = spring#{,~}#springort, optnote = {} } @inproceedings{sheeran2000, author = {Mary Sheeran and Gunnar St{\aa}lmarck}, title = {A Tutorial on {S}t{\aa}lmarck's Proof Procedure for Propositional Logic}, booktitle = {Formal Methods for CAD: Enabling technologies and system-level applications, Formal Methods in System Design}, editor = {G. Gopalakrishnan}, year = 2000, address= {} } @inproceedings{sheeran2000e, author = {Mary Sheeran and Gunnar St\.almarck}, title = {A tutorial on St\.almarck's proof procedure for propositional logic}, booktitle = {Formal Methods for CAD: Enabling technologies and system-level applications, Formal Methods in System Design}, editor = {G. Gopalakrishnan}, year = 2000, } @inproceedings{vanWeert1998, AUTHOR = {van Weert, Arjen and Scheuder Jan A. M.}, TITLE = {Construction of Basic Match Schedules for Sports Competitions by Using Graph Theory}, YEAR = 1998, BOOKTITLE = {Practice and Theory of Automated Timetabling II, Second International Conference, PATAT'97}, EDITOR = {E. Burke and M. Carter}, address = {Toronto, Canada}, series = LNCS # {~1408}, publisher = spring#{,~}#springort, optnote = {1608} } @InProceedings{Walsh99, AUTHOR = {Toby Walsh}, TITLE = {Search in a Small World}, booktitle= IJCAI, address={Stockholm, Sweden}, editor={Thomas Dean}, month=aug, year=1999, publisher = mk#{,~}#mkort, volume = 2, pages = {1172--1177}, } @InProceedings{Kaindl99, AUTHOR = {Hermann Kaindl and Gerhard Kainz and Roland Steiner and Andreas Auer and Klaus Radda}, TITLE = {Switching from Bidirectional to Unidirectional Search}, booktitle= IJCAI, address={Stockholm, Sweden}, editor={Thomas Dean}, month=aug, year=1999, publisher = mk#{,~}#mkort, volume = 2, pages = {1178--1183}, } @InProceedings{Cesta99, AUTHOR = {Amedeo Cesta and Angelo Oddi and Stephen F. Smith}, TITLE = {An Iterative Sampling Procedure for Resource Constrained Project Scheduling with Time Windows}, booktitle= IJCAI, address={Stockholm, Sweden}, editor={Thomas Dean}, month=aug, year=1999, publisher = mk#{,~}#mkort, volume = 2, pages = {1022--1029}, } @InProceedings{Draper99, AUTHOR = {Denise L. Draper and Ari K. J{\'{o}}nsson and David P. Clements and David E Joslin}, TITLE = {Cyclic Scheduling}, booktitle= IJCAI, address={Stockholm, Sweden}, editor={Thomas Dean}, month=aug, year=1999, publisher = mk#{,~}#mkort, volume = 2, pages = {1016--1021}, } @InProceedings{Stergiou99, AUTHOR = {Kostas Stergiou and Toby Walsh}, TITLE = {The Difference All-Difference Makes}, booktitle= IJCAI, address={Stockholm, Sweden}, editor={Thomas Dean}, month=aug, year=1999, publisher = mk#{,~}#mkort, volume = 1, pages = {414--419}, } @InProceedings{Meseguer99, AUTHOR = {Pedro Meseguer and Carme Torras}, TITLE = {Solving Strategies for Highly Symmetric {CSPs}}, booktitle= IJCAI, address={Stockholm, Sweden}, editor={Thomas Dean}, month=aug, year=1999, publisher = mk#{,~}#mkort, volume = 1, pages = {400--405}, } @InProceedings{Hoos99, AUTHOR = {Holger H. Hoos}, TITLE = {{SAT}-Encodings, Search Space Structure, and Local Search Performance}, booktitle= IJCAI, address={Stockholm, Sweden}, editor={Thomas Dean}, month=aug, year=1999, publisher = mk#{,~}#mkort, volume = 1, pages = {296--302}, } @inproceedings{shaw98, AUTHOR = {Paul Shaw}, TITLE = {Using Constraint Programming and Local Search Methods to Solve Vehicle Routing Problems}, YEAR = 1998, BOOKTITLE = {Principles and Practice of Constraint Programming - CP98, Proceedings of the 4th International Conference}, EDITOR = {M. Maher, J.-F. Puget}, address = {Pisa, Italy}, series = LNCS # {~1520}, publisher = spring#{,~}#springort, pages = {417--431}, optnote = {1608} } @article{HarperRobe94d, author ="Harper, Robert and Duba, Bruce F. and MacQueen, David", title ="Typing First-Class Continuations in ML", journal ="Journal of Functional Programming", year ="94", scope ="imptype", documentURL ="http://www.cs.cmu.edu/afs/cs/user/rwh/public/papers/typing-callcc.ps" } @inproceedings{caseau97, AUTHOR = {Yves Caseau}, TITLE = {Using Constraint Propagation for Complex Scheduling Problems: Managing Size, Complex Resources and Travel}, YEAR = 1997, BOOKTITLE = {Principles and Practice of Constraint Programming - CP97, Proceedings of the 3rd International Conference}, EDITOR = {Gert Smolka}, address = {Linz, Austria}, series = LNCS # {~1330}, publisher = spring#{,~}#springort, optnote = {1608} } @article{HarperRobe94d, author = {Benjamin W. Wah and Yao-Jen Chang}, title = {Trace-Based Methods for Solving Nonlinear Global Optimization and Satisfiability Problems}, journal = {Journal of Global Optimization}, year = 1997, volume = 10, number = 2, pages = {107--141}, } @Misc{ilog97, author = {{ILOG}}, title = {Optimization Technology White Paper}, year = {1997}, howpublished = {\url{http://www.ilog.com}} } @Misc{lustig99, author = {Irvin J. Lustig and Jean-Fran{\,{c}}ois Puget}, title = {Program {\verb#!=#} Program: Constraint Programming and its Relationship to Mathematical Programming}, year = {1999}, howpublished = {\url{http://www.ilog.com}} } @InProceedings{mueller2000, author = {Tobias M{\"u}ller}, title = {Promoting Constraints to First-Class Status}, booktitle = {First International Conference on Computational Logic}, year = 2000, address = {London, UK}, } @ARTICLE{BockmayrKasper98, AUTHOR = {A. Bockmayr and T. Kasper}, JOURNAL = {INFORMS J. Computing}, NUMBER = {3}, PAGES = {287 -- 300}, TITLE = {Branch-and-Infer: A Unifying Framework for Integer and Finite Domain Constraint Programming}, VOLUME = {10}, YEAR = {1998}, ABSTRACT = {We introduce branch-and-infer, a unifying framework for integer linear programming and finite domain constraint programming. We use this framework to compare the two approaches with respect to their modeling and solving capabilities, to introduce symbolic constraint abstractions into integer programming, and to discuss possible combinations of the two approaches. }, } @inproceedings{vanHentenryck1999, AUTHOR = {Van Hentenryck, P. and Michel, L. and Perron, L. and R{\'{e}}gin, J.-C.}, TITLE = {Constraint Programming in {OPL}}, YEAR = 1999, BOOKTITLE = {International Conference on Principles and Practice of Declarative Programming, PPDP'99}, address = {Paris}, optnote = {1608} } @article{baptiste2000, author = {Philippe Baptiste}, title = {Scheduling Equal-Length Jobs on Identical Parallel Machines}, journal = {Discrete Applied Mathematics}, year = 2000, note = {to appear}, } @inproceedings{ReginCardinality99, AUTHOR = {Jean-Charles R{\'{e}}gin}, TITLE = {Arc Consistency for Global Cardinality Constraints with costs}, YEAR = 1999, editor = {Joxan Jaffar}, booktitle = cp, ADDRESS = {Alexandria, VA, USA}, publisher = spring#{,~}#springort, } @inproceedings{bessiere99, AUTHOR = {Christian Bessi{\`{e}}re and Jean-Charles R{\'{e}}gin}, TITLE = {Enforcing Arc Consistency on Global Constraints by Solving Subproblems on the Fly}, YEAR = 1999, editor = {Joxan Jaffar}, booktitle = cp, ADDRESS = {Alexandria, VA, USA}, publisher = spring#{,~}#springort, } @InProceedings{regin96, title={Generalized Arc Consistency for Global Cardinality Constraint}, author={Jean-Charles R{\'e}gin}, booktitle={Proceedings of the 13th National Conference on Artificial Intelligence}, year=1996, publisher={AAAI Press} } @InProceedings{bothner98, title={Kawa: Compiling Scheme to Java}, author={Per Bothner}, booktitle={Lisp Users Conference}, year=1998, } @article{hentenryck92, author = {Van Hentenryck, Pascal and Deville, Yves and Teng, Choh-Man}, title = {A Generic Arc-consistency Algorithm and its Specializations}, journal = ai, volume = 57, pages = {291--321}, year = 1992, } @inproceedings{harvey98, AUTHOR = {Warwick Harvey and Peter J. Stuckey}, TITLE = {Constraint representation for propagation}, YEAR = 1998, BOOKTITLE = {Principles and Practice of Constraint Programming - CP98, Proceedings of the 4th International Conference}, EDITOR = {M. Maher, J.-F. Puget}, address = {Pisa, Italy}, series = LNCS # {~1520}, publisher = spring#{,~}#springort, pages = {235--249}, optnote = {1608} } @Misc{thih2000, author = {Mark P. Jones}, title = {Typing Haskell in Haskell}, year = {2000}, howpublished = {\url{http://www.cse.ogi.edu/~mpj/thih/}} } @inproceedings{gomes98, AUTHOR = {Carla P. Gomes and Bart Selman and Ken McAloon and Carol Tretkoff}, TITLE = {Randomization in Backtrack Search: Exploiting Heavy-Tailed Profiles for Solving Hard Scheduling Problems}, YEAR = 1998, BOOKTITLE = {4th International Conference on Artificial Intelligence Planning Systems (AIPS-98)}, optnote = {contains benchmarks on round robin tournaments, introduces the term "pairing constraint"}, } @inproceedings{hamadi97, AUTHOR = {Youssef Hamadi and David Merceron}, TITLE = {Reconfigurable Architectures: A new vision for optimization problems}, YEAR = 1997, BOOKTITLE = {Principles and Practice of Constraint Programming - CP97, Proceedings of the 3rd International Conference}, EDITOR = {Gert Smolka}, address = {Linz, Austria}, series = LNCS # {~1330}, pages = {209--221}, publisher = spring#{,~}#springort, optnote = {using FPGA for implementing GSAT} } @article{apt98, author = {Krzysztof R.Apt and Jacob Brunekreef and Vincent Partington and Andrea Schaerf}, title = {{Alma-O}: an imperative language that supports declarative programming}, journal = {ACM Transactions on Programming Languages and Systems}, volume = 20, number = 5, pages = {1014--1066}, year = 1998, } @inproceedings{focacci99, AUTHOR = {F. Focacci and A. Lodi and M. Milano}, TITLE = {Cost-Based Domain Filtering}, YEAR = 1999, editor = {Joxan Jaffar}, booktitle = cp, ADDRESS = {Alexandria, VA, USA}, publisher = spring#{,~}#springort, pages = {189--203}, } %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Constraint-Based Scheduling Ref %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @InProceedings{claire:schedule, author = {Claude Le Pape and Philippe Baptiste}, title = {A Constraint Programming Library for Preemptive and Non-Preemptive Scheduling}, booktitle = {Proceedings of the Third International Conference and Exhibition on the Practical Application of Constraint Technology}, address = {London, United Kingdom}, year = 1997, } @Manual{ilog:schedule, title = {{\sc Ilog Scheduler}}, organization = {{\sc Ilog}}, address = {URL: {\tt http://www.ilog.com}}, year = {2000}, OPTnote = {} } @PhdThesis{WuertzDiss:98, author = {J{\"o}rg W{\"u}rtz}, title = {L{\"o}sen kombinatorischer Probleme mit Constraintprogrammierung in {Oz}}, school = {Universit{\"a}t des Saarlandes, Fachbereich Informatik}, year = {1998}, address = {Saarbr{\"u}cken, Germany}, month = jan } %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @InProceedings{prestwich2000, author = {Steven Prestwich}, title = {Stochastic Local Search in Constrained Spaces}, year = {2000}, booktitle = {Proceedings of Practical Applications of Constraint Technology and Logic Programming}, pages = {27--29} } @Misc{walsh2000, author = {Toby Walsh}, title = {Reformulating Propostional Satisfiability as constraint Satisfaction}, year = 2000, howpublished = {draft available at Walsh's home page at York}}, } @incollection{satsurvey, author = {J. Gu and P. W. Purdom and J. Franco and B. W. Wah}, title = {Algorithms for the Satisfiability({SAT}) Problem: A Survey}, year = 1997, series = {{DIMACS Series in Discrete Mathematics and Theoretical Computer Science}}, volume = 35, booktitle = {Satisfiability Problem: Theory and Applications}, publisher = {American Mathematical Society}, pages = { 19--151}} @Misc{crawford93, author = {J. M. Crawford}, title = {Solving Satisfiability Problems Using a Combination of Systematic and Local Search}, year = 1993, month = oct, address = {NJ, USA}, howpublished = {Second {DIMACS} Challenge: Cliques, Coloring and Satisfiability}}, } @InProceedings{overview, author = {Martin Henz and Tobias M{\"{u}}ller}, title = {An Overview of Finite Domain Constraint Programming}, booktitle = {Proceedings of the Fifth Conference of the Association of Asia-Pacific Operational Research Societies Within {IFORS}}, address = {Singapore}, year = 2000, } @InProceedings{mcallester97, author = {David McAllester and Bart Selman and Henry Kautz}, title = {Evidence for invariants in local search}, booktitle = {Proceedings Fourteenth National Conference on Artificial Intelligence (AAAI-97)}, year = 1997, } %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Local Search Scheduling Ref %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @Book{Baker:74, AUTHOR = {Baker, K. R.}, TITLE = {Introduction to Sequencing and Scheduling}, YEAR = 1974, PUBLISHER = wil, ADDRESS = wilort } @Article{Laarhoven:92, author = {P. J. M. Van Laarhoven and E. H. L. Aarts and J. K. Lenstra}, title = {Job Shop Scheduling By Simulated Annealing}, journal = {Operations Research}, volume = 40, number = 1, year = 1992, pages = {113--125}, } @Article{Aarts:94, author = {E. H. L. Aarts and P. J. M. Van Laarhoven and J. K. Lenstra and N. L. J. Ulder}, title = {A Computational Study of Local Search Algorithms for Job Shop Scheduling}, journal = {ORSA Journal on Computing}, year = {1994}, volume = 6, number = 2, pages = {118-125}, } @Article{Vaessens:96, author = {R. J. M. Vaessens and E. H. L. Aarts and J. K. Lenstra}, title = {Job Shop Scheduling by Local Search}, journal = {INFORMS Journal on Computing}, year = {1996}, volume = 8, number = 3, pages = {302-317}, } @Article{DellAmico:93, author = {M. Dell'Amico and M. Trubian}, title = {Applying Tabu Search to the Job Shop Scheduling Problem}, journal = {Annals of Operations Research}, year = {1993}, volume = 41, pages = {231-252}, } @Article{Nowicki:96, author = {E. Nowicki and C. Smutnicki}, title = {A Fast Taboo Search Algorithm for the Job Shop Problem}, journal = {Management Science}, year = {1996}, volume = 42, number = 6, pages = {797-813}, } @InProceedings{Nakano:91, AUTHOR = {R. Nakano and T. Yamada}, TITLE = {Conventional Genetic Algorithm for Job Shop Problems}, YEAR = 1991, BOOKTITLE = {Proc.\ of the Fourth International Conference on Genetic Algorithms}, ADDRESS = {San Diego, CA}, PAGES = {474-479}, KEYWORDS = {} } @InProceedings{Fang:93, AUTHOR = {H. L. Fang and P. Ross and D. Corne}, TITLE = {A Promising Genetic Algorithm Approach to Job-Shop Scheduling, Rescheduling, and Open-Shop Scheduling Programs}, YEAR = 1993, BOOKTITLE = {Proc.\ of the Fifth International Conference on Genetic Algorithms}, ADDRESS = {Urbana-Champaign, IL}, PAGES = {375-382}, KEYWORDS = {} } @Article{LePape:98, author = {Le Pape, Claude and Baptiste, Philippe}, title = {Resource Constraints for Preemptive Job-shop Scheduling}, journal = {Constraints}, publisher = kluwer, pages = {263--287}, volume = 3, year = 1998 } @Article{Nuijten:98, author = {Wim Nuijten and Claude Le Pape}, title = {Constraint-Based Job Shop Scheduling with {ILOG SCHEDULER}}, journal = {Journal of Heuristics}, publisher = kluwer, pages = {271--286}, volume = 3, year = 1998 } @TECHREPORT{Caseau:95, AUTHOR = {Y. Caseau and F. Laburthe}, TITLE = {Disjunctive Scheduling with Task Intervals}, ADDRESS = {\'Ecole Normale Sup\'erieure Paris, France}, INSTITUTION = {LIENS Technical Report 95-25}, MONTH ={July}, YEAR = {1995}, KEYWORDS={Jobshop Scheduling, Task Intervals, Branch and Bound, Local Search, Constraint Propagation, Heuristics}, URL="http://www.ens.fr/~laburthe/papers.html#liens_jsp", } @InProceedings{gift, author = {Ka Boon Ng and Chui Wo Choi and Martin Henz and Tobias M{\"u}ller}, title = {{GIFT}: A Generic Interface for Reusing Filtering Algorithms}, year = {2000}, month = sep, address = {School of Computing, National University of Singapore, 55 Science Drive 2, Singapore 117599}, booktitle = {Proceedings of {TRICS}: {T}echniques fo{R} {I}mplementing {C}onstraint programming {S}ystems, a post-conference workshop of {CP 2000}, appears as Technical Report TRA9/00}, note = {available at \url{http://techrep.comp.nus.edu.sg}} } @InProceedings{ng:2000, author = {Ka Boon Ng and Kar Loon Ong}, title = {A Software Framework for Integrating Search Paradigms}, year = {2000}, month = sep, address = {School of Computing, National University of Singapore, 55 Science Drive 2, Singapore 117599}, booktitle = {Proceedings of {TRICS}: {T}echniques fo{R} {I}mplementing {C}onstraint programming {S}ystems, a post-conference workshop of {CP 2000}, appears as Technical Report TRA9/00}, note = {available at \url{http://techrep.comp.nus.edu.sg}} } @TECHREPORT{trics:2000, AUTHOR = {Nicolas Beldiceanu and Warwick Harvey and Martin Henz and Fran{\c{c}}ois Laburthe and Eric Monfroy and Tobias M{\"{u}}ller and Laurent Perron and Christian Schulte{, editors}}, TITLE = {Proceedings of {TRICS}: {T}echniques fo{R} {I}mplementing {C}onstraint programming {S}ystems, a post-conference workshop of {CP 2000}}, TYPE = {Technical Report}, NUMBER = {TRA9/00}, YEAR = 2000, MONTH = sep, ADDRESS = {55 Science Drive 2, Singapore 117599}, INSTITUTION = {School of Computing, National University of Singapore}, NOTE = {available at \url{http://techrep.comp.nus.edu.sg}} } @TECHREPORT{marleen_report, AUTHOR = {Marleen van Brandenburg}, TITLE = {Scheduling the Dutch Professional Soccer League with Constraint Programming}, TYPE = {Technical Report}, NUMBER = {TRA1/01}, YEAR = 2001, MONTH = jan, ADDRESS = {55 Science Drive 2, Singapore 117599}, INSTITUTION = {School of Computing, National University of Singapore}, NOTE = {available at \url{http://techrep.comp.nus.edu.sg}} } @book{concurrentprolog, EDITOR = {Ehud Shapiro}, TITLE = {{C}oncurrent {P}rolog: Collected Papers}, YEAR = 1987, PUBLISHER = mit, ADDRESS = mitort, KEYWORDS = {} } @Article{moser:66, author = {F. Harary and L. Moser}, title = {The theory of round-robin tournaments}, journal = {Amer. Math. Monthly}, pages = {231--246}, volume = 73, year = 1966 } @article{bagga:92, author = {K. S. Bagga and L. W. Beineke and F. Harary}, title = {Two problems on colouring tournaments}, journal = {Vishwa Internat. J. Graph Theory}, volume = 1, number = 1, year = 1992, pages = {83--94} } @article{linek:96, author = {V. Linek and B. Sands}, title = {A note on paths in edge-coloured tournaments}, journal = {Ars Combinatoria}, volume = 44, number = 13, year = 1996, pages = {225--228} } @article{bressoud:87, author = {D. M. Bressoud}, title = {Colored tournaments and {Weyl}'s denominator formula}, journal = {Europ. J. Combinatorics}, volume = 8, year = 1987, pages = {245--255} } @article{phillips:96, author = {N. C. K. Phillips and W. D. Wallis}, title = {All solutions to a tournament problem}, journal = {Congressus Numerantium}, volume = 114, year = 1996, pages = {193--196}, } @mastersthesis{gustafson:98, author = {William Gustafson}, title = {Building a soccer tournament schedule using a genetic algorithm}, school = {Rochester Institute of Technology}, year = 1998, } @Book{Leler88, author = {Wm Leler}, title = {{Constraint Programming Languages: Their Specification and Generation}}, address = addort, year = {1988}, publisher = add } @article{Steele80, author = {Gerald Jay Sussman and Guy Lewis Steele}, title = {{CONSTRAINTS -- A Language for Expressing Almost-Hierachical Descriptions}}, journal = {Artificial {I}ntelligence}, year = 1980, volume = 14, number = 1, pages = {1--39} } @article{Davis87, author = {Ernest Davis}, title = {{Constraint Propagation with Interval Labels}}, journal = {Artificial {I}ntelligence}, year = 1987, volume = 32, pages = {281--331} } @techreport{Borning79, author = {Alan Borning}, title = {{ThingLab -- A Constraint-Oriented Simulation Laboratory}}, institution = {{XEROX}}, year = 1979, type = {Technical Report}, address = {Palo Alto Research Centre} } @Book{VanHentenryck89, author = {Pascal {Van Hentenryck}}, title = {Constraint Satisfaction In Logic Programming}, year = {1989}, address = mitort, publisher = mit } @inproceedings{DC93, author = {Daniel Diaz and Philippe Codognet}, title = {A Minimal Extension of the {WAM} for \verb#clp(FD)#}, booktitle = {10th {I}nternational {C}onference on {L}ogic {P}rogramming}, address = {}, year = {1993} } @inproceedings{McIlroy69, AUTHOR = {M. D. McIlroy}, TITLE = {Mass Produced Software Components}, YEAR = 1969, BOOKTITLE = {Software Engineering, Report on a conference sponsored by the {NATO} Science Committee, Garmisch, Germany, 7th to 11th October 1968}, ADDRESS = {Scientific Affairs Division, {NATO}, Brussels}, editor = {P. Naur and B. Randell}, PAGES = {138--155}, KEYWORDS = {} } @book{Sametinger97, AUTHOR = {Johannes Sametinger}, TITLE = {Software Engineering with Reusable Components}, YEAR = 1997, publisher = spring, address = springort } @inproceedings{nosilverbullet, AUTHOR = {Fred Brooks}, TITLE = {No Silver Bullet -- Essence and Accident in Software Engineering}, YEAR = 1986, BOOKTITLE = {Proceedings of the {IFIP} Tenth World Computing Conference}, ADDRESS = {Dublin}, editor = {H.-J. Kugler}, PAGES = {1069--1076}, } @incollection{Szyperski2000, AUTHOR = {Clemens Szyperski}, EDITOR = {Gary T. Leavens and Murali Sitaraman}, TITLE = {Components and the Way Ahead}, YEAR = 2000, BOOKTITLE = {Proceedings of the {IFIP} Tenth World Computing Conference}, publisher = {Cambridge University Press}, ADDRESS = {Cambridge, UK}, PAGES = {1--20}, } @inproceedings{Perron99, AUTHOR = {Laurent Perron}, TITLE = {Search Procedures and Paralleism in Constraint Programming}, YEAR = 1999, editor = {Joxan Jaffar}, booktitle = cp, ADDRESS = {Alexandria, VA, USA}, publisher = spring#{,~}#springort, } @inproceedings{MT2000, AUTHOR = {Kurt Mehlhorn and Sven Thiel}, TITLE = {Faster Algorithms for Bound-Consistency of the Sortedness and the Alldifferent Constraint}, YEAR = 2000, BOOKTITLE = cp2000, EDITOR = {Rina Dechter}, address = {Singapore}, series = LNCS # {~1894}, publisher = spring#{,~}#springort, } @book{Wallis97, AUTHOR = {W. D. Wallis}, TITLE = {One-Factorizations}, YEAR = 1997, PUBLISHER = kluwer, ADDRESS = kluwerort, } @book{Anderson97, AUTHOR = {Ian Anderson}, TITLE = {Combinatorial Designs and Tournaments}, YEAR = 1997, PUBLISHER = "Oxford University Press" } @article{Russell80, author = {K. G. Russell}, title = {Balancing carry-over effects in round robin tournaments}, journal = {Biometrika}, year = 1980, volume = 67, number = 1, pages = {127--131} } @Misc{one-factor, author = {Henz, Martin and M{\"u}ller, Tobias and Thiel, Sven and van Brandenburg, Marleen}, title = {Global Constraints for Round Robin Tournament Scheduling}, howpublished = {draft; available at \url{http://www.comp.nus.edu.sg/~henz/drafts/one-factor.ps}}, year = 2000, month = nov, } @Misc{schreuder2000, author = {Jan A. M. Schreuder and David Panton}, title = {Research: Scheduling {KNVB} Fixture Lists}, howpublished = {draft}, year = 2000, month = nov, } @inproceedings{schedule-then-break, AUTHOR = {Michael A. Trick}, TITLE = {A Schedule-then-Break Approach to Sports Timetabling}, YEAR = 2000, BOOKTITLE = {Proceedings of the 3$^{\textrm{rd}}$ International Conference on the Practice and Theory of Automated Timetabling}, EDITOR = {Edmund Burke and Wilhelm Erben}, address = {Konstanz, Germany}, publisher = {Fachhochschule Konstanz, ISBN 3-00-003866-3}, } @Book{Date95, author = {C. J. Date}, title = {An Introduction To Database Systems}, year = {1995}, address = addort, publisher = add } @InProceedings{MAC, author = {Daniel Sabin and Eugene Freuder}, editor = {Alan Borning}, title = {Contradicting Conventional Wisdom in Constraint Satisfaction}, booktitle = {PPCP 94, Second Workshop on Principles and Practice of Constraint Programming}, address = {Seattle, WA}, year = 1994 } @article{HE80, author="Robert M. Haralick and Gordon L. Elliot", title="{Increasing Tree Search Efficiency for Constraint Satisfaction Problems}", journal="Artificial Intelligence", volume=14, number=3, pages = "263--313", year = 1980 } @InProceedings{GM2000, author = {Laurent Granvilliers and Eric Monfroy}, title = {Constraint Propagation: Between Abstract Models and ad hoc Strategies}, editor = {Rina Dechter}, booktitle = cp2000, address = {Singapore}, year = 2000, series = LNCS # {~1894}, publisher = spring#{,~}#springort, } @InProceedings{choco, author = {Fran{\c{c}}ois Larburthe}, title = {{CHOCO}: Implementing a {CP} Kernel}, year = {2000}, address = {School of Computing, National University of Singapore, 55 Science Drive 2, Singapore 117599}, booktitle = {Proceedings of {TRICS}: {T}echniques fo{R} {I}mplementing {C}onstraint programming {S}ystems, a post-conference workshop of {CP 2000}, appears as Technical Report TRA9/00}, note = {available at \url{http://techrep.comp.nus.edu.sg}} } @book{Stroustrup97, AUTHOR = {Bjarne Stroustrup}, TITLE = {The {C++} Programming Language}, YEAR = 1997, PUBLISHER = add, ADDRESS = addort, edition = {Third}, } @incollection{Carlson:95, AUTHOR = {B. Carlson and M. Carlsson and S. Janson}, TITLE = {The Implementation of AKL(FD)}, YEAR = 1995, BOOKTITLE = {Logic Programming}, EDITOR = {J. Lloyd}, PUBLISHER = {MIT Press}, ADDRESS = {Cambridge, MA,}, PAGES = {227-241}, KEYWORDS = {}} @article{MH:86, author="Roger Mohr and Thomas C. Henderson", title="{A Generic Arc-Consistency Algorithm}", journal="Artificial Intelligence", volume=28, number=2, pages = "65--74", year = 1986 } @TechReport{ccFD, author = {Pascal Van Hentenryck and Vijay Saraswat and Yves Deville}, title = {Design, Implementation and Evaluation of the Constraint Language cc({FD})}, institution = {Department of Computer Science, Brown University}, address = {Providence, RI 02912}, year = 1993, month = jan, number = {CS-93-02}, } @book{Paulson96, AUTHOR = {Lawrence C. Paulson}, TITLE = {{ML} for the Working Programmer}, YEAR = 1996, PUBLISHER = "Cambridge University Press", ADDRESS = "Cambridge", edition = {Second}, } @book{ArnoldGosling98, AUTHOR = {Ken Arnold and James Gosling}, TITLE = {The {J}ava Programming Language}, YEAR = 1998, PUBLISHER = add, ADDRESS = addort, edition = {Second}, } @book{BSD, AUTHOR = {Marshall Kirk McKusick and Keith Bostic and Michael J. Karels and John S. Quarterman}, TITLE = {The Design and Implementation of the {4.4BSD} Operating System}, YEAR = 1996, PUBLISHER = add, ADDRESS = addort, } @phdthesis{Freeman95, AUTHOR = {Jon Freeman}, TITLE = {Improvements to Propositional Satisfiability Search Algorithms }, YEAR = 1995, SCHOOL = {Department of Computer and Information Science, University of Pennysylvania}, ADDRESS = {Philadelphia, PA}, } @Manual{eclipse:interface, author = {Stefano Novello and Joachim Schimpf}, institution = {{IC-Parc}}, address = {Imperial College, London}, title = {{ECLiPSe} Embedding and Interfacing Manual}, year = 1997, howpublished = {available from \url{http://www.icparc.ic.ac.uk/eclipse}}, } @inproceedings{RP95, author = {Pierre Roy and Fran\c{c}ois Pachet}, title = {{Integrating Constraint Satisfaction Techniques with Complex Object Structures}}, booktitle = {15th {A}nnual {C}onference of the {B}ritish {C}omputer {S}pecialist {G}roup on {E}xpert {S}ystems}, editor = {Bramer, M. A. and Nealon, J. L. and Milne, R.}, pages = {11--22}, address = {Cambridge}, year = {1995}, publisher = {SGES Publications} } @TechReport{EASYLOCAL, author = {Luca Di Gaspero and Andrea Schaerf}, title = {{EASYLOCAL++:} An Object-oriented Framework for Flexible Design of Local Search Algorithms}, institution = {Dipartimento di Matematica e Informatica, Universit\`a degli Studi di Udine via delle Scienze 206}, address = {1-33100 Udine, Italy}, year = 2000, number = {UDMI/13/2000/RR}, } @inproceedings{Andreatta97, AUTHOR = {A. A. Andreatta and S. E. R. Carvalho and C. C. Riberio}, TITLE = {A Framework for the Development of Local Search Heuristics for Combinatorial Optimization Problems}, YEAR = 1997, BOOKTITLE = {Proceedings of the 2nd Metaheuristics International Conference}, ADDRESS = {Sophia-Antipolis, France}, } @inproceedings{SK96, AUTHOR = {J. P. Marques-Silva and K. A. Sakallah}, title = {{GRASP} -- A New Search Algorithm for Satisfiability}, Booktitle = {Proceedings of the International Conference on Computer-Aided Design}, month = Nov, year = 1996, Address = {San Jose, CA} } @inproceedings{GACSchema, title = {Arc Consistency for General Constraint Network: Preliminary Results}, AUTHOR = {Christian Bessi{\`{e}}re and Jean-Charles R{\'{e}}gin}, BOOKTITLE = ijcai, ADDRESS = {Nagoya, Japan}, EDITOR = {Martha E. Pollack}, PUBLISHER = mk#{,~}#mkort, YEAR = {1997}, MONTH = aug, PAGES = {398--404}, } @inproceedings{AC7, title = {Using Inference to Reduce Arc Consistency Computation}, AUTHOR = {Christian Bessi{\`{e}}re and Eugene Freuder and Jean-Charles R{\'{e}}gin}, BOOKTITLE = ijcai, ADDRESS = {Montr{\'e}al, Qu{\'e}bec, Canada}, EDITOR = {Chris S. Mellish}, PUBLISHER = mk#{,~}#mkort, YEAR = {1995}, MONTH = aug, PAGES = {592--598}, } @article{AC6, AUTHOR = {Christian Bessi{\`{e}}re}, title = {Arc-Consistency and Arc-consistency Again}, journal = ai, volume = 65, number = 1, pages = {179--190}, year = 1994, } @Book{Meyers96, author = {Scott Meyers}, title = "{More Effective C++}", address = "Reading, Maassacusetts", year = {1995}, publisher = {Addison-Wesley} } @inproceedings{ACE, author = {Enrico Pontelli and Gopal Gupta and Manuel Hermenegildo}, title = {\&{ACE}: A High Performance Parallel Prolog System}, booktitle = {9th International Parallel Processing Symposium}, address = {}, year = {1995}, publisher = {{IEEE} Press}, pages = {564--571} } @InProceedings{SG98, author = {Barbara M. Smith and Stuart A. Grant}, title = {Trying Harder to Fail First}, editor = {Henri Prade}, booktitle = ECAI, address = {Brighton, UK}, year = 1998, month = aug, pages = {249--253}, publisher = {Wiley}, } @InProceedings{nodecaching, AUTHOR = {Teruhisa Miura and Toru Ishida}, TITLE = {Stochastic Node Caching for Memory-bounded Search}, booktitle={Proceedings of the 16th National Conference on Artificial Intelligence}, address={Madison, WI}, year=1998, publisher={AAAI Press}, } @book{generallocal, address = "London", editor = {Colin R. Reeves}, YEAR = 1993, title = {Modern Heuristic Techniques for Combinatorial Problems}, publisher = {Blackwell Scientific Publications}, } %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Vehicle Routing Problem with Time Windows with constraint programming %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @article{Baker:83, author = {E. Baker}, title = {{An Exact Algorithm for the Time Constrained Traveling Salesman Problem}}, journal = "Operations Research", volume = 31, pages = {938-945}, year = 1983 } @InProceedings{Caseau:ICLP97, author = {Yves Caseau and Fran{\c{c}}ois Laburthe}, title = {{Solving Small TSP with Constraint}}, editor = {Lee Naish}, booktitle = iclp, year = 1997, month = jul, pages = "316--330", address = {Leuven, Belgium}, publisher = mit#{,~}#mitort, } @Article{Christofides:81, author = "N. Christofides and A. Mingozzi and P. Toth", journal = {{Network}}, pages = {145--164}, title = {{State Space Relaxation Procedures for the Computation of Bounds to Routing Problems}}, number = {11}, year = {1981} } @InProceedings{focacci00, AUTHOR = {F. Focacci and A. Lodi and M. Milano}, TITLE = {{Cutting Planes in Constraint Programming: An Hybrid Approach}}, YEAR = 2000, editor = {Rina Dechter}, booktitle = cp, ADDRESS = {Singapore}, publisher = spring#{,~}#springort, pages = {187--201}, } @article{Held:70, author = {M. Held and R. Karp}, title = {{The Traveling Salesman and Minimum Spanning Trees}}, journal = "Operations Research", volume = 18, pages = {1138-1162}, year = 1970 } @article{Laporte:87, author = {Gilbert Laporte and Yves Nobert}, title = {{Exact Algorithms for the Vehicle Routing Problem}}, journal = "Annals of Discrete Mathematics", volume = 31, pages = {147-184}, year = 1987 } @article{Pesant:98, AUTHOR = {Gilles Pesant and Michel Gendreau and Jean-Yves Potvin and Jean-Marc Rousseau}, TITLE = {{An Exact Constraint Logic Programming for the Traveling Salesman Problem with Time Windows}}, YEAR = 1998, journal = {Transportation Science}, VOLUME = {32}, number = {1}, PAGES = {12-29}, } @book{Reinelt:94, AUTHOR = {Gerhard Reinelt}, TITLE = {{The Traveling Salesman: Computational Solutions for TSP Application}}, YEAR = 1994, PUBLISHER = spring, } @article{Solomon:87, AUTHOR = {M. M. Solomon}, TITLE = {{Algorithms for the Vehicle Routing and Scheduling Problem with Time Window Constraints}}, YEAR = 1987, journal = {Operations Research}, VOLUME = {35}, PAGES = {254-265}, } @article{hoos00local, author = "Holger H. Hoos and Thomas St{\"u}tzle", title = "Local Search Algorithms for {SAT}: An Empirical Evaluation", journal = "Journal of Automated Reasoning", volume = "24", number = "4", pages = "421-481", year = "2000", url = "citeseer.nj.nec.com/hoos99local.html" } @article{gu92, author = "J. Gu", title = "Efficient Local Search for Very Large-Scale Satisifiability Problems", journal = "SIGART Bulletin", number = "3", pages = "8-12", year = "1992", } @article{netzer95, AUTHOR = {R. H. B. Netzer and J. Xu}, TITLE = {Necessary and sufficient conditions for consistent global snapshots}, JOURNAL = {IEEE Transactions on Parallel and Distributed Systems}, YEAR = 1995, NUMBER = 6, ISSUE = 2, PAGES = {165--169} } @PhdThesis{Schulte:PHD:00, Author = "Christian Schulte", Title = "Programming Constraint Services", Type = "Doctoral dissertation", School = "Universität des Saarlandes, Naturwissenschaftlich-Technische Fakultät I, Fachrichtung Informatik", Address = "Saarbrücken, Germany", Note = "To appear in Lecture Notes in Artificial Intelligence, Springer-Verlag", Year = 2000, } @InProceedings{focacci98, Author = {F. Focacci and A. Lodi and M. Milano, D Vigo}, Title = {{Solving TSP through the Integration of OR and CP Techniques}}, Booktitle = {Workshop on Large Scale Combinatorial Optimization and Constraints, CP98}, Publisher = {Electronic Notes in Discrete Mathematics}, YEAR = 1998, } @Article{carpaneto88, author = {G. Carpaneto and S. Martello and P. Toth}, title = {Algorithms and codes for the assignment problem}, journal = {Annals of Operations Research}, year = {1988}, volume = 13, pages = {193-223}, } @InProceedings{amico97, author = {M. Dell'Amico and S. Martello}, title = {Linear assignment}, booktitle = {Annotated Bibliographies in Combinatorial Optimization}, editor = {F. Maffioli and M. Dell'Amico}, year = {1997}, pages = {355-371}, publisher = Wiley, } @book{KaBoonMaster, author = {Ng, Ka Boon Kevin}, title = {A Generic Software Framework For Finite Domain Constraint Programming}, Publisher = {Master's thesis, School of Computing, National University of Singapore}, year = 2001, } @incollection{blelloch:99, author = {Guy Blelloch and Bruce Maggs}, title = {Parallel Algorithms}, year = {1999}, editors = {Mikhail Atallah}, BOOKTITLE = {Algorithms and Theory of Computation Handbook}, publisher = {CRC Press}, address = {Boca Raton, Florida}, } @TechReport{NESL, author = {Guy Blelloch and Jonathan Hardwick and Jay Sipelstein and Marco Zagha}, title = {{NESL} User's Manual, Version 3.1}, institution = {Carnegie Mellon University}, address = {Pittsburgh, PA}, year = 1995, number = {CMU-CS-95-169}, } @TechReport{handel-c, author = {M. Aubury and I. Page and G. Randall and J. Saul and R. Watts}, title = {{Handel-C} Language Reference Guide}, institution = {Oxford University Computing Laboratory}, address = {Oxford, UK}, year = 1996, } @article{page96, AUTHOR = {I. Page}, TITLE = {Constructing hardware-software systems from a single description}, JOURNAL = {Journal of VLSI Signal Processing}, YEAR = 1996, NUMBER = 12, ISSUE = 1, PAGES = {87--107} } @inproceedings{yung99, author = "Wong Hiu Yung and Yuen Wing Seung and Kin Hong Lee and Philip Heng Wai Leong", title = "A Runtime Reconfigurable Implementation of the {GSAT} algorithm", booktitle = "Field-Programmable Logic and Applications", month = "/", publisher = "Springer-Verlag, Berlin", editor = "Patrick Lysaght and James Irvine and Reiner W. Hartenstein", pages = "526--531", year = "1999", url = "citeseer.nj.nec.com/wong99runtime.html" } @misc{Hoos:1996, AUTHOR = "Holger Hoos", TITLE = {{A}ussagenlogische {SAT}-{V}erfahren und ihre {A}nwendung bei der {L\"osung} des {HC}-{P}roblems in gerichteten {G}raphen}, howpublished = {Diplomarbeit. Fachbereich Informatik, Technische Hochschule Darmstadt, Germany}, MONTH = mar, YEAR = {1996}, } @Article{hansen90 , author = {P. Hansen and B. Jaumard}, title = {Algorithms for the Maximum Satisfiability Problem}, journal = {Computing}, year = {1990}, volume = 44, pages = {279-303}, } @Misc{FPGA-overview, author = {Bob Zeidman}, title = {Introduction to {FPGA} Design}, year = 2000, howpublished = {White Paper of {The Chalkboard Network}}, } @Misc{fpgasat, author = {Martin Henz and Edgar Tan and Roland Yap}, title = {One Flip per Clock Cycle}, howpublished = {Draft}, year = 2001, month = nov, optnote = {submitted for publication}, } @article{tdiagrams, AUTHOR = {J. Earley and H. Sturgis}, TITLE = {A Formalism for Translator Interactions}, YEAR = 1970, journal = CACM, VOLUME = {13}, PAGES = {607--617}, } @book{tennent, AUTHOR = {R. D. Tennent}, TITLE = {Principles of Programming Languages}, YEAR = 1981, PUBLISHER = {Englewood Cliffs; Prentice-Hall} } @book{sapir, author = {E. Sapir}, title = {Language, Culture and Personality}, year = {1956}, editors = {D. G. Mandelbaum}, address = {Berkeley \& Los Angeles}, publisher = {University of California} } @book{whorf, author = {Benjamin Lee Whorf}, title = {Language, Thought and Reality}, year = {1956}, editors = {J. B. Carroll}, address = {Cambridge, Massacussetts}, publisher = {MIT Press} } @Book{blackmore99, title = "The Meme Machine", author = "Susan Blackmore", publisher = "Oxford University Press", address = "Oxford, UK", month = may, year = 1999, } @Book{guns, title = "Guns, Germs and Steel", author = "Jared Diamond", publisher = "Chatto \& Windus", address = "UK", year = 1997, } @Misc{googlepl, author = {Google}, title = {Programming Languages}, howpublished = {\url{http://directory.google.com/Top/Computers/Programming/Languages/}}, year = 2003, } @book{postman85, AUTHOR = {Neil Postman}, TITLE = {Amusing Ourselves To Death}, YEAR = 1985, PUBLISHER = {Viking Press}, MONTH = nov, } @book{wilson93b, AUTHOR = {Robert A. Wilson}, TITLE = {Quantum Psychology: How Brain Software Programs You and Your World}, YEAR = 1993, PUBLISHER = {New Falcon Publications}, MONTH = oct, } @BOOK{schmidt, TITLE = {Denotational Semantics---A Methodology for Language Development}, AUTHOR = {David A. Schmidt}, PUBLISHER = {Wm. C. Brown Publishers}, ADDRESS = {Dubuque, Iowa}, YEAR = {1988}, } @BOOK{tennent91, TITLE = {Semantics of Programming Languages}, AUTHOR = {R. D. Tennent}, PUBLISHER = {Prentice Hall}, ADDRESS = {Hertfordshire, UK}, YEAR = {1991}, } @Book{joneslins, AUTHOR = {Richard Jones and Rafael Lins}, TITLE = {Garbage Collection}, YEAR = 1996, PUBLISHER = wil, ADDRESS = wilort } @article{Cheney1970, AUTHOR = {C. J. Cheney}, TITLE = {A non-recursive list compacting algorithm}, YEAR = 1970, JOURNAL = CACM, volume = {13}, number = {11}, PAGES = {677--678}, } @Article{gelernter1960, author = {H. Gelernter and J. R. Hansen and C. L. Gerberich}, title = {A {Fortran}-compiled list processing language}, journal = jacm, year = {1960}, volume = {7}, number = {2}, month = apr, pages = {87--101} } @article{collins1960, AUTHOR = {George E. Collins}, TITLE = {A method for overlapping and erasure of lists}, YEAR = 1960, JOURNAL = CACM, volume = {3}, number = {12}, PAGES = {655--657}, month = dec } @article{McCarthy1960, AUTHOR = {John McCarthy}, TITLE = {Recursive functinos of symbolic expressions and their computation by machine}, YEAR = 1960, JOURNAL = CACM, volume = {3}, PAGES = {184--195}, } @article{sapir1929, AUTHOR = {E. Sapir}, TITLE = {The Status of Linguistics as a Science}, YEAR = 1929, JOURNAL = {Language}, volume = {5}, PAGES = {207--214}, } @techreport{Minsky1963, author = {Marvin L. Minsky}, title = {A {Lisp} garbage collector algorithm using serial secondary storage}, institution = {Project {MAC}, {MIT}}, address = {Cambridge, MA}, number = {58 (rev.)}, year = {1963}, }