• 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
  • Student
  • Topplistor
  • Barn & ungdom
  • Bokus Play
  • E-böcker
  • Ljudböcker
  • Pocketböcker
  • Spel och pussel

Pocketfynda! Hundratals böcker för 49 kr/st →

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
    • 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 @ CookiesAnpassa 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

    10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008, Proceedings

    AvPaul Hudak,David S. Warren

    Häftad, Engelska, 2007

    Del i serien Lecture Notes in Computer Science

    559 kr

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

    Beskrivning

    This book, complete with online files and updates, covers a hugely important area of study in computing. It constitutes the refereed proceedings of the 10th International Symposium on Practical Aspects of Declarative Languages, PADL 2008, held in San Francisco, CA, USA, in January 2008. The 20 revised full papers along with the abstract of 1 invited talk were carefully reviewed and selected from 44 submissions. The papers address all current aspects of declarative programming.

    Produktinformation

    • Utgivningsdatum:2007-12-18
    • Mått:155 x 235 x undefined mm
    • Format:Häftad
    • Språk:Engelska
    • Serie:Lecture Notes in Computer Science
    • Antal sidor:342
    • Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
    • ISBN:9783540774419

    Utforska kategorier

    • Programspråk inom Data och IT

    Innehållsförteckning

    • Industrial Functional Programming.- Certified Development Tools Implementation in Objective Caml.- Automatic Coding Rule Conformance Checking Using Logic Programming.- Comprehension and Dependency Analysis of Aspect-Oriented Programs through Declarative Reasoning.- Efficient Reasoning for Nogoods in Constraint Solvers with BDDs.- Flexible, Rule-Based Constraint Model Linearisation.- The Role of Abduction in Declarative Authorization Policies.- Unification of Arrays in Spreadsheets with Logic Programming.- Specialising Simulator Generators for High-Performance Monte-Carlo Methods.- A Generic Programming Toolkit for PADS/ML: First-Class Upgrades for Third-Party Developers.- Matchete: Paths through the Pattern Matching Jungle.- Parser Combinators for Ambiguous Left-Recursive Grammars.- DCGs + Memoing = Packrat Parsing but Is It Worth It?.- An Improved Continuation Call-Based Implementation of Tabling.- Scheduling Light-Weight Parallelism in ArTCoP.- Towards a High-Level Implementation of Execution Primitives for Unrestricted, Independent And-Parallelism.- Hierarchical Master-Worker Skeletons.- High-Level Multi-threading Programming in Logtalk.- Switched-On Yampa.- Model-Based Testing of Thin-Client Web Applications and Navigation Input.- High-Level Database Programming in Curry.