• 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. Programvaruutveckling

      Functional Programming, Glasgow 1991

      Proceedings of the 1991 Glasgow Workshop on Functional Programming, Portree, Isle of Skye, 12–14 August 1991

      AvRogardt Heldal,Carsten K. Holst

      Häftad, Engelska, 1992

      Del i serien Workshops in Computing

      566 kr

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

      Beskrivning

      The Glasgow functional programming group has held a workshop each summer since 1988. The entire group, accompanied by a selection of colleagues from other institutions, retreats to a pleasant Scottish location for a few days. Everyone speaks briefly, enhancing coherence, cross­ fertilisation, and camaraderie in our work. The proceedings of the first workshop were published as a technical report. Demand for this was large enough to encourage wider publication, and subsequent proceedings have been published in the Springer-Verlag Workshops in Computing series. These are the proceedings of the-meeting held 12-14 August 1991, in Portree on the Isle of Skye. A preliminary proceedings was prepared in advance of the meeting. Most presentations were limited to a brief fifteen minutes, outlining the essentials of their subject, and referring the audience to the pre-print proceedings for details. Papers were then refereed and rewritten, and you hold the final results in your hands. A number of themes emerged at this year's workshop, including relational algebra and its application to hardware design, partial evaluation and program transformation, implementation techniques, and strictness analysis. We were especially pleased to see applications of functional programming emerge as a theme. One of the sessions was devoted to a lively discussion of applications, and was greatly enhanced by our industrial participants. The workshop was organised by Kei Davis, Cordelia Hall, Rogardt Heldal, Carsten Kehler Holst, John Hughes, John O'Donnell, and Satnam Singh all from the University of Glasgow.

      Produktinformation

      • Utgivningsdatum:1992-07-17
      • Mått:170 x 242 x 23 mm
      • Vikt:660 g
      • Format:Häftad
      • Språk:Engelska
      • Serie:Workshops in Computing
      • Antal sidor:363
      • Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
      • ISBN:9783540197607

      Utforska kategorier

      • Programvaruutveckling inom Data och IT

      Innehållsförteckning

      • A Parallel Functional Database on GRIP.- A New Sharing Mechanism for the TIM.- BWM: A Concrete Machine for Graph Reduction.- ACTRESS: An Action Semantics Directed Compiler Generator (Summary).- The Abstract Interpretation of Higher-Order Functional Languages: From Properties to Abstract Domains (Technical Summary).- A Note on the Choice of Domains for Projection-Based Program Analysis.- An Operational Model of Strictness Properties and its Abstractions (Extended Abstract).- A Novel Approach Towards Peephole Optimisations.- Evaluation Order Analysis for Lazy Data Structures.- Strictness Analysis Using Hindley-Milner Type Inference.- Extending Deforestation for First Order Functional Programs.- Efficient Type Inference Using Monads (Summary).- Generating More Practical Compilers by Partial Evaluation.- A Loop-Detecting Interpreter for Lazy Programs.- Making Functionality More General.- Getting Your Wires Crossed.- Implementing Projection-based Strictness Analysis.- Vuillemin’s Exact Real Arithmetic.- A Semantics for Relational Programming.- From Primitive Recursive Functions to Silicon through Relations.- Functional Compilation from the Standard ML Core Language to Lambda Calculus.- TIP in Haskell — Another Exercise in Functional Programming.- Experiments in Haskell - A Network Simulation Algorithm.- Operational Theories of Improvement in Functional Languages (Extended Abstract).- Combining Single-Space and Two-Space Compacting Garbage Collectors.- External Function Calls in a Functional Language.- A Note on Abstraction in Ruby.- Requirements for a Functional Programming Environment.- Debugging by Dataflow — Summary.- Using XView/X11 from Miranda.- Author Index.
      Hoppa över listan

      Du kanske också är intresserad av

      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

      732 kr

      J. Springer - Somatostatin, Häftad

      Somatostatin

      J. Springer

      Häftad, 1992

      1 092 kr

      Jürgen Habermas, Peter Dews - Autonomy and Solidarity, Häftad

      Autonomy and Solidarity

      Jürgen Habermas, Peter Dews

      Häftad, 1992

      325 kr

      Deng Ming-Dao - 365 Tao, Häftad

      365 Tao

      Deng Ming-Dao

      Häftad, 1992

      5,0 utav 5 stjärnor. Totalt antal röster:(1)

      243 kr

      Iver Hand, Wayne K. Goodman, Ulrike Evers - Zwangsstörungen / Obsessive-Compulsive Disorders, Häftad

      Zwangsstörungen / Obsessive-Compulsive Disorders

      Iver Hand, Wayne K. Goodman, Ulrike Evers

      Häftad, 1992

      581 kr

      Marchioro Carlo Marchioro, Loffredo Maria I Loffredo, Guerra Francesco Guerra - Probabilistic Methods In Mathematical Physics: Proceedings Of The International Workshop, E-bok

      Probabilistic Methods In Mathematical Physics: Proceedings Of The International Workshop

      Marchioro Carlo Marchioro, Loffredo Maria I Loffredo, Guerra Francesco Guerra

      E-bok
      1992

      637 kr

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

      Functional and Logic Programming

      Philip Wadler, Masami Hagiya

      E-bok
      2006

      732 kr

      Mark Fried, Eduardo Galeano - We Say No, Häftad

      We Say No

      Mark Fried, Eduardo Galeano

      Häftad, 1992

      138 kr

      Keith Stewart Thomson - Living Fossil, Häftad

      Living Fossil

      Keith Stewart Thomson

      Häftad, 1992

      270 kr

      Accardi Luigi Accardi - Quantum Probability And Related Topics: Qp-pq (Volume Vii), E-bok

      Quantum Probability And Related Topics: Qp-pq (Volume Vii)

      Accardi Luigi Accardi

      E-bok
      1992

      829 kr