Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Zistiť stav objednávky

Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma

Doprava zadarmo s Packetou nad 59.99 €

Kuriér DPD 2.99 € Zberné miesto GLS 2.99 € SPS 3.99 € Kuriér GLS 3.49 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Zberné miesto DPD 0.00 € Packeta 2.99 €

Kontakt

Ako nakupovať

Pomoc

Môj účet

▸ Prázdny :-(

Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Functional Programming and Input/Output

Name: Functional Programming and Input/Output
Brand: Cambridge University Press
SKU: 02032199
Price: 90.23 EUR
Availability: InStock
Author: Andrew D. Gordon
ISBN: 9780521471039

Andrew D. Gordon

Jazyk

Angličtina

Kniha Pevná

Libristo kód: 02032199

Nakladateľstvo Cambridge University Press, október 1994

A common attraction to functional programming is the ease with which proofs can be given of program... Celý popis

Libristo kód: 02032199

218 b

90.23 €

50 % šanca Prehľadáme celý svet Kedy knihu dostanem?

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Der Zauberer Von ROM, Buch 1 Karl Gutzkow

Pevná

26.83 €

Management Von Webprojekten Robert Stoyan

Pevná

56.71 €

Wir alle für immer zusammen Guus Kuijer

Brožovaná

6.47 €

Der Gewinnabschöpfungsanspruch nach 10 UWG und die Vorteilsabschöpfung gem. 34, 34a GWB. Stefan Sieme

Brožovaná

95.60 €

Präludien zu Hegel Rita Kuczynski

Brožovaná

13.06 €

Mein erstes Papp-Bilderbuch: Die Arche Noah Russell Punter

Pevná

6.78 €

Рождественская песнь в прозе. Художник Митрофанов Максим Чарльз Диккенс

Pevná

22.68 €

A common attraction to functional programming is the ease with which proofs can be given of program properties. A common disappointment with functional programming is the difficulty of expressing input/output (I/O), while at the same time being able to verify programs. Here, the author shows how a theory of functional programming can be smoothly extended to admit both an operational semantics for functional I/O and verification of programs engaged in I/O. He obtains operational semantics for the three most widely implemented I/O mechanisms for lazy languages, and proves that the three are equivalent in expressive power. He develops semantics for a form of monadic I/O and verifies a simple programming example. These theories of functional I/O are based on an entirely operational theory of functional programming, developed using Abramsky's 'applicative bisimulation'.