Practical Aspects of Declarative Languages

Language: English

Published by Springer Berlin Heidelberg Feb 2001, 2001

3540417680 / 9783540417682

  • Softcover
  • New
See all details

Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermanyBuchWeltWeit Ludwig Meier e.K.

5-star seller

AbeBooks seller since January 11, 2012

Softcover

Condition: New

US$ 61.89

US$ 25.84 shipping 
Ships from Germany to U.S.A.

Quantity: 2 available

Add to basket
Free 30-day returns

Item description from seller

This item is printed on demand - it takes 3-4 days longer - Neuware -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 ,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. . . . . . . . . . 368 pp. Englisch.…

Seller Inventory # 9783540417682

Title
Practical Aspects of Declarative Languages
Author
I. V. Ramakrishnan
Publisher
Springer Berlin Heidelberg Feb 2001
Publication year
2001
Condition
Neu
Binding
Taschenbuch
Language
English
ISBN 10
3540417680
ISBN 13
9783540417682
Item weight
557 grams
Dimensions
235x155x20 mm

BuchWeltWeit Ludwig Meier e.K.

Bergisch Gladbach, Germany

5-star seller

AbeBooks seller since January 11, 2012

Shipping rates from Germany to U.S.A.

Item5 to 15 business days5 to 15 business days
First itemUS$ 25.84US$ 25.84
Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.

Payment methods

  • Visa
  • Mastercard
  • American Express
  • Apple Pay
  • Google Pay
  • Bank Wire Transfer
  • Check
  • Paypal

Seller's business information

BuchWeltWeit Ludwig Meier e.K.

Germany