7. PADL 2005:
Long Beach,
CA,
USA
Manuel V. Hermenegildo, Daniel Cabeza (Eds.):
Practical Aspects of Declarative Languages, 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings.
Lecture Notes in Computer Science 3350 Springer 2005, ISBN 3-540-24362-3 
Invited Talks
- Norman Ramsey:
Building the World from First Principles: Declarative Machine Descriptions and Compiler Construction.
1-4
- Saumya K. Debray:
Code Compression.
5-6
Papers
- Jerzy Karczmarczuk:
Functional Framework for Sound Synthesis.
7-21
- Nadia Brauner, Rachid Echahed, Gerd Finke, Hanns Gregor, Frédéric Prost:
Specializing Narrowing for Timetable Generation: A Case Study.
22-36
- Daniel R. Brooks, Esra Erdem, James W. Minett, Donald Ringe:
Character-Based Cladistics and Answer Set Programming.
37-51
- Vlad Tanasescu, Pawel T. Wojciechowski:
Role-Based Declarative Synchronization for Reconfigurable Systems.
52-66
- Emad Saad, Enrico Pontelli:
Towards a More Practical Hybrid Probabilistic Logic Programming Framework.
67-82
- Dengping Zhu, Hongwei Xi:
Safe Programming with Pointers Through Stateful Views.
83-97
- Qian Wang, Gopal Gupta, Michael Leuschel:
Towards Provably Correct Code Generation via Horn Logical Continuation Semantics.
98-112
- Ping Yang, Yifei Dong, C. R. Ramakrishnan, Scott A. Smolka:
A Provably Correct Compiler for Efficient Model Checking of Mobile Processes.
113-127
- Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir:
An Ordered Logic Program Solver.
128-142
- Ricardo Lopes, Vítor Santos Costa:
Improving Memory Usage in the BEAM.
143-157
- Jesús Manuel Almendros-Jiménez, Antonio Corral:
Solving Constraints on Sets of Spatial Objects.
158-173
- James Bailey, Peter J. Stuckey:
Discovery of Minimal Unsatisfiable Subsets of Constraints Using Hitting Set Dualization.
174-186
- Susana Muñoz-Hernández, José Manuél Gómez-Pérez:
Solving Collaborative Fuzzy Agents Problems with CLP(FD).
187-202
- Artem Alimarine, Sjaak Smetsers:
Improved Fusion for Optimizing Generics.
203-218
- Masahiko Kawabe, Robert Glück:
The Program Inverter LRinv and Its Structure.
219-234
- Véronique Benzaken, Giuseppe Castagna, Cédric Miachon:
A Full Pattern-Based Paradigm for XML Query Processing.
235-252
- Bastiaan Heeren, Jurriaan Hage:
Type Class Directives.
253-267
Last update Mon Feb 13 04:38:29 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
