Practical Aspects of Declarative Languages Third International Symposium, PADL 2001 Las Vegas, Nevada, March 11-12, 2001 Proceedings /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Ramakrishnan, I.V (Editor, http://id.loc.gov/vocabulary/relators/edt)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001.
• Edition: 1st ed. 2001.
• Series: Lecture Notes in Computer Science, 1990
• Subjects: Programming languages (Electronic computers).; Software engineering.; Computer logic.; Computer programming.; Artificial intelligence.; Programming Languages, Compilers, Interpreters.; Software Engineering.; Logics and Meanings of Programs.; Programming Techniques.; Artificial Intelligence.

Table of Contents:

• 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.