| Software Engineering |
| Automated Benchmarking of Functional Data Structures / G.E. Moss ; C. Runciman |
| NP-spec: An Executable Specification Language for Solving All Problems in NP / M. Cadoli ; L. Palopoli ; A. Schaerf ; D. Vasile |
| Prototyping a Requirements Specification through an Automatically Generated Concurrent Logic Program / P. Letelier ; P. Sánchez ; I. Ramos |
| Multi-agent Systems Development as a Software Engineering Enterprise / M. Bozzano ; G. Delzanno ; M. Martelli ; V. Mascardi ; F. Zini |
| Innovative Applications I |
| From Functional Animation to Sprite-Based Display / C. Elliott |
| Beyond Pretty-Printing: Galley Concepts in Document Formatting Combinators / W. Kahl |
| Lambda in Motion: Controlling Robots with Haskell / J. Peterson ; P. Hudak |
| Implementation |
| CHAT: The Copy-Hybrid Approach to Tabling / B. Demoen ; K. Sagonas |
| The Influence of Parallel Computer Architectural Parameters on the Performance of Parallel Logic Programming Systems / M.G. Silva ; I.C. Dutra ; R. Bianchini ; V. Santos Costa |
| Or-Parallelism within Tabling / R. Rocha ; F. Silva |
| Declarative Query Processing |
| Mnesia - A Distributed Robust DBMS for Telecommunications Applications / H. Mattsson ; H. Nilsson ; C. Wikström |
| An AQUA-Based Intermediate Language for Evaluating an Active Deductive Object-Oriented Language / B. Siddabathuni ; S.W. Dietrich ; S.D. Urban |
| Implementing a Declarative String Query Language with String Restructuring / R. Hakli ; M. Nykänen ; H. Tamm ; E. Ukkonen |
| Systems Applications |
| Client-Side Web Scripting with HaskellScript / E. Meijer ; D. Leijen ; J. Hook |
| MCORBA: A CORBA Binding for Mercury / D. Jeffery ; T. Dowd ; Z. Somogyi |
| Analysis |
| Dead Code Elimination through Dependent Types / H. Xi |
| Multiple Specialization of WAM Code / M. Ferriera ; L. Damas |
| A Flexible Framework for Dynamic and Static Slicing of Logic Programs / W.W. Vasconcelos |
| Innovative Applications II |
| Applying Logic Programming to Derive Novel Functional Information of Genomes / A.K. Bansal ; P. Bork |
| An Application of Action Theory to the Space Shuttle / R. Watson |
| Developing a Declarative Rule Language for Applications in Product Configuration / T. Soininen ; I. Niemela |
| Constraint Programming |
| University Timetabling Using Constraint Logic Programming / H-J. Goltz ; D. Matzke |
| Constraint-Based Resource Allocation and Scheduling in Steel Manufacturing / M. Carlsson ; P. Kreuger ; E. Åström |
| Using Constraints in Local Proofs for CLP Debugging / C. Laï |
| Declarative Languages and Software Engineering (Invited) |
| A Return to Elegance: The Reapplication of Declarative Notation to Software Design / D.A. Schmidt |
| ECLiPSe Declarative Specification and Scaleable Implementation / M. Wallace ; J. Schimpf |
| Author Index |
| Software Engineering |
| Automated Benchmarking of Functional Data Structures / G.E. Moss ; C. Runciman |
| NP-spec: An Executable Specification Language for Solving All Problems in NP / M. Cadoli ; L. Palopoli ; A. Schaerf ; D. Vasile |
図書
