Invited Talks |
Building the World from First Principles: Declarative Machine Descriptions and Compiler Construction / Norman Ramsey |
Code Compression / Saumya Debray |
Papers |
Functional Framework for Sound Synthesis / Jerzy Karczmarczuk |
Specializing Narrowing for Timetable Generation: A Case Study / Nadia Brauner ; Rachid Echahed ; Gerd Finke ; Hanns Gregor ; Frederic Prost |
Character-Based Cladistics and Answer Set Programming / Daniel R. Brooks ; Esra Erdem ; James W. Minett ; Donald Ringe |
Role-Based Declarative Synchronization for Reconfigurable Systems / Vlad Tanasescu ; Pawel T. Wojciechowski |
Towards a More Practical Hybrid Probabilistic Logic Programming Framework / Emad Saad ; Enrico Pontelli |
Safe Programming with Pointers Through Stateful Views / Dengping Zhu ; Hongwei Xi |
Towards Provably Correct Code Generation via Horn Logical Continuation Semantics / Qian Wang ; Gopal Gupta ; Michael Leuschel |
A Provably Correct Compiler for Efficient Model Checking of Mobile Processes / Ping Yang ; Yifei Dong ; C.R. Ramakrishnan ; Scott A. Smolka |
An Ordered Logic Program Solver / Davy Van Nieuwenborgh ; Stijn Heymans ; Dirk Vermeir |
Improving Memory Usage in the BEAM itor Santos Costa |
Solving Constraints on Sets of Spatial Objects / Jesús M. Almendros-Jiménez ; Antonio Corral |
Discovery of Minimal Unsatisfiable Subsets of Constraints Using Hitting Set Dualization / James Bailey ; Peter J. Stuckey |
Solving Collaborative Fuzzy Agents Problems with CLP(FD) / Susana Munoz-Hernandez ; Jose Manuel Gomez-Perez |
Improved Fusion for Optimizing Generics / Artem Alimarine ; Sjaak Smetsers |
The Program Inverter LRinv and Its Structure / Masahiko Kawabe ; Robert Glück |
A Full Pattern-Based Paradigm for XML Query Processing / Veronique Benzaken ; Giuseppe Castagna ; Cédric Miachon |
Type Class Directives / Bastiaan Heeren ; Jurriaan Hage |
Author Index |
Invited Talks |
Building the World from First Principles: Declarative Machine Descriptions and Compiler Construction / Norman Ramsey |
Code Compression / Saumya Debray |
Papers |
Functional Framework for Sound Synthesis / Jerzy Karczmarczuk |
Specializing Narrowing for Timetable Generation: A Case Study / Nadia Brauner ; Rachid Echahed ; Gerd Finke ; Hanns Gregor ; Frederic Prost |