Skip to main content
  • Conference proceedings
  • © 2005

Practical Aspects of Declarative Languages

7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 3350)

Part of the book sub series: Programming and Software Engineering (LNPSE)

Conference series link(s): PADL: International Symposium on Practical Aspects of Declarative Languages

Conference proceedings info: PADL 2005.

Buying options

eBook USD 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (19 papers)

  1. Front Matter

  2. Papers

    1. Functional Framework for Sound Synthesis

      • Jerzy Karczmarczuk
      Pages 7-21
    2. Specializing Narrowing for Timetable Generation: A Case Study

      • Nadia Brauner, Rachid Echahed, Gerd Finke, Hanns Gregor, Frederic Prost
      Pages 22-36
    3. Character-Based Cladistics and Answer Set Programming

      • Daniel R. Brooks, Esra Erdem, James W. Minett, Donald Ringe
      Pages 37-51
    4. Role-Based Declarative Synchronization for Reconfigurable Systems

      • Vlad Tanasescu, Paweł T. Wojciechowski
      Pages 52-66
    5. Safe Programming with Pointers Through Stateful Views

      • Dengping Zhu, Hongwei Xi
      Pages 83-97
    6. Towards Provably Correct Code Generation via Horn Logical Continuation Semantics

      • Qian Wang, Gopal Gupta, Michael Leuschel
      Pages 98-112
    7. A Provably Correct Compiler for Efficient Model Checking of Mobile Processes

      • Ping Yang, Yifei Dong, C. R. Ramakrishnan, Scott A. Smolka
      Pages 113-127
    8. An Ordered Logic Program Solver

      • Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir
      Pages 128-142
    9. Improving Memory Usage in the BEAM

      • Ricardo Lopes, Vítor Santos Costa
      Pages 143-157
    10. Solving Constraints on Sets of Spatial Objects

      • Jesús M. Almendros-Jiménez, Antonio Corral
      Pages 158-173
    11. Solving Collaborative Fuzzy Agents Problems with CLP( $\mathcal{FD}$ )

      • Susana Munoz-Hernandez, Jose Manuel Gomez-Perez
      Pages 187-202
    12. Improved Fusion for Optimizing Generics

      • Artem Alimarine, Sjaak Smetsers
      Pages 203-218
    13. The Program Inverter LRinv and Its Structure

      • Masahiko Kawabe, Robert Glück
      Pages 219-234
    14. A Full Pattern-Based Paradigm for XML Query Processing

      • Véronique Benzaken, Giuseppe Castagna, Cédric Miachon
      Pages 235-252
    15. Type Class Directives

      • Bastiaan Heeren, Jurriaan Hage
      Pages 253-267

Other Volumes

  1. Practical Aspects of Declarative Languages

Keywords

  • Compiler
  • Constraint
  • Fusion
  • Processing
  • XML
  • answer set programming
  • code generation
  • constraint languages
  • constraint programming
  • declarative languages
  • functional programming
  • logic
  • logic programming
  • programming
  • semantics

Editors and Affiliations

  • IMDEA Institute for Software Development Technology, Universidad Politécnica de Madrid, University of New Mexico Universidad Complutense de Madrid,  

    Manuel V. Hermenegildo

  • School of Computer Science, T.U. Madrid (UPM), Spain

    Daniel Cabeza

Bibliographic Information

Buying options

eBook USD 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions