Abstract is missing.
- Building the World from First Principles: Declarative Machine Descriptions and Compiler ConstructionNorman Ramsey. 1-4 [doi]
- Code CompressionSaumya K. Debray. 5-6 [doi]
- Functional Framework for Sound SynthesisJerzy Karczmarczuk. 7-21 [doi]
- Specializing Narrowing for Timetable Generation: A Case StudyNadia Brauner, Rachid Echahed, Gerd Finke, Hanns Gregor, Frédéric Prost. 22-36 [doi]
- Character-Based Cladistics and Answer Set ProgrammingDaniel R. Brooks, Esra Erdem, James W. Minett, Donald Ringe. 37-51 [doi]
- Role-Based Declarative Synchronization for Reconfigurable SystemsVlad Tanasescu, Pawel T. Wojciechowski. 52-66 [doi]
- Towards a More Practical Hybrid Probabilistic Logic Programming FrameworkEmad Saad, Enrico Pontelli. 67-82 [doi]
- Safe Programming with Pointers Through Stateful ViewsDengping Zhu, Hongwei Xi. 83-97 [doi]
- Towards Provably Correct Code Generation via Horn Logical Continuation SemanticsQian Wang, Gopal Gupta, Michael Leuschel. 98-112 [doi]
- A Provably Correct Compiler for Efficient Model Checking of Mobile ProcessesPing Yang, Yifei Dong, C. R. Ramakrishnan, Scott A. Smolka. 113-127 [doi]
- An Ordered Logic Program SolverDavy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir. 128-142 [doi]
- Improving Memory Usage in the BEAMRicardo Lopes, Vítor Santos Costa. 143-157 [doi]
- Solving Constraints on Sets of Spatial ObjectsJesús Manuel Almendros-Jiménez, Antonio Corral. 158-173 [doi]
- Discovery of Minimal Unsatisfiable Subsets of Constraints Using Hitting Set DualizationJames Bailey, Peter J. Stuckey. 174-186 [doi]
- Solving Collaborative Fuzzy Agents Problems with CLP(FD)Susana Muñoz-Hernández, Jose Manuél Gómez-Pérez. 187-202 [doi]
- Improved Fusion for Optimizing GenericsArtem Alimarine, Sjaak Smetsers. 203-218 [doi]
- The Program Inverter LRinv and Its StructureMasahiko Kawabe, Robert Glück. 219-234 [doi]
- A Full Pattern-Based Paradigm for XML Query ProcessingVéronique Benzaken, Giuseppe Castagna, Cédric Miachon. 235-252 [doi]
- Type Class DirectivesBastiaan Heeren, Jurriaan Hage. 253-267 [doi]