Skip to main content
  • Conference proceedings
  • © 2001

Practical Aspects of Declarative Languages

Third International Symposium, PADL 2001 Las Vegas, Nevada, March 11-12, 2001 Proceedings

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

Buy it now

Buying options

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

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (23 papers)

  1. Front Matter

    Pages I-VIII
  2. Programming Goal-Driven Web Sites Using an Agent Logic Language

    • Matteo Baldoni, Cristina Baroglio, Alessandro Chiarotto, Viviana Patti
    Pages 60-75
  3. Soft Constraints for Security Protocol Analysis: Confidentiality

    • Giampaolo Bella, Stefano Bistarelli
    Pages 108-122
  4. Secure Deductive Databases

    • Steve Barker
    Pages 123-137
  5. Interoperability between Bioinformatics Tools: A Logic Programming Approach

    • Juan R. Iglesias, Gopal Gupta, Enrico Pontelli, Desh Ranjan, Brook Milligan
    Pages 153-168
  6. An A-Prolog Decision Support System for the Space Shuttle

    • Monica Nogueira, Marcello Balduccini, Michael Gelfond, Richard Watson, Matthew Barry
    Pages 169-183
  7. tuProlog: A Light-Weight Prolog for Internet Applications and Infrastructures

    • Enrico Denti, Andrea Omicini, Alessandro Ricci
    Pages 184-198
  8. A Novel Implementation of the Extended Andorra Model

    • Ricardo Lopes, Vítor Santos Costa, Fernando Silva
    Pages 199-213
  9. Soundcheck for SQL

    • Hendrik Decker
    Pages 214-228
  10. Compiling High-Level Type Constructors in Constraint Programming

    • Pierre Flener, Brahim Hnich, Zeynep Kiziltan
    Pages 229-244
  11. Constraint Database Models Characterizing Timed Bisimilarity

    • Supratik Mukhopadhyay, Andreas Podelski
    Pages 245-258
  12. Spatio-temporal Annotated Constraint Logic Programming

    • Alessandra Raffaetà, Thom Frühwirth
    Pages 259-273
  13. A Meta-heuristic for Subset Problems

    • Pierre Flener, Brahim Hnich, Zeynep Kiziltan
    Pages 274-287

Editors and Affiliations

  • Department of Computer Science, State University of New York, NY, USA

    I. V. Ramakrishnan

Bibliographic Information

Buy it now

Buying options

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

Tax calculation will be finalised at checkout

Other ways to access