• Fri frakt över 249 kr
  • •
  • Snabba leveranser
  • •
  • Billiga böcker
Kundservice

Du är på sajten för privatpersoner.

Företag, bibliotek eller offentlig verksamhet?

Du handlar på classic.bokus.com, där alla dina funktioner finns intakta.
Till classic.bokus.com
Bokus logotyp. Gå till startsidan.
  • Erbjudanden
  • Nyheter
  • Student
  • Topplistor
  • Barn & ungdom
  • Bokus Play
  • E-böcker
  • Pocketböcker
  • Spel & pussel

Upp till 20% på populära nyheter →

Sidfot

Mina sidor

    Hjälp

    • Kundservice
    • Vanliga frågor och svar
    • Frakt och leverans
    • Retur vid ångerrätt
    • Reklamera vara
    • Betalning
    • Köpvillkor
    • Allmänna villkor
    • Information om webbplatsens tillgänglighet

    Om Bokus

    • Om oss
    • Pressrum
    • För studenter
    • För företag
    • För bibliotek och offentlig verksamhet
    • För leverantörer
    • Hållbarhet

    Populärt

    • Aktuella erbjudanden
    • Presentkort
    • Studentlitteratur
    • Nya böcker
    • Topplistor
    • Signerade böcker
    • Engelska böcker

    Inspiration

    • Boktips
    • BookTok
    • Populära bokserier
    • Barnbokskaraktärer
    • Populära författare

    Mina sidor

      Hjälp

      • Kundservice
      • Vanliga frågor och svar
      • Frakt och leverans
      • Retur vid ångerrätt
      • Reklamera vara
      • Betalning
      • Köpvillkor
      • Allmänna villkor
      • Information om webbplatsens tillgänglighet

      Om Bokus

      • Om oss
      • Pressrum
      • För studenter
      • För företag
      • För bibliotek och offentlig verksamhet
      • För leverantörer
      • Hållbarhet

      Populärt

      • Aktuella erbjudanden
      • Presentkort
      • Studentlitteratur
      • Nya böcker
      • Topplistor
      • Signerade böcker
      • Engelska böcker

      Inspiration

      • Boktips
      • BookTok
      • Populära bokserier
      • Barnbokskaraktärer
      • Populära författare
      Logotyp för Bokus
      Följ oss på Facebook (extern länk)Följ oss på Instagram (extern länk)Följ oss på YouTube (extern länk)Följ oss på TikTok (extern länk)
      bokus @ CookiesIntegritetspolicyKöpvillkor
      Till Citymail hemsida (extern länk)Till Budbee hemsida (extern länk)Till Postnord hemsida (extern länk)Till Schenker hemsida (extern länk)Till Early Bird hemsida (extern länk)Till Walleys hemsida (extern länk)
      1. Data och IT
      2. Programmeringsböcker
      3. Programspråk

      Practical Aspects of Declarative Languages

      5th International Symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003, Proceedings

      AvVeronica Dahl,Philip Wadler

      Häftad, Engelska, 2002

      Del i serien Lecture Notes in Computer Science

      574 kr

      Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

      Beskrivning

      The Fifth International Symposium on Practical Aspects of Declarative L- guages (PADL 2003) was held in New Orleans on 13-14 January 2003. It was colocatedwiththe30thAnnualACMSymposiumonPrinciplesofProgramming Languages(POPL2003). We received 57 submissions, a record for PADL. One of the strengths of PADL is that it draws papers from both sides of the declarative divide, from boththefunctionalandlogicprogrammingcommunities.Ofthe57submissions, 25werefunctionaland32werelogical,withsomenotableoverlaps. The program committee was divided on the approach to take to the con- rence.Thosefromthelogicprogrammingcommunitypreferredtohaveparallel sessionsinordertoacceptmorepapers,thosefromthefunctionalprogramming communitypreferredtoavoidparallelsessionsthoughitmeantacceptingfewer papers. We decided to ?nd strength in diversity, and experiment with taking both paths. We accepted 8 papers on functional programming, each presented initsownslot,and15papersonlogicprogramming,10ofwhicharepresentedin parallelsessions.Wefeltthatpapersfrombothcommunitieswerecomparablein quality.Theratioof4hoursoffunctionaltalksto5hoursoflogictalksmatches theratioofsubmissions.WhilemostpaperssubmittedtoPADLaretraditionalresearchpapers,some weresubmittedasApplicationLettersorDeclarativePearls.Traditionalpapers maybejudgedonwhethertheypresentacrispnewresearchresult;Application Lettersmaybejudgedaccordingtotheinterestintheapplicationandthenovel useofdeclarativelanguages;andDeclarativePearlsmaybejudgedaccordingto theeleganceofthedevelopmentandtheclarityoftheexpression. This year PADL instituted a "Most Practical" paper award, for the paper that best exempli?ed the goals of PADL. The award went to "Data mining the yeast genome in a lazy functional language", Amanda Clare and Ross D. King,UniversityofWales,Aberystwyth,whichdescribesareal-wordapplication runningonmultiprocessors,drawingontechniquesfromboththefunctionaland logicprogrammingcommunities. Special thanks are due: to Shriram Krishnamurthi, Dave Tucker, and Paul Graunke of Brown University, for running the website of the PADL submission andreviewprocess(seeKrishnamurthi'sinvitedtalkinthisvolume);toMartina SharpofAvayaLabsandKimberlyVollofSimonFraserUniversity,forhelpwith preparingthisvolume;andtoGopalGuptaoftheUniversityofTexasatDallas, for serving as general chair.We thank Avaya Labs, Brown University, Simon FraserUniversity,Universit' edeProvence,andtheUniversityofTexasatDallas fortheirsupport. Ourthankstotheprogramcommitteemembersandrefereesfortheirrev- wingandfortheiradvice.Finally,ourthankstoallthosewhosubmittedpapers toorparticipatedinPADL2003.

      Produktinformation

      • Utgivningsdatum:2002-12-13
      • Mått:155 x 235 x 23 mm
      • Vikt:639 g
      • Format:Häftad
      • Språk:Engelska
      • Serie:Lecture Notes in Computer Science
      • Antal sidor:414
      • Upplaga:2003
      • Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
      • ISBN:9783540003892

      Utforska kategorier

      • Programspråk inom Data och IT

      Innehållsförteckning

      • Invited Papers.- The Role of Declarative Languages in Mining Biological Databases.- The Continue Server (or, How I Administered PADL 2002 and 2003).- Zen and the Art of Symbolic Computing: Light and Fast Applicative Algorithms for Computational Linguistics.- Papers.- Data Mining the Yeast Genome in a Lazy Functional Language.- Non-monotonic Reasoning on Beowulf Platforms.- Datalog with Constraints: A Foundation for Trust Management Languages.- Web Programming with SMLserver.- An Integrated Information System Powered by Prolog.- JMatch: Iterable Abstract Pattern Matching for Java.- Sequence Quantification.- Roll: A Language for Specifying Die-Rolls.- Reconstructing the Evolutionary History of Indo-European Languages Using Answer Set Programming.- Multi-agent Reactive Systems.- ACTILOG: An Agent Activation Language.- Logic Programs for Querying Inconsistent Databases.- A CLP-Based Tool for Computer Aided Generation and Solving of Maths Exercises.- A Logical Framework for Modelling eMAS.- SXSLT: Manipulation Language for XML.- Type-Based XML Processing in Logic Programming.- WAM Local Analysis.- Garbage Collection Algorithms for Java-Based Prolog Engines.- Solving Combinatorial Problems with a Constraint Functional Logic Language.- Logic Programs as Compact Denotations.- A Strafunski Application Letter.- Functional Hybrid Modeling.- Lambda Goes to Hollywood.
      Hoppa över listan

      Du kanske också är intresserad av

      Philip Wadler, Veronica Dahl - Practical Aspects of Declarative Languages, E-bok

      Practical Aspects of Declarative Languages

      Philip Wadler, Veronica Dahl

      E-bok
      2003

      739 kr

      Philip Wadler, Haoran Peng, Michael Fourman, Donald Sannella - Introduction to Computation, E-bok

      Introduction to Computation

      Philip Wadler, Haoran Peng, Michael Fourman, Donald Sannella

      E-bok
      2022

      537 kr

      Donald Sannella, Michael Fourman, Haoran Peng, Philip Wadler - Introduction to Computation, Häftad

      Introduction to Computation

      Donald Sannella, Michael Fourman, Haoran Peng, Philip Wadler

      Häftad, 2022

      438 kr

      Philip Wadler, Maurice Naftalin - Java Generics and Collections, E-bok

      Java Generics and Collections

      Philip Wadler, Maurice Naftalin

      E-bok
      2025

      631 kr

      Maurice Naftalin, Philip Wadler - Java Generics and Collections, Häftad

      Java Generics and Collections

      Maurice Naftalin, Philip Wadler

      Häftad, 2025

      493 kr

      Rogardt Heldal, Carsten K. Holst, Philip Wadler - Functional Programming, Glasgow 1991, Häftad

      Functional Programming, Glasgow 1991

      Rogardt Heldal, Carsten K. Holst, Philip Wadler

      Häftad, 1992

      574 kr

      Philip Wadler, Carsten K. Holst, Rogardt Heldal - Functional Programming, Glasgow 1991, E-bok

      Functional Programming, Glasgow 1991

      Philip Wadler, Carsten K. Holst, Rogardt Heldal

      E-bok
      2012

      739 kr

      Philip Wadler, Maurice Naftalin - Java Generics and Collections, E-bok

      Java Generics and Collections

      Philip Wadler, Maurice Naftalin

      E-bok
      2025

      625 kr

      Philip Wadler, Masami Hagiya - Functional and Logic Programming, E-bok

      Functional and Logic Programming

      Philip Wadler, Masami Hagiya

      E-bok
      2006

      739 kr

      Masami Hagiya, Philip Wadler - Functional and Logic Programming, Häftad

      Functional and Logic Programming

      Masami Hagiya, Philip Wadler

      Häftad, 2006

      574 kr