• 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

    Functional and Logic Programming

    8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings

    AvMasami Hagiya,Philip Wadler

    Häftad, Engelska, 2006

    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 constitutes the refereed proceedings of the 8th International Symposium on Functional and Logic Programming, FLOPS 2006, held in Fuji-Susono, Japan, in April 2006. The 17 revised full papers presented together with 2 invited contributions were carefully reviewed and selected from 51 submissions. The papers are organized in topical sections on data types, FP extensions, type theory, LP extensions, analysis, contracts, as well as Web and GUI.

    Produktinformation

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

    Utforska kategorier

    • Programmeringsböcker inom Data och IT

    Innehållsförteckning

    • Invited Papers.- Parallel Programming and Parallel Abstractions in Fortress.- Convergence in Language Design: A Case of Lightning Striking Four Times in the Same Place.- Refereed Papers.- “Scrap Your Boilerplate” Reloaded.- Ruler: Programming Type Rules.- A Framework for Extended Algebraic Data Types.- Lock Free Data Structures Using STM in Haskell.- XML Type Checking Using High-Level Tree Transducer.- A Computational Approach to Pocklington Certificates in Type Theory.- Defining and Reasoning About Recursive Functions: A Practical Tool for the Coq Proof Assistant.- Soutei, a Logic-Based Trust-Management System.- A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order in LP Systems.- Resource Analysis by Sup-interpretation.- Lazy Set-Sharing Analysis.- Size-Change Termination and Bound Analysis.- Typed Contracts for Functional Programming.- Contracts as Pairs of Projections.- iData for the World Wide Web – Programming Interconnected Web Forms.- Crossing State Lines: Adapting Object-Oriented Frameworks to Functional Reactive Languages.- WASH Server Pages.