This book constitutes the refereed proceedings of the Third International Symposium on Practical Aspects of Declarative Programming, PADL 2001, held in Las Vegas, Nevada, USA in March 2001.
The 23 revised full papers presented were carefully reviewed and selected from a total of 40 submissions. Among the topics covered are Mu-calculus, specification languages, Java, Internet programming, VRML, security protocols, database security, authentication protocols, Prolog programming, implementation, constraint programming, visual tracking, and model checking.
Author(s): C. R. Ramakrishnan (auth.), I. V. Ramakrishnan (eds.)
Series: Lecture Notes in Computer Science 1990
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2001
Language: English
Pages: 352
Tags: Programming Languages, Compilers, Interpreters; Software Engineering; Logics and Meanings of Programs; Programming Techniques; Artificial Intelligence (incl. Robotics)
A Model Checker for Value-Passing Mu-Calculus Using Logic Programming....Pages 1-13
Design and Implementation of the High-Level Specification Language CSP(LP) in Prolog....Pages 14-28
Frappé: Functional Reactive Programming in Java....Pages 29-44
From Subject Directories to Subject Meta-directories via Declarative Programming....Pages 45-59
Programming Goal-Driven Web Sites Using an Agent Logic Language....Pages 60-75
High-Level Server Side Web Scripting in Curry....Pages 76-92
Logic Programming Techniques for Dynamic VRML Web Content Generation....Pages 93-107
Soft Constraints for Security Protocol Analysis: Confidentiality....Pages 108-122
Secure Deductive Databases....Pages 123-137
Specifying Authentication Protocols Using Rewriting and Strategies....Pages 138-152
Interoperability between Bioinformatics Tools: A Logic Programming Approach....Pages 153-168
An A-Prolog Decision Support System for the Space Shuttle....Pages 169-183
tuProlog: A Light-Weight Prolog for Internet Applications and Infrastructures....Pages 184-198
A Novel Implementation of the Extended Andorra Model....Pages 199-213
Soundcheck for SQL....Pages 214-228
Compiling High-Level Type Constructors in Constraint Programming....Pages 229-244
Constraint Database Models Characterizing Timed Bisimilarity....Pages 245-258
Spatio-temporal Annotated Constraint Logic Programming....Pages 259-273
A Meta-heuristic for Subset Problems....Pages 274-287
Construction and Optimization of a Parallel Engine for Answer Set Programming....Pages 288-303
FVision: A Declarative Language for Visual Tracking....Pages 304-321
A Most Specific Method Finding Algorithm for Reflection Based Dynamic Prolog-to-Java Interfaces....Pages 322-326
State Generation in the PARMC Model Checker....Pages 337-351
