Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Zjistit stav objednávky

Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma

Doprava zdarma se Zásilkovnou nad 1 499 Kč

Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný :-(

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Functional Programming and Input/Output

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

Andrew D. Gordon

Jazyk

Angličtina

Kniha Pevná

Libristo kód: 02032199

Nakladatelství Cambridge University Press, říjen 1994

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

Libristo kód: 02032199

208 b

2 077 Kč

50 % šance Prohledáme celý svět Kdy knihu dostanu?

30 dní na vrácení zboží

Zákazníci také koupili

Der Zauberer Von ROM, Buch 1 Karl Gutzkow

Pevná

610 Kč

Management Von Webprojekten Robert Stoyan

Pevná

1 294 Kč

Wir alle für immer zusammen Guus Kuijer

Brožovaná

148 Kč

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

Brožovaná

2 311 Kč

Präludien zu Hegel Rita Kuczynski

Brožovaná

315 Kč

Mein erstes Papp-Bilderbuch: Die Arche Noah Russell Punter

Pevná

156 Kč

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

Pevná

549 Kč

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'.