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

by Ramakrishnan, I. V.

• ISBN13: 9783540417682
• ISBN10: 3540417680
• Edition: 1st
• Format: Paperback
• Copyright: 2001-03-01
• Publisher: SPRINGER

Summary

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.

Table of Contents

A Model Checker for Value-Passing Mu-Calculus Using Logic Programming	1	(13)
C.R. Ramakrishnan
Design and Implementation of the High-Level Specification Language CSP(LP) in Prolog	14	(15)
M. Leuschel
Frappe: Functional Reactive Programming in Java	29	(16)
A. Courtney
From Subject Directories to Subject Meta-directories via Declarative Programming	45	(15)
A. Brogi
G. Caruso
Programming Goal-Driven Web Sites Using an Agent Logic Language	60	(16)
M. Baldoni
C. Baroglio
A. Chiarotto
V. Patti
High-Level Server Side Web Scripting in Curry	76	(17)
M. Hanus
Logic Programming Techniques for Dynamic VRML Web Content Generation	93	(15)
A. Gupta
P. Tarau
Soft Constraints for Security Protocol Analysis: Confidentiality	108	(15)
G. Bella
S. Bistarelli
Secure Deductive Databases	123	(15)
S. Barker
Specifying Authentication Protocols Using Rewriting and Strategies	138	(15)
H. Cirstea
Interoperability between Bioinformatics Tools: A Logic Programming Approach	153	(16)
J.R. Iglesias
G. Gupta
E. Pontelli
D. Ranjan
B. Milligan
An A-Prolog Decision Support Systems for the Space Shuttle	169	(15)
M. Nogueira
M. Balduccini
M. Gelfond
R. Watson
M. Barry
tuProlog: A Light-Weight Prolog for Internet Applications and Infrastructures	184	(15)
E. Denti
A. Omicini
A. Ricci
A Novel Implementation of the Extended Andorra Model	199	(15)
R. Lopes
V.S. Costa
F. Silva
Soundcheck for SQL	214	(15)
H. Decker
Compiling High-Level Type Constructors in Constraint Programming	229	(16)
P. Flener
B. Hnich
Z. Kiziltan
Constraint Database Models Characterizing Timed Bisimilarity	245	(14)
S. Mukhopadhyay
A. Podelski
Spatio-temporal Annotated Constraint Logic Programming	259	(15)
A. Raffaeta
T. Fruhwirth
A Meta-heuristic for Subset Problems	274	(14)
P. Flener
B. Hnich
Z. Kiziltan
Construction and Optimization of a Parallel Engine for Answer Set Programming	288	(16)
E. Pontelli
O. El-Khatib
FVision: A Declarative Language for Visual Tracking	304	(18)
J. Peterson
P. Hudak
A. Reid
G. Hager
A Most Specific Method Finding Algorithm for Reflection Based Dynamic Prolog-to-Java Interfaces	322	(15)
S. Tyagi
P. Tarau
State Generation in the PARMC Model Checker	337	(16)
O. Kaser
Author Index	353