default search action

combined dblp search
author search
venue search
publication search

ask others

7th PADL 2005: Long Beach, CA, USA

> Home > Conferences and Workshops > PADL

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/padl/2005
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/2005
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

- view
  authority control:
- export record
  dblp key:
  - conf/padl/Ramsey05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/Ramsey05
Norman Ramsey:
Building the World from First Principles: Declarative Machine Descriptions and Compiler Construction. 1-4
- view
  authority control:
- export record
  dblp key:
  - conf/padl/Debray05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/Debray05
Saumya K. Debray:
Code Compression. 5-6

Papers

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