• 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 & pussel

Upp till 25% på utvalda 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
    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

    6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002. Proceedings

    AvZhenjiang Hu,Mario Rodriquez-Artalejo

    Häftad, Engelska, 2002

    Del i serien Lecture Notes in Computer Science

    563 kr

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

    Beskrivning

    This volume contains the proceedings of the Sixth Fuji International Sym- sium on Functional and Logic Programming (FLOPS 2002), held in Aizu, Japan, September 15-17, 2002, hosted by the University of Aizu, and colocated with the First Asian Symposium on Partial Evaluation Semantics-Based Program Manipulation (ASIA-PEPM 2002), which was held on September 12-14. FLOPS is a forum for research on all issues concerning functional progr- ming and logic programming. In particular, it aims to stimulate the cro- fertilization as well as the integration of the two paradigms. The previous FLOPS meetings took place in Fuji-Susono (1995), Shonan (1996), Kyoto (1998), Tsukuba (1999), and Tokyo (2001). The proceedings of FLOPS '99 and FLOPS 2001 were published by Springer-Verlag as Lecture Notes in Computer Science, Vols. 1722 and 2024, respectively. There were 27 submissions, and these came from Australia (1), Brazil (1), 1 China (1), Denmark (2), Germany (1 ), Italy (1), Japan (6), Korea (1), Por- 2 2 1 1 tugal (2), Russia ( ), Spain (6), Sweden (1), the UK (2 ), and the USA ( ).

    Produktinformation

    • Utgivningsdatum:2002-09-02
    • Mått:155 x 235 x 18 mm
    • Vikt:487 g
    • Format:Häftad
    • Språk:Engelska
    • Serie:Lecture Notes in Computer Science
    • Antal sidor:310
    • Upplaga:2002
    • Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
    • ISBN:9783540442332

    Utforska kategorier

    • Programmeringsböcker inom Data och IT

    Innehållsförteckning

    • Invited Papers.- Formal Methods in CafeOBJ.- The Essence of XML (Preliminary Version).- To the Gates of HAL: A HAL Tutorial.- Tutorial Paper.- Functional Logic Design Patterns.- Constraints.- On Consistency and Width Notions for Constraint Programs with Algebraic Constraints.- Solving Mixed Quantified Constraints over a Domain Based on eal Numbers and erbrand Terms.- Program Transformation and Analysis.- On the Correctness of the Factoring Transformation.- Lambda-Lifting in Quadratic Time.- Semantics.- The Well-Founded Semantics in Normal Logic Programs with Uncertainty.- Linearly Used Effects: Monadic and CPS Transformations into the Linear Lambda Calculus.- Coinductive Interpreters for Process Calculi.- Rewriting.- Descendants and Head Normalization of Higher-Order Rewrite Systems.- Narrowing Failure in Functional Logic Programming.- Compilation Techniques.- The HiPE/x86 Erlang Compiler: System Description and Performance Evaluation.- Dynamic-Cut with Definitional Trees.- Programming Methodology.- The Head Condition and Polymorphic Recursion.- Structural Abstraction and Application in Logic Programming.- VM?: A Functional Calculus for Scientific Discovery.