Practical Aspects of Declarative Languages: Third International Symposium, PADL 2001 Las Vegas, Nevada, March 11-12, 2001 Proceedings [Paperback]

A Model Checker for Value-Passing Mu-Calculus Using Logic Programming.- Design and Implementation of the High-Level Specification Language CSP(LP) in Prolog.- Frapp?: Functional Reactive Programming in Java.- From Subject Directories to Subject Meta-directories via Declarative Programming.- Programming Goal-Driven Web Sites Using an Agent Logic Language.- High-Level Server Side Web Scripting in Curry.- Logic Programming Techniques for Dynamic VRML Web Content Generation.- Soft Constraints for Security Protocol Analysis: Confidentiality.- Secure Deductive Databases.- Specifying Authentication Protocols Using Rewriting and Strategies.- Interoperability between Bioinformatics Tools: A Logic Programming Approach.- An A-Prolog Decision Support System for the Space Shuttle.- tuProlog: A Light-Weight Prolog for Internet Applications and Infrastructures.- A Novel Implementation of the Extended Andorra Model.- Soundcheck for SQL.- Compiling High-Level Type Constructors in Constraint Programming.- Constraint Database Models Characterizing Timed Bisimilarity.- Spatio-temporal Annotated Constraint Logic Programming.- A Meta-heuristic for Subset Problems.- Construction and Optimization of a Parallel Engine for Answer Set Programming.- FVision: A Declarative Language for Visual Tracking.- A Most Specific Method Finding Algorithm for Reflection Based Dynamic Prolog-to-Java Interfaces.- State Generation in the PARMC Model Checker.Includes supplementary material: sn.pub/extras