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

@proceedings{DBLP:conf/padl/2001,
  editor    = {I. V. Ramakrishnan},
  title     = {Practical Aspects of Declarative Languages, Third International
               Symposium, PADL 2001, Las Vegas, Nevada, March 11-12, 2001, Proceedings},
  booktitle = {PADL},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1990},
  year      = {2001},
  isbn      = {3-540-41768-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

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 Tue Feb 14 04:08:45 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page