PADL 05: Accepted Papers

  1. Role-based Declarative Synchronization for Reconfigurable Systems
    Vlad Tanasescu, EPFL
    Pawel Wojciechowski, EPFL
  2. Functional Framework for Sound Synthesis
    Jerzy Karczmarczuk, University of Caen
  3. Improved Fusion for Optimizing Generics
    Sjaak Smetsers, University of Nijmegen
    Artem Alimarine, University of Nijmegen
  4. Solving Constraints on Sets of Spatial Objects
    Jesus M. Almendros-Jimenez, Universidad de Almeria
    Antonio Corral, Universidad de Almeria
  5. A Full Pattern-based Paradigm for XML Query Processing
    Benzaken Veronique, Universite Paris XI, LRI - CNRS
    Castagna Giuseppe, CNRS - LIENS
    Miachon Cedric, LIENS - CNRS
  6. A Program Inverter LRinv and its Structure
    Masahiko Kawabe, Waseda University, Tokyo, Japan
    Robert Glueck, University of Copenhagen, Denmark
  7. Discovery of Minimal Unsatisfiable Subsets of Constraints Using Hitting Set Dualization
    James Bailey, University of Melbourne
    Peter Stuckey, University of Melbourne
  8. A Provably Correct Compiler for Efficient Model Checking of Mobile Processes
    Ping Yang, Computer Science Dept., Stony Brook University
    Yifei Dong, School of Computer Science, University of Oklahoma
    C.R. Ramakrishnan, Computer Science Dept., Stony Brook University
    Scott. A. Smolka, Computer Science Dept., Stony Brook University
  9. An Ordered Logic Program Solver
    Davy Van Nieuwenborgh, Free University Brussels
    Stijn Heymans, Free University Brussels
    Dirk Vermeir, Free University Brussels
  10. Type Class Directives
    Bastiaan Heeren, Universiteit Utrecht
    Jurriaan Hage, Universiteit Utrecht
  11. Specializing Narrowing for Timetable Generation: A Case Study
    Nadia Brauner, Laboratoire LEIBNIZ
    Rachid Echahed, Laboratoire LEIBNIZ
    Gerd Finke, Laboratoire LEIBNIZ
    Hanns GREGOR, Laboratoire LEIBNIZ
    Frederic Prost, Laboratoire LEIBNIZ
  12. Solving Collaborative Fuzzy Agents Problems with CLP(FD)
    Susana Munoz-Hernandez, Technical University of Madrid
    Jose Manuel Gomez-Perez, Technical University of Madrid
  13. Character-Based Cladistics and Answer Set Programming
    Daniel Brooks, University of Toronto
    Esra Erdem, Vienna University of Technology
    James Minett, Chinese University of Hong Kong
    Donald Ringe, University of Pennsylvania
  14. Towards a More Practical Hybrid Probabilistic Logic Programming Framework
    Emad Saad, New Mexico State University
    Enrico Pontelli, New Mexico State University
  15. Safe Programming with Pointers in ATS
    Dengping Zhu, Boston University
    Hongwei Xi, Boston University
  16. Improving Memory usage in the BEAM
    Ricardo Lopes, DCC-FCUP & LIACC, University of Porto - Portugal
    Vitor Costa, COPPE/Sistemas, Universidade Federal do Rio de Janeiro - Brasil
  17. Towards Provably Correct Code Generation via Horn Logical Continuation Semantics
    Qian Wang, UT Dallas
    Gopal Gupta, UT Dallas
    Michael Leuschel, Southampton