Practical Aspects of Declarative Languages

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

368 Seiten, Taschenbuch

Kurzbeschreibung des Verlags

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.

• Reihe: Lecture Notes in Computer Science
• Themen: Informatik und Informationstechnologie Informatik Künstliche Intelligenz (KI)
• ISBN: 9783540417682
• Sprache: Englisch
• Erscheinungsdatum: 28.02.2001
• Größe: 235 x 155 mm
• Verlag: Springer
• Herausgegeben von: I. V. Ramakrishnan