Practical Aspects Of Declarative Languages: Third International Symposium, Padl 2001 Las Vegas, Nevada, March 11-12, 2001 Proceedings (lecture Notes In Computer Science)

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. The International Symposium On Practical Aspects Of Declarative Languages (padl)focusesonpracticalapplicationsofdeclarativelanguages. Thecollection Ofpapersinthisvolumewaspresentedatpadl2001. Thesymposiumwasheld Inlasvegas,nevada,march11–12,2001. Fortypapersweresubmittedinresponsetothecallforpapers. Twenty-three Paperswere?nallyselectedforpresentationatthesymposium. Thesymposium Includedinvitedtalksbyjoearmstrongofbluetail,raghuramakrishnanfrom Theuniversityofwisconsinatmadison,anddavids. Warrenfromthe State Universityofnewyorkatstonybrook. Thesymposiumwassponsoredandorganizedbycompulogamericas (http://www. Cs. Nmsu. Edu/~complog),anetworkofresearchgroupsdedicated Topromotingresearchinlogicprogrammingandrelatedareas,bytheassoc- Tionforlogicprogramming(http://www. Cwi. Nl/projects/alp),thedepa- Mentofcomputerscience,universityoftexasatdallasandthedepartment Ofcomputerscienceatthestateuniversityofnewyorkatstonybrook.^ The Supportofmanyindividualswascrucialtothesuccessofthissymposium. My Thankstogiridharpemmasani,samikbasu,divyangianchan,shachipoddar, And Shabbir Dahodwala For Their Help With Organizing And Managing The - Viewingprocess. Specialthankstor. C. Sekarforsettingupandmanagingthe Padl2001 Web Site And To Gopal Gupta For Handling All The Organizational Details. Manythankstotheprogramcommitteemembersforalltheirhelpin- Viewingandtheiradvice. Finally,mythankstoalltheauthorswhotookinterest Inpadl2001andsubmittedpapers. January2001 I. V. Ramakrishnan Programchair Programcommittee S. Antoy Portlandstateuniv. S. Debray Univ. Ofarizona M. Fromherz Xeroxparc C. Geyer Federaluniversityofriograndedosul,brazil B. Goldberg Nyu N. Heintze Belllabs,lucenttechnologies S. Krishnamurthi Brownuniversity L. Maranget Inriarocquencourt E. Meijer Utrechtuniversity G. Morrisett Cornelluniversity U. Nilsson Linkopinguniversity C. Palamidessi Pennstateuniv. E. Pontelli Newmexicostateuniv. I. V.^ Ramakrishnan(pcchair) Sunystonybrook D. Sands Chalmersuniversityoftechnology R. Sekar Sunystonybrook D. Srivastava At&tlabsresearch T. Swift Sunystonybrook K. Ueda Wasedauniversity R. Yap Nationaluniversityofsingapore N-f. Zhou Cunybrooklyncollegeandgraduatecenter Referees S. Antoy S. Krishnamurthi C. R. Ramakrishnan S. Debray L. Maranget D. Sands Frank G. Morrisett R. Sekar M. Fromherz K. Narayankumar D. Srivastava C. Geyer U. Nilsson P. Swift B. Goldberg C. Palamidessi K. Ueda N. Heintze G. Pemmasani R. Yap O. Kaser E. Pontelli N-f. Zhou Sponsoringinstitutions Compulogamericas, Http://www. Cs. Nmsu. Edu/~complog Associationforlogicprogramming, Http://www. Cwi. Nl/projects/alp Tableofcontents Amodelcheckerforvalue-passingmu-calculususinglogic Programming. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 C. R. Ramakrishnan Designandimplementationofthehigh-levelspeci?cationlanguage Csp(lp)inprolog. . . . . . . . . . . . . . . .^ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14 M. Leuschel Frapp ́e:functionalreactiveprogramminginjava . . . . . . . . . . . . . . . . . . . . . 29 A. Courtney Fromsubjectdirectoriestosubjectmeta-directoriesviadeclarative Programming. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45 A. Brogiandg. Caruso Programminggoal-drivenwebsitesusinganagentlogiclanguage . . . . 60 M. Baldoni,c. Baroglio,a. Chiarotto,andv. Patti High-levelserversidewebscriptingincurry . . . . . . . . . . . . . . . . . . . . . . . . 76 M. Hanus Logicprogrammingtechniquesfordynamicvrmlwebcontent Generation. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 93 A. Guptaandp. Tarau Softconstraintsforsecurityprotocolanalysis:con?dentiality. . . . . . . . . . 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. I.v. Ramakrishnan. Includes Bibliographical References And Index. 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