Abstract is missing.
- How to Declare an ImperativePhilip Wadler. 18-32
- Logic Programming and Object Modelling: A Case Study (Abstract)Joxan Jaffar, Michael J. Maher, Gustaf Neumann. 48
- Monadic Constructs for Logic ProgrammingYves Bekkers, Paul Tarau. 51-65
- Implementing the Linear Logic Programming Language LygonMichael Winikoff, James Harland. 66-80
- Top-Down beats Bottom-Up for Constraint Based Extensions of DatalogDavid Toman. 98-112
- Objects in ForumGiorgio Delzanno, Maurizio Martelli. 115-129
- A Declarative Semantics for Behavioral Inheritance and Conflict ResolutionHasan M. Jamil, Laks V. S. Lakshmanan. 130-144
- A Call-by-Need Strategy for Higher-Order Functional-Logic ProgrammingChristian Prehofer. 147-161
- Abstraction of Conditional Term Rewriting SystemsDidier Bert, Rachid Echahed. 162-176
- Clause-based proofs for hereditary Harrop formulasAlain Hui-Bon-Hoa. 179-193
- Optimizing Clause Resolution: Beyond Unification FactoringSteven Dawson, C. R. Ramakrishnan, I. V. Ramakrishnan, Terrance Swift. 194-208
- A Compositional Proof Method of Partial Correctness for Normal Logic ProgramsGérard Ferrand, Arnaud Lallouet. 209-223
- The implementation of AKL(FD)Björn Carlson, Mats Carlsson, Sverker Janson. 227-241
- Code Generation for MercuryThomas Conway, Fergus Henderson, Zoltan Somogyi. 242-256
- A Simple Approach to Supporting Untagged Objects in Dynamically Typed LanguagesPeter A. Bigot, Saumya K. Debray. 257-271
- Declarative Diagnosis RevisitedMarco Comini, Giorgio Levi, Giuliana Vitiello. 275-287
- Semantical Properties of Encodings in Logic ProgrammingJonas Barklund, Pierangelo Dell Acqua, Stefania Costantini, Gaetano Aurelio Lanzarone. 288-302
- Temporal Logic Programming in Dense TimeChristoph Brzoska. 303-317
- Functional Dependencies and Moore-Set Completions of Abstract Interpretations and SemanticsRoberto Giacobazzi, Francesco Ranzato. 321-335
- A Blueprint for an Abstract Machine for Abstract Interpretation of (Constraint) Logic ProgramsGerda Janssens, Maurice Bruynooghe, Veroniek Dumortier. 336-350
- Practical Model-Based Static Analysis for Definite Logic ProgramsJohn P. Gallagher, Dmitri Boulanger, Hüseyin Saglam. 351-365
- An Introspective Framework for Paraconsistent Logic ProgramsJia-Huai You, Suryanil Ghosh, Li-Yan Yuan, Randy Goebel. 384-398
- Declarative and Fixpoint Characterizations of Disjunctive Stable ModelsNicola Leone, Francesco Scarcello. 399-413
- Efficient Analysis of Logic Programs with Dynamic SchedulingMaria J. García de la Banda, Kim Marriott, Peter J. Stuckey. 417-431
- Control Flow Analysis of PrologThomas Lindgren. 432-446
- Proving Termination of Logic Programs with Delay DeclarationsElena Marchiori, Frank Teusink. 447-461
- An Algorithm of Generalization in Positive SupercompilationMorten Heine Sørensen, Robert Glück. 465-479
- Correctness of Logic Program Transformations Based on Existential TerminationKung-Kiu Lau, Mario Ornaghi, Alberto Pettorossi, Maurizio Proietti. 480-494
- Partial Deduction of the Ground Representation and its Application to Integrity CheckingMichael Leuschel, Bern Martens. 495-509
- Beyond the Glass Box: Constraints as ObjectsJean-Francois Puget, Michel Leconte. 513-527
- Modelling Real-Time in Concurrent Constraint ProgrammingFrank S. de Boer, Maurizio Gabbrielli. 528-542
- A Formal Approach to Deductive Synthesis of Constraint Logic ProgramsKung-Kiu Lau, Mario Ornaghi. 543-557
- Compositionality in SLD-Derivations and their AbstractionsMarco Comini, Giorgio Levi, Maria Chiara Meo. 561-575
- Type Correct programs: A semantic approachBernard Malfon, Gérard Ferrand. 576-590
- A Paralogical Semantics for the Prolog CutJames H. Andrews. 591-605
- Logic and Objects (Tutorial Abstract)Chris Moss. 609-611
- Implementation Issues for Functional Logic Programming (Tutorial Abstract)Herbert Kuchen. 612-613
- Tradeoffs Explicit and Omplicit Parallelism (Tutorial Abstract)Håkan Millroth. 614
- Tutorial on Program Specialisation (Abstract)Danny De Schreye, Michael Leuschel, Bern Martens. 615-616
- Integration of Functional and Logic Programming Languages (Panel Abstract)John W. Lloyd. 619-620
- Bridging the gap between logic and functional programming (Panel Abstract)Uday S. Reddy. 627-628
- The Challenge of Declarative Programming (Panel Abstract)Mario Rodríguez-Artalejo. 629-630
- Higher Order BabelHerbert Kuchen, Josef Anastasiadis. 633
- An Approach to Verification in Contextual Logic ProgrammingVasco Pedro, Luís Monteiro. 634
- Combining Rules and Description Logics: An Overview of CARINAlon Y. Levy, Marie-Christine Rousset. 635
- Programming in Lygon: A Brief OverviewJames Harland, David J. Pym, Michael Winikoff. 636
- Relaxation in Constraint Logic LanguagesKannan Govindarajan, Bharat Jayaraman, Surya Mantha. 637
- Regular Signed Resolution Applied to Annotated Logic ProgramsBarbara Messing, Peter v. Stackelberg. 638
- Declarative Annotations for Logic ProgramsCorin A. Gurr. 639
- P&P: A Combined Parlog and Prolog Concurrent Object-Oriented Logic Programming LanguageMan-lai Tse, Wing-hang Wong, Ho-Fung Leung. 640
- Synchronisation in SccLubos Brim, David Gilbert, Jean-Marie Jacquet, Mojmír Kretínský. 641
- Backtrackable State with Linear Assumptions, Continuations and Hidden Accumulator GrammarsPaul Tarau, Verónica Dahl, Andrew Fall. 642