Muutke küpsiste eelistusi

E-raamat: Functional Programming, Glasgow 1993: Proceedings of the 1993 Glasgow Workshop on Functional Programming, Ayr, Scotland, 5-7 July 1993

Edited by , Edited by
  • Formaat: PDF+DRM
  • Sari: Workshops in Computing
  • Ilmumisaeg: 06-Dec-2012
  • Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • Keel: eng
  • ISBN-13: 9781447132363
  • Formaat - PDF+DRM
  • Hind: 55,56 €*
  • * hind on lõplik, st. muud allahindlused enam ei rakendu
  • Lisa ostukorvi
  • Lisa soovinimekirja
  • See e-raamat on mõeldud ainult isiklikuks kasutamiseks. E-raamatuid ei saa tagastada.
  • Formaat: PDF+DRM
  • Sari: Workshops in Computing
  • Ilmumisaeg: 06-Dec-2012
  • Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • Keel: eng
  • ISBN-13: 9781447132363

DRM piirangud

  • Kopeerimine (copy/paste):

    ei ole lubatud

  • Printimine:

    ei ole lubatud

  • Kasutamine:

    Digitaalõiguste kaitse (DRM)
    Kirjastus on väljastanud selle e-raamatu krüpteeritud kujul, mis tähendab, et selle lugemiseks peate installeerima spetsiaalse tarkvara. Samuti peate looma endale  Adobe ID Rohkem infot siin. E-raamatut saab lugeda 1 kasutaja ning alla laadida kuni 6'de seadmesse (kõik autoriseeritud sama Adobe ID-ga).

    Vajalik tarkvara
    Mobiilsetes seadmetes (telefon või tahvelarvuti) lugemiseks peate installeerima selle tasuta rakenduse: PocketBook Reader (iOS / Android)

    PC või Mac seadmes lugemiseks peate installima Adobe Digital Editionsi (Seeon tasuta rakendus spetsiaalselt e-raamatute lugemiseks. Seda ei tohi segamini ajada Adober Reader'iga, mis tõenäoliselt on juba teie arvutisse installeeritud )

    Seda e-raamatut ei saa lugeda Amazon Kindle's. 

The Functional Programming Group at the University of Glasgow was started in 1986 by John Hughes and Mary Sheeran. Since then it has grown in size and strength, becoming one of the largest computing science research groups at Glasgow and earning an international reputation. The first Glasgow Functional Programming Workshop was organised in the summer of 1988. Its purpose was threefold: to provide a snapshot of all the research going on within the group, to share research ideas between Glaswegians and colleagues in the U.K. and abroad, and to introduce research students to the art of writing and presenting papers at a semi-formal (but still local and friendly) conference. The success of the first workshop has led to an annual series: Rothesay (1988), Fraserburgh (1989), Ullapool (1990). Portree (1991), Ayr (1992), and the workshop reported in these proceedings: Ayr (1993). Most participants wrote a paper that appeared in the draft proceedings (distributed at the workshop), and each draft paper was presented by one of the authors. The papers were all refereed by several other participants at the workshop, both internal and external, and the programme committee selected papers for these proceedings. Most papers have been revised twice, based firstly on feedback at the workshop, and secondly using the referee reports.

Muu info

Springer Book Archives
The Boom Hierarchy.- Factoring an Adequacy Proof (Preliminary Report).-
Projection-Based Termination Analysis.- A Framework for Optimising Abstract
Data Types.- Spiking Your Caches.- Experiments with Destructive Updates in a
Lazy Functional Language (Extended Abstract).- The aim is Laziness in a
Data-Parallel Language.- On the Comparative Evaluation of Parallel Languages
and Systems: A Functional Note.- Deterministic Concurrency.- Using Strictness
in the STG Machine.- The Implementers Dilemma: A Mathematical Model of
Compile Time Garbage Collection.- Functional Graph Algorithms with
Depth-First Search (Preliminary Summary).- Distributed Garbage Collection of
Cyclic Structures.- Update Avoidance Analysis by Abstract Interpretation.-
Local Speculative Evaluation for Distributed Graph Reduction.- Bidirectional
Fold and Scan.- Measuring the Effectiveness of a Simple Strictness Analyser.-
Implementing Fudgets with Standard Widget Sets.- Profiling Parallel
Functional Computations (Without Parallel Machines).- Time Profiling a Lazy
Functional Compiler.- Solving Recursive Domain Equations by Term Rewriting.-
Separating Interaction.- Author Index.