3. PADL 2001:
Las Vegas, Nevada, USA
I. V. Ramakrishnan (Ed.):
Practical Aspects of Declarative Languages, Third International Symposium, PADL 2001, Las Vegas, Nevada, March 11-12, 2001, Proceedings.
Lecture Notes in Computer Science 1990 Springer 2001, ISBN 3-540-41768-0 
- C. R. Ramakrishnan:
A Model Checker for Value-Passing Mu-Calculus Using Logic Programming.
1-13
- Michael Leuschel:
Design and Implementation of the High-Level Specification Language CSP(LP) in Prolog.
14-28
- Antony Courtney:
Frappé: Functional Reactive Programming in Java.
29-44
- Antonio Brogi, Gianluca Caruso:
From Subject Directories to Subject Meta-directories via Declarative Programming.
45-59
- Matteo Baldoni, Cristina Baroglio, Alessandro Chiarotto, Viviana Patti:
Programming Goal-Driven Web Sites Using an Agent Logic Language.
60-75
- Michael Hanus:
High-Level Server Side Web Scripting in Curry.
76-92
- Anima Gupta, Paul Tarau:
Logic Programming Techniques for Dynamic VRML Web Content Generation.
93-107
- Giampaolo Bella, Stefano Bistarelli:
Soft Constraints for Security Protocol Analysis: Confidentiality.
108-122
- Steve Barker:
Secure Deductive Databases.
123-137
- Horatiu Cirstea:
Specifying Authentication Protocols Using Rewriting and Strategies.
138-152
- Juan Raymundo Iglesias, Gopal Gupta, Enrico Pontelli, Desh Ranjan, Brook Milligan:
Interoperability between Bioinformatics Tools: A Logic Programming Approach.
153-168
- Monica Nogueira, Marcello Balduccini, Michael Gelfond, Richard Watson, Matthew Barry:
An A-Prolog Decision Support System for the Space Shuttle.
169-183
- Enrico Denti, Andrea Omicini, Alessandro Ricci:
tu Prolog: A Light-Weight Prolog for Internet Applications and Infrastructures.
184-198
- Ricardo Lopes, Vítor Santos Costa, Fernando M. A. Silva:
A Novel Implementation of the Extended Andorra Model.
199-213
- Hendrik Decker:
Soundcheck for SQL.
214-228
- Pierre Flener, Brahim Hnich, Zeynep Kiziltan:
Compiling High-Level Type Constructors in Constraint Programming.
229-244
- Supratik Mukhopadhyay, Andreas Podelski:
Constraint Database Models Characterizing Timed Bisimilarity.
245-258
- Alessandra Raffaetà, Thom W. Frühwirth:
Spatio-temporal Annotated Constraint Logic Programming.
259-273
- Pierre Flener, Brahim Hnich, Zeynep Kiziltan:
A Meta-heuristic for Subset Problems.
274-287
- Enrico Pontelli, Omar El-Khatib:
Construction and Optimization of a Parallel Engine for Answer Set Programming.
288-303
- John Peterson, Paul Hudak, Alastair Reid, Gregory D. Hager:
FVision: A Declarative Language for Visual Tracking.
304-321
- Satyam Tyagi, Paul Tarau:
A Most Specific Method Finding Algorithm for Reflection Based Dynamic Prolog-to-Java Interfaces.
322-336
- Owen Kaser:
State Generation in the PARMC Model Checker.
337-352
Last update Thu May 23 17:48:18 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
