Abstract is missing.
- Automated Benchmarking of Functional Data StructuresGraeme E. Moss, Colin Runciman. 1-15 [doi]
- NP-SPEC: An Executable Specification Language for Solving All Problems in NPMarco Cadoli, Luigi Palopoli, Andrea Schaerf, Domenico Vasile. 16-30 [doi]
- Prototyping a Requirements Specification through an Automatically Generated Concurrent Logic ProgramPatricio Letelier, Pedro Sánchez, Isidro Ramos. 31-45 [doi]
- Multi-agent Systems Development as a Software Engineering EnterpriseMarco Bozzano, Giorgio Delzanno, Maurizio Martelli, Viviana Mascardi, Floriano Zini. 46-60 [doi]
- From Functional Animation to Sprite-Based DisplayConal Elliott. 61-75 [doi]
- Beyond Pretty-Printing: Galley Concepts in Document Formatting CombinatorsWolfram Kahl. 76-90 [doi]
- Lambda in Motion: Controlling Robots with HaskellJohn Peterson, Paul Hudak, Conal Elliott. 91-105 [doi]
- CHAT: The Copy-Hybrid Approach to TablingBart Demoen, Konstantinos F. Sagonas. 106-121 [doi]
- The Influence of Architectural Parameters on the Performance of Parallel Logic Programming SystemsMarcio G. Silva, Inês de Castro Dutra, Ricardo Bianchini, Vítor Santos Costa. 122-136 [doi]
- Or-Parallelism within TablingRicardo Rocha, Fernando M. A. Silva, Vítor Santos Costa. 137-151 [doi]
- Mnesia - A Distributed Robust DBMS for Telecommunications ApplicationsHåkan Mattsson, Hans Nilsson, Claes Wikstrom. 152-163 [doi]
- An AQUA-Based Intermediate Language for Evaluating an Active Deductive Object-Oriented LanguageBabu Siddabathuni, Suzanne W. Dietrich, Susan Darling Urban. 164-178 [doi]
- Implementing a Declarative String Query Language with String RestructuringRaul Hakli, Matti Nykänen, Hellis Tamm, Esko Ukkonen. 179-195 [doi]
- Client-Side Web Scripting with HaskellScriptErik Meijer, Daan Leijen, James Hook. 196-210 [doi]
- MCORBA: A CORBA Binding for MercuryDavid Jeffery, Tyson Dowd, Zoltan Somogyi. 211-227 [doi]
- Dead Code Elimination through Dependent TypesHongwei Xi. 228-242 [doi]
- Multiple Specialization of WAM CodeMichel Ferreira, Luís Damas. 243-258 [doi]
- A Flexible Framework for Dynamic and Static Slicing of Logic ProgramsWamberto Weber Vasconcelos. 259-274 [doi]
- Applying Logic Programming to Derive Novel Functional Information of GenomesArvind K. Bansal, Peer Bork. 275-289 [doi]
- An Application of Action Theory to the Space ShuttleRichard Watson. 290-304 [doi]
- Developing a Declarative Rule Language for Applications in Product ConfigurationTimo Soininen, Ilkka Niemelä. 305-319 [doi]
- University Timetabling Using Constraint Logic ProgrammingHans-Joachim Goltz, Dirk Matzke. 320-334 [doi]
- Constraint-Based Resource Allocation and Scheduling in Steel ManufacturingMats Carlsson, Per Kreuger, Emil Åström. 335-349 [doi]
- Using Constraints in Local Proofs for CLP DebuggingClaude Laï. 350-359 [doi]
- A Return to Elegance: The Reapplication of Declarative Notation to Software DesignDavid A. Schmidt. 360-364 [doi]
- ECLiPSe: Declarative Specification and Scaleable ImplementationMark Wallace, Joachim Schimpf. 365-366 [doi]