default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID7th PADL 2005: Long Beach, CA, USA
- Manuel V. Hermenegildo, Daniel Cabeza:
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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-10-08 22:30 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
