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

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