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 BibTeX

Invited Talks

Norman Ramsey:
Building the World from First Principles: Declarative Machine Descriptions and Compiler Construction. 1-4
Electronic Edition (link) BibTeX
Saumya K. Debray:
Code Compression. 5-6
Electronic Edition (link) BibTeX

Papers

Jerzy Karczmarczuk:
Functional Framework for Sound Synthesis. 7-21
Electronic Edition (link) BibTeX
Nadia Brauner, Rachid Echahed, Gerd Finke, Hanns Gregor, Frédéric Prost:
Specializing Narrowing for Timetable Generation: A Case Study. 22-36
Electronic Edition (link) BibTeX
Daniel R. Brooks, Esra Erdem, James W. Minett, Donald Ringe:
Character-Based Cladistics and Answer Set Programming. 37-51
Electronic Edition (link) BibTeX
Vlad Tanasescu, Pawel T. Wojciechowski:
Role-Based Declarative Synchronization for Reconfigurable Systems. 52-66
Electronic Edition (link) BibTeX
Emad Saad, Enrico Pontelli:
Towards a More Practical Hybrid Probabilistic Logic Programming Framework. 67-82
Electronic Edition (link) BibTeX
Dengping Zhu, Hongwei Xi:
Safe Programming with Pointers Through Stateful Views. 83-97
Electronic Edition (link) BibTeX
Qian Wang, Gopal Gupta, Michael Leuschel:
Towards Provably Correct Code Generation via Horn Logical Continuation Semantics. 98-112
Electronic Edition (link) BibTeX
Ping Yang, Yifei Dong, C. R. Ramakrishnan, Scott A. Smolka:
A Provably Correct Compiler for Efficient Model Checking of Mobile Processes. 113-127
Electronic Edition (link) BibTeX
Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir:
An Ordered Logic Program Solver. 128-142
Electronic Edition (link) BibTeX
Ricardo Lopes, Vítor Santos Costa:
Improving Memory Usage in the BEAM. 143-157
Electronic Edition (link) BibTeX
Jesús Manuel Almendros-Jiménez, Antonio Corral:
Solving Constraints on Sets of Spatial Objects. 158-173
Electronic Edition (link) BibTeX
James Bailey, Peter J. Stuckey:
Discovery of Minimal Unsatisfiable Subsets of Constraints Using Hitting Set Dualization. 174-186
Electronic Edition (link) BibTeX
Susana Muñoz-Hernández, Jose Manuél Gómez-Pérez:
Solving Collaborative Fuzzy Agents Problems with CLP(FD). 187-202
Electronic Edition (link) BibTeX
Artem Alimarine, Sjaak Smetsers:
Improved Fusion for Optimizing Generics. 203-218
Electronic Edition (link) BibTeX
Masahiko Kawabe, Robert Glück:
The Program Inverter LRinv and Its Structure. 219-234
Electronic Edition (link) BibTeX
Véronique Benzaken, Giuseppe Castagna, Cédric Miachon:
A Full Pattern-Based Paradigm for XML Query Processing. 235-252
Electronic Edition (link) BibTeX
Bastiaan Heeren, Jurriaan Hage:
Type Class Directives. 253-267
Electronic Edition (link) BibTeX