PADL 05: Accepted Papers
- Role-based Declarative Synchronization for Reconfigurable Systems
Vlad Tanasescu, EPFL
Pawel Wojciechowski, EPFL
- Functional Framework for Sound Synthesis
Jerzy Karczmarczuk, University of Caen
- Improved Fusion for Optimizing Generics
Sjaak Smetsers, University of Nijmegen
Artem Alimarine, University of Nijmegen
- Solving Constraints on Sets of Spatial Objects
Jesus M. Almendros-Jimenez, Universidad de Almeria
Antonio Corral, Universidad de Almeria
- A Full Pattern-based Paradigm for XML Query Processing
Benzaken Veronique, Universite Paris XI, LRI - CNRS
Castagna Giuseppe, CNRS - LIENS
Miachon Cedric, LIENS - CNRS
- A Program Inverter LRinv and its Structure
Masahiko Kawabe, Waseda University, Tokyo, Japan
Robert Glueck, University of Copenhagen, Denmark
- Discovery of Minimal Unsatisfiable Subsets of Constraints Using Hitting Set Dualization
James Bailey, University of Melbourne
Peter Stuckey, University of Melbourne
- 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
- An Ordered Logic Program Solver
Davy Van Nieuwenborgh, Free University Brussels
Stijn Heymans, Free University Brussels
Dirk Vermeir, Free University Brussels
- Type Class Directives
Bastiaan Heeren, Universiteit Utrecht
Jurriaan Hage, Universiteit Utrecht
- 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
- Solving Collaborative Fuzzy Agents Problems with CLP(FD)
Susana Munoz-Hernandez, Technical University of Madrid
Jose Manuel Gomez-Perez, Technical University of Madrid
- 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
- Towards a More Practical Hybrid Probabilistic Logic Programming Framework
Emad Saad, New Mexico State University
Enrico Pontelli, New Mexico State University
- Safe Programming with Pointers in ATS
Dengping Zhu, Boston University
Hongwei Xi, Boston University
- 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
- Towards Provably Correct Code Generation via Horn Logical Continuation Semantics
Qian Wang, UT Dallas
Gopal Gupta, UT Dallas
Michael Leuschel, Southampton