9783540417682 - practical aspects of declarative languages: third international symposium, padl 2001 las vegas, nevada, march 11-12, 2001 proceedings (lecture notes in computer science, 1990, band 1990) von ramakrishnan, i.v. (4 Ergebnisse)
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 61,18
EUR 14,01 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
- Softcover
Anbieter: moluna, Greven, Deutschlandmoluna
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 48,37
EUR 48,99 VersandVersand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
Kartoniert / Broschiert. Zustand: New.
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 53,49
EUR 62,79 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The International Symposium on Practical Aspects of Declarative Languages (PADL)focusesonpracticalapplicationsofdeclarativelanguages. Thecollection ofpapersinthisvolumewaspresentedatPADL2001. Thesymposiumwasheld inLasVegas,Nevada,March11 12,2001. For…typapersweresubmittedinresponsetothecallforpapers. Twenty-three paperswere nallyselectedforpresentationatthesymposium. Thesymposium includedinvitedtalksbyJoeArmstrongofBluetail,RaghuRamakrishnanfrom theUniversityofWisconsinatMadison,andDavidS. Warrenfromthe State UniversityofNewYorkatStonyBrook. ThesymposiumwassponsoredandorganizedbyCOMPULOGAMERICAS ,anetworkofresearchgroupsdedicated topromotingresearchinlogicprogrammingandrelatedareas,bytheAssoc- tionforLogicProgramming,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, cs. nmsu. edu/~complog AssociationforLogicProgramming, 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. . . . . . . . . .
- Softcover
Anbieter: Buchpark, Trebbin, DeutschlandBuchpark
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Sehr gut
EUR 31,48
EUR 105,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 368 | Sprache: Englisch | Produktart: Bücher | CornellUniversity U. Nilsson LinkopingUniversity C. Palamidessi PennStateUniv. E. Pontelli NewMexicoStateUniv. I. V. Ramakrishnan(PCChair) SUNYStonyBrook D. Sands ChalmersUniversityofTechnology R. Sekar SUNYStonyBrook D. Srivastava AT&T…LabsResearch 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, [LINK ENTFERNT] cs. nmsu. edu/~complog AssociationforLogicProgramming, [LINK ENTFERNT] 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. . . . . . . . .
